Showing 1 - 20 results of 25 for search '"formal specification"', query time: 0.08s Refine Results
  1. 1
    Formal Specification Level Concepts, Methods, and Algorithms /
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 2
    B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
    by Julliand, Jacques
    Published in Springer e-books (2006)
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 3
    ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
    by Henson, Martin
    Published in Springer e-books (2005)
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 4
    Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Table of Contents: “... for Asynchronous Relational Networks -- A SOC-Based Formal Specification and Verification of Hybrid Systems....”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 5
    Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Table of Contents: “....- Semantics of the Distributed Ontology Language: Institutes and Institutions.- Formal Specification...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 6
    Formalizing Data-Centric Web Services
    by Saleh, Iman
    Published in Springer eBooks (2015)
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 7
    Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “...Distributed computing models -- Formal specification -- Testing -- Verification methods...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 8
    Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Table of Contents: “... of Distributed Algorithms Solving Problems with Optimal Substructure -- Formal Specification and Proof -- From...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 9
    Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 10
    Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures /
    Published in Springer eBooks (2013)
    Table of Contents: “... in Isabelle -- FORMULA 2.0: A Language for Formal Specifications -- Formal Modelling, Analysis...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 11
    Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts /
    by O'Regan, Gerard
    Published in Springer eBooks (2013)
    Table of Contents: “... -- Formal Methods -- Z Formal Specification Language -- Number Theory -- Cryptography -- Coding Theory...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 12
    Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Table of Contents: “... -- An Approach to Declaring Data Types for Formal Specifications -- Detection Method of the Second-Order SQL...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 13
    Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Table of Contents: “... Model Checking -- Applying GA with Tabu list for Automatically Generating Test Cases Based on Formal...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 14
    Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... Algorithm for a Network-on-Chip -- Formal Specification and Verification of TCP Extended with the Window...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 15
    Introduction to Software Quality
    by O'Regan, Gerard
    Published in Springer eBooks (2014)
    Table of Contents: “... Tools -- Formal Methods -- Z Formal Specification Language -- Unified Modelling Language -- Epilogue....”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 16
    Models, Methods, and Tools for Complex Chip Design Selected Contributions from FDL 2012 /
    Published in Springer eBooks (2014)
    Table of Contents: “... Properties in A CEGAR Process -- Formal Specification Level -- Power Estimation Methodology for SystemC...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 17
    Intelligent Systems for Science and Information Extended and Selected Results from the Science and Information Conference 2013 /
    Published in Springer eBooks (2014)
    Table of Contents: “... Hemispheric Brainwave Activity -- A Novel Organizational Model for Real Time MAS: Towards a Formal...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 18
    Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “... Inference -- Formal Specification of an Erase Block Management Layer for Flash Memory -- Attention-Based...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 19
    Refinement in Z and Object-Z Foundations and Advanced Applications /
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 20
    A Rigorous Semantics for BPMN 2.0 Process Diagrams
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed