Bert / Bowen / Henson | ZB 2002: Formal Specification and Development in Z and B | E-Book | sack.de
E-Book

E-Book, Englisch, Band 2272, 541 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Bert / Bowen / Henson ZB 2002: Formal Specification and Development in Z and B

2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
Erscheinungsjahr 2003
ISBN: 978-3-540-45648-3
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

E-Book, Englisch, Band 2272, 541 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-45648-3
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Bert / Bowen / Henson ZB 2002: Formal Specification and Development in Z and B jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Bert, Didier
Bowen, Jonathan P.
Henson, Martin C.
Robinson, Ken

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.