عنوان

Z user workshop :

0387196277

3540196277

9780387196275

9783540196273

b565339

Z user workshop :

[Book]

proceedings of the fourth annual Z user meeting, Oxford, 15 December 1989

J.E. Nicholls (ed.).

London

Springer-Verlag

1990

VIII, 277 Seiten ; 25 cm : Illustrationen.

Workshops in computing

Rückentitel: Z User Workshop, Oxford 1989."Published in collaboration with the British Computer Society."

Opening address: The State of Use of Formal Methods.- Type Inference in Z.- Minimisation in Formal Specification and Design.- From Programs to Z Specifications.- Computer Aided Transformation of Z into Prolog.- From Z Specifications to Functional Implementations.- A Generalisation of Bags in Z.- Formaliser - An Interactive Support Tool for Z.- Using Z to Develop a CASE Toolset.- Using Z to Describe Large Systems.- CICS/ESA 3.1 Experiences.- Structural Metrics for Z Specifications.- Educating Management in Z.- The Knuth-Bendix Completion Algorithm and its Specification in Z.- A Message Passing System. An Example of Combining CSP and Z.- Structured Methodologies and Formal Notations: Developing a Framework for Synthesis and Investigation.- Posters.- Zork: A Typechecker for Z from York.- The Z Tool.- Use of Z to Specify a Secure System.- ESPRIT BRA ProCoS Project.- Safemos: Demonstration of the Possibility of Totally Verified Systems.- ESPRIT II: REDO at Oxford.- Formal Specification of Window Systems.- PRG Archive Server.- ZIP: a Unification Initiative for Z Standards, Methods and Tools.- List of Z Users.- Selected Z Bibliography.- Z FORUM Electronic Newsletter.

Z User Workshop, Oxford 1989

;Z

Kongress

Z Programmiersprache>

J.E. Nicholls (ed.).

John E Nicholls

[Book]

Y