Z User Workshop, Oxford 1990 [electronic resource] : Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990 /

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.

Bibliographic Details

Main Authors:	Nicholls, J. E. editor., SpringerLink (Online service)
Format:	Texto biblioteca
Language:	eng
Published:	London : Springer London : Imprint: Springer, 1991
Subjects:	Computer science., Information technology., Business, Computer programming., Software engineering., Computer logic., Mathematical logic., Computer Science., Software Engineering., Mathematical Logic and Formal Languages., Logics and Meanings of Programs., Programming Techniques., IT in Business.,
Online Access:	http://dx.doi.org/10.1007/978-1-4471-3540-1
Tags:	Add Tag No Tags, Be the first to tag this record!