+612 9045 4394
Zum '98: The Z Formal Specification Notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings - Jonathan P. Bowen

Zum '98: The Z Formal Specification Notation

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

By: Jonathan P. Bowen (Editor), Andreas Fett (Editor), Michael G. Hinchey (Editor)

Paperback Published: 16th September 1998
ISBN: 9783540650706
Number Of Pages: 424

Share This Book:


or 4 easy payments of $36.76 with Learn more
Ships in 5 to 9 business days

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 amongst formal methods practitioners. How can one of the founding fathers of formal methods seemingly denounce the ?eld of research after over a quarter of a century of support? This is a question that has been posed recently by some formal methods skeptics. However, Prof. Hoare has not abandoned formal methods. He is reiterating, 2 albeitmoreradically, his1987view thatmorethanonetoolandnotationwillbe requiredinthepractical, industrialdevelopmentoflarge-scalecomplexcomputer systems; and not all of these tools and notations will be, or even need be, formal in nature. Formalmethods arenotasolution, butratheroneofaselectionoftechniques that have proven to be useful in the development of reliable complex systems, and to result in hardware and software systems that can be produced on-time and within a budget, while satisfying the stated requirements. After almostthree decades, the time has come to view formalmethods in the context of overall industrial-scale system development, and their relationship to othertechniquesandmethods.Weshouldnolongerconsidertheissueofwhether we are "pro-formal" or "anti-formal," but rather the degree of formality (if any) that we need to support in system development. This is a goal of ZUM'98, the 11th International Conference of Z Users, held for the ?rst time within continental Europe in the city of Berlin, Germany.

Industrial Issues
Industrial Requirements for the Efficient Development of Reliable Embedded Systemsp. 1
How to Combine Z with a Process Algebrap. 5
The Specification and Refinement of an Environmental Modelp. 24
Formal Derivation of Finite State Machines for Class Testingp. 42
Using B to Specify, Verify and Design Hardware Circuitsp. 60
Z on the Web Using Javap. 66
Visualizing Z Notation in HTML Documentsp. 81
Z and HOL
On the Semantic Relation of Z and HOLp. 96
HOL-Z in the UniForM-Workbench -
A Case Study in Tool Integration for Zp. 116
Safety-Critical and Real-Time Systems
Designing a Requirements Specification Language for Reactive Systemsp. 135
Analyzing a Real-Time Program with Zp. 136
Semantic Theory
Recursive Definitions in Zp. 154
A Logic for the Schema Calculusp. 172
Theory and Standards
Combining Specification Techniques for Processes, Data and Timep. 192
Innovations in the Notation of Standard Zp. 193
Reasoning and Consistency Issues
Comparing Extended Z with a Heterogeneous Notation for Reasoning about
Time and Spacep. 214
Inconsistency and Undefinedness in Z - A Practical Guidep. 233
Compositional Specification of Controllers for Batch Process Operationsp. 250
Testing Refinements by Refining Testsp. 265
More Powerful Z Data Refinement: Pushing the State of the Art in
Industrial Refinementp. 284
Object Orientation
Network Topology and a Case Study in TCOZp. 308
Object-Oriented Specification of Hybrid Systems Using UML and ZimOOp. 328
Translating the OMT Dynamic Model into Object-Zp. 347
Select Z Bibliographyp. 367
Comp.specification.z and Z FORUM Frequently Asked Questionsp. 407
Author Indexp. 417
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540650706
ISBN-10: 3540650709
Series: Lecture Notes in Computer Science,
Audience: General
Format: Paperback
Language: English
Number Of Pages: 424
Published: 16th September 1998
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.26
Weight (kg): 0.61