Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990
P. H. B. Gardiner, P. J. Lupton, J. C. P. Woodcock (auth.), J. E. Nicholls MA (eds.)
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.
Catégories:
Année:
1991
Edition:
1
Editeur::
Springer-Verlag London
Langue:
english
Pages:
389
ISBN 10:
3540196722
ISBN 13:
9783540196723
Collection:
Workshops in Computing
Fichier:
PDF, 13.00 MB
IPFS:
,
english, 1991
Ce livre ne peut être téléchargé en raison d'une plainte du titulaire d'un droit