ENGLISH

Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990

By J. E. Nicholls MA (eds.) , P. H. B. Gardiner , P. J. Lupton , J. C. P. Woodcock (auth.)

Book information

Publisher
Springer-Verlag London
Year
1991
ISBN
978-3-540-19672-3, 978-1-4471-3540-1
DOI
10.1007/978-1-4471-3540-1
Language
english
Format
PDF
Filesize
13 MB (13627179 bytes)
Series
Workshops in Computing
Edition
1
Pages
389\386
Time added
2014-01-18 08:00:00
Software Engineering; Mathematical Logic and Forma

Description

Theory and Foundations.- A Simpler Semantics for Z.- Interpretations of Z Schema Operators.- Promoting Forward Simulation.- Operation Schema Iterations.- Interference Revisited.- Standards and Tools.- A Tool for Defining the Architecture of Z Specifications.- CADi? — Computer Aided Design in Z.- Machine support for Z: the zedB tool.- The ZIP project.- Methods.- What is a Good Formal Specification?.- Z++, An Object-Orientated Extension To Z.- Modular Object-Oriented Z Specifications.- An Approach to Object Oriented Specification using Z.- Data Flow Diagrams and Z.- Using Yourdon and Z : an Approach to Formal Specification.- A Case Study in Representing a Model: To Z or Not To Z?.- Obtaining Structural Metrics of Z Specifications for Systems Development.- Industrial Applications.- The CICS application programming interface definition.- Z! In Progress: Maintaining Z specifications.- Service Extension at the Specification Level.- Training and Education.- A Video-based Training Course in Reading Z Specifications.- A survey of Z courses in the UK.- Selected Z Bibliography.- Selected Z Bibliography.- Posters.- Metrics and Measurement of Specifications Written in Z.

Similar books