ZUM '98: The Z Formal Specification Notation

11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

AvJonathan P. Bowen,Andreas Fett

Häftad, Engelska, 1998

Del i serien Lecture Notes in Computer Science

550 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the refereed proceedings of the 11th International Conference of Z Users, ZUM '98, held in Berlin, Germany, in September 1998. The 28 revised and invited papers presented were carefully reviewed and selected for inclusion in the book; also included is a comprehensive Z bibliography and a summary of the frequently asked questions at two Z Internet sites. The papers are organized in sections on industrial issues, concurrency, tools, Z and HOL, safety-critical and real-time systems, semantic theory, theory and standards, reasoning and consistency issues, refinement, and object orientation.

Produktinformation

Utgivningsdatum:1998-09-16
Mått:155 x 235 x 24 mm
Vikt:663 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:424
Upplaga:1998
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540650706

Utforska kategorier

Programmeringsböcker inom Data och IT

Innehållsförteckning

Industrial Issues.- Industrial Requirements for the Efficient Development of Reliable Embedded Systems.- Concurrency.- How to Combine Z with a Process Algebra.- The Specification and Refinement of an Environmental Model.- Formal Derivation of Finite State Machines for Class Testing.- Tools.- Using B to Specify, Verify and Design Hardware Circuits.- Z on the Web Using Java.- Visualizing Z Notation in HTML Documents.- Z and HOL.- On the Semantic Relation of Z and HOL.- HOL-Z in the UniForM-Workbench – A Case Study in Tool Integration for Z.- Safety-Critical and Real-Time Systems.- Designing a Requirements Specification Language for Reactive Systems.- Analyzing a Real-Time Program with Z.- Semantic Theory.- Recursive Definitions in Z.- A Logic for the Schema Calculus.- Theory and Standards.- Combining Specification Techniques for Processes, Data and Time.- Innovations in the Notation of Standard Z.- Reasoning and Consistency Issues.- Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space.- Inconsistency and Undefinedness in Z – A Practical Guide.- Refinement.- Compositional Specification of Controllers for Batch Process Operations.- Testing Refinements by Refining Tests.- More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement.- Object Orientation.- Network Topology and a Case Study in TCOZ.- Object-Oriented Specification of Hybrid Systems Using UML h and ZimOO.- Translating the OMT Dynamic Model into Object-Z.- Appendices.- Select Z Bibliography.- Comp.specification.z and Z FORUM Frequently Asked Questions.