Z User Workshop, Cambridge 1994

Proceedings of the Eighth Z User Meeting, Cambridge 29–30 June 1994

405 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of issues associated with Z and formal methods, with particular reference to practical application. These issues include education, standards, tool support, and interaction with other design paradigms such as consideration of real-time and object-oriented approaches to development. Among the actual topics covered are: the formal specification in Z of Defence Standard 00-56; formal specification of telephone features; specifying and interpreting class hierarchies in Z; and software quality assurance using the SAZ method. Z UserWorkshop, Cambridge 1994 provides an important overview of current research into industrial applications of Z, and will provide invaluable reading for researchers, postgraduate students and also potential industrial users of Z.

• Reihe: Workshops in Computing
• Themen: Informatik und Informationstechnologie Computerprogrammierung und Softwareentwicklung Compiler und Übersetzer
• ISBN: 9783540198840
• Sprache: Englisch
• Erscheinungsdatum: 04.07.1994
• Größe: 23.5 x 15.5 cm
• Verlag: Springer Berlin
• Herausgegeben von: J.P. Bowen, J.A. Hall