|
" Z user workshop : "
J.E. Nicholls (ed.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
745390
|
| Doc. No
|
:
|
b565339
|
| Main Entry
|
:
|
J.E. Nicholls (ed.).
|
| Title & Author
|
:
|
Z user workshop : : proceedings of the fourth annual Z user meeting, Oxford, 15 December 1989\ J.E. Nicholls (ed.).
|
| Publication Statement
|
:
|
London etc. : Springer-Verlag, 1990
|
| Series Statement
|
:
|
Workshops in computing
|
| Page. NO
|
:
|
VIII, 277 Seiten ; 25 cm : Illustrationen.
|
| ISBN
|
:
|
0387196277
|
|
|
:
|
: 3540196277
|
|
|
:
|
: 9780387196275
|
|
|
:
|
: 9783540196273
|
| Notes
|
:
|
Rückentitel: Z User Workshop, Oxford 1989."Published in collaboration with the British Computer Society."
|
| Contents
|
:
|
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.
|
| Subject
|
:
|
;Z
|
| Subject
|
:
|
Kongress
|
| Subject
|
:
|
Z Programmiersprachegt
|
| Added Entry
|
:
|
John E Nicholls
|
| Parallel Title
|
:
|
Z User Workshop, Oxford 1989
|
| |