+612 9045 4394
 
CHECKOUT
Zum'97: The Z Formal Specification Notation : 10th International Conference of Z Users, Reading, Uk, April, 3-4, 1997, Proceedings - Jonathan P. Bowen

Zum'97: The Z Formal Specification Notation

10th International Conference of Z Users, Reading, Uk, April, 3-4, 1997, Proceedings

By: Jonathan P. Bowen (Editor), Michael G. Hinchey (Editor), David Till (Editor)

Paperback

Published: 20th March 1997
Ships: 5 to 9 business days
5 to 9 business days
$147.02
or 4 easy payments of $36.76 with Learn more

This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97, held in Reading, UK, in April 1997.
The volume presents 18 revised full papers together with three invited presentations by internationally leading experts. The papers are organized into topical sections on real-time systems, tools, logic, system development, reactive systems, refinement, and applications. Also a select Z bibliography by Jonathan Bowen is added. All in all, the book competently reports the state-of-the-art in research and advanced applications of the Z notation.

Formal Methods: A Panacea or Academic Poppycock?p. 3
An Introduction to the Event Calculusp. 10
Experiences with PiZA, an Animator for Zp. 37
Automating Test Case Generation from Z Specifications with Isabellep. 52
The Z/EVES Systemp. 72
Taking Z Seriouslyp. 89
A Formal OO Method Inspired by Fusion and Object-Zp. 92
W Reconstructedp. 115
Using the Rippling Heuristic in Set Membership Proofsp. 135
A Practical Method for Rigorously Controllable Hardware Designp. 151
Integrating VDM++ and Real-Time System Designp. 188
An Approach to the Design of Distributed Systems with B AMNp. 223
Specifying Reactive Systems in B AMNp. 242
An Improve Recipe for Specifying Reactive Systems in Zp. 275
A Z Specification of the Soft-Link Hypertext Modelp. 297
Experience with Z Developing a Control Program for a Radiational Therapy Machinep. 317
Preliminary Evaluation of a Formal Approach to User Interface Specificationp. 329
Analyzing and Refining an Architectural Stylep. 349
Weak Refinement in Zp. 369
Select Z Bibliographyp. 391
Comp.specification.z and Z FORUM Frequently Asked Questionsp. 425
Author Indexp. 435
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540627173
ISBN-10: 3540627170
Series: Lecture Notes in Computer Science,
Audience: General
Format: Paperback
Language: English
Number Of Pages: 442
Published: 20th March 1997
Publisher: SPRINGER VERLAG GMBH
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.31
Weight (kg): 0.63