Kooperativer Bibliotheksverbund

UID:

Format: Online-Ressource

ISBN: 9783540456483

Series Statement: Lecture Notes in Computer Science 2272

Content: This book constitutes the refereed proceedings of the Second International Conference of B and Z Users, ZB 2002, held in Grenoble, France in January 2002. The 24 papers presented together with three invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope is covered, ranging from foundational and theoretical issues to advanced applications, tools, and case studies

Additional Edition: ISBN 9783540431664

Additional Edition: Buchausg. u.d.T. ZB 2002: Formal Specification and Development in Z and B Berlin : Springer, 2002 ISBN 3540431667

Language: English

Subjects: Computer Science

Keywords: Softwareentwicklung ; Softwarespezifikation ; Formale Spezifikationstechnik ; Z ; Softwareentwicklung ; Softwarespezifikation ; Formale Spezifikationstechnik ; B ; Konferenzschrift

DOI: 10.1007/3-540-45648-1

URL: Volltext  (lizenzpflichtig)

URL: Cover

URL: Inhaltsverzeichnis

URL: Kapitel 1

URL: Inhaltstext

UID:

Format: XII, 534 S. , graph. Darst.

ISBN: 3540431667

Series Statement: Lecture notes in computer science 2272

Language: English

Subjects: Computer Science

Keywords: Konferenzschrift

Author information: Bert, Didier 1946-

UID:

Format: XII, 534 Seiten , graph. Darst. , 24 cm

ISBN: 3540431667

Series Statement: Lecture notes in computer science 2272

Note: Literaturangaben , Text engl.

Language: English

Keywords: Softwareentwicklung ; Softwarespezifikation ; Formale Spezifikationstechnik ; Z 〈Programmiersprache〉 ; Medizin ; Kongress ; Grenoble 〈2002〉 ; Softwareentwicklung ; Softwarespezifikation ; Formale Spezifikationstechnik ; B 〈Programmiersprache〉 ; Kongress ; Grenoble 〈2002〉 ; Softwareentwicklung ; Softwarespezifikation ; Formale Spezifikationstechnik ; Z 〈Programmiersprache〉 ; Kongress ; Grenoble 〈2002〉 ; Kongress ; Konferenzschrift

UID:

Format: XI, 541 p. , online resource.

ISBN: 9783540456483

Series Statement: Lecture Notes in Computer Science, 2272

Note: Theories, Implementations, and Transformations -- Incremental Proof of the Producer/Consumer Property for the PCI Protocol -- Controlling Control Systems: An Application of Evolving Retrenchment -- Checking Z Data Refinements Using an Animation Tool -- Encoding Object-Z in Isabelle/HOL -- Characters + Mark-up = Z Lexis -- Extraction of Abstraction Invariants for Data Refinement -- An Approach to Combining B and Alloy -- Software Construction by Stepwise Feature Introduction -- The Semantics of Circus -- Handling Inconsistencies in Z Using Quasi-Classical Logic -- Loose Specification and Refinement in Z -- On Using Conditional Definitions in Formal Theories -- A Theory of Generalised Substitutions -- Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing -- A Comparison of the BTT and TTF Test-Generation Methods -- A Formal Analysis of the CORBA Security Service -- Type Synthesis in B and the Translation of B to PVS -- “Higher-Order” Mathematics in B -- ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industries -- Generalised Substitution Language and Differentials -- Communicating B Machines -- Synchronized Parallel Composition of Event Systems in B -- Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study -- Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions -- A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints -- Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783540431664

Language: English

DOI: 10.1007/3-540-45648-1

URL: http://dx.doi.org/10.1007/3-540-45648-1

UID:

Format: XI, 541 p. , online resource.

Edition: 1st ed. 2002.

ISBN: 9783540456483

Series Statement: Lecture Notes in Computer Science, 2272

Note: Theories, Implementations, and Transformations -- Incremental Proof of the Producer/Consumer Property for the PCI Protocol -- Controlling Control Systems: An Application of Evolving Retrenchment -- Checking Z Data Refinements Using an Animation Tool -- Encoding Object-Z in Isabelle/HOL -- Characters + Mark-up = Z Lexis -- Extraction of Abstraction Invariants for Data Refinement -- An Approach to Combining B and Alloy -- Software Construction by Stepwise Feature Introduction -- The Semantics of Circus -- Handling Inconsistencies in Z Using Quasi-Classical Logic -- Loose Specification and Refinement in Z -- On Using Conditional Definitions in Formal Theories -- A Theory of Generalised Substitutions -- Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing -- A Comparison of the BTT and TTF Test-Generation Methods -- A Formal Analysis of the CORBA Security Service -- Type Synthesis in B and the Translation of B to PVS -- "Higher-Order" Mathematics in B -- ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industries -- Generalised Substitution Language and Differentials -- Communicating B Machines -- Synchronized Parallel Composition of Event Systems in B -- Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study -- Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions -- A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints -- Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development.

In: Springer Nature eBook

Additional Edition: Printed edition: ISBN 9783662164389

Additional Edition: Printed edition: ISBN 9783540431664

Language: English

DOI: 10.1007/3-540-45648-1

URL: https://doi.org/10.1007/3-540-45648-1