Z User Workshop, Oxford 1990

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

400 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Workshops in Computing
• Themen: Informatik und Informationstechnologie Informatik Theoretische Informatik
• ISBN: 9783540196723
• Sprache: Englisch
• Erscheinungsdatum: 31.07.1991
• Größe: 244 x 170 mm
• Verlag: Springer
• Herausgegeben von: J. E. Nicholls