ZUM '98: The Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Bowen, Jonathan P. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Fett, Andreas (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Hinchey, Michael G. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
• Έκδοση: 1st ed. 1998.
• Σειρά: Lecture Notes in Computer Science, 1493
• Θέματα: Software engineering.; Computer logic.; Computer programming.; Mathematical logic.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Logics and Meanings of Programs.; Programming Techniques.; Mathematical Logic and Formal Languages.

1 In a number of recent presentations - most notably at FME'96 -oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare,has highlighted the fact that formal methods are not the only technique for producing reliable software. This seems to have caused some controversy,not least...

Πίνακας περιεχομένων:

• 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.