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

ISBN-13: 9783540196723 / Angielski / Miękka / 1991 / 389 str.

J. E. Nicholls

Opis

This volume of conference proceedings aims to provide Z users with information on new developments, such as activities in the field of object-oriented specification and design.

Spis treści

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.