عنوان

Z user workshop, Cambridge 1994 :

0387198849

3540198849

9780387198842

9783540198840

b565415

Z user workshop, Cambridge 1994 :

[Book]

proceedings of the eighth Z user meeting, Cambridge, 29-30 June, 1994

J.P. Bowen and J.A. Hall (Eds.).

London ; Berlin ; Heidelberg

Springer, cop.

1994

1 v. (X-403 p.) ; 24 cm.

Workshops in computing.

Published in collaboration with the British computer society (BCS).

Fermenting and Distilling (Invited Paper).- Applications.- The Formal Specification in Z of Defence Standard 00-56 (Invited Paper).- Formal Specification of Telephone Features.- A Tale of Two Paradigms: Formal Methods and Software Testing.- Education.- Integrating Formal Methods into a Professional Master of Software Engineering Program (Invited Paper).- Object-Orientation I.- An Object-Oriented Development Framework for Z.- Z for Managed Objects.- Specifying and Interpreting Class Hierarchies in Z.- Semantics.- Z and HOL (Invited Paper).- Z and Natural Semantics.- Towards Correct Executable Semantics for Z.- Methods.- Towards a Z Method: Axiomatic Specification in Z.- Software Quality Assurance Using the SAZ Method.- Z and Abstract Machine Notation: A Comparison.- Concurrency.- TLZ (Invited Paper).- Visualising Concurrent Z Specifications.- Specifying Real-Time Systems with Z and the Duration Calculus.- Object-Orientation II.- An Object-Oriented Data Model Supporting Multi-Methods, Multiple Inheritance, and Static Type Checking: A Specification in Z.- Producing Z Specifications from Object-Oriented Analysis.- Animation of Object-Z Specifications with a Set-Oriented Prototyping Language.- Appendices.- Select Z Bibliography.- Comp.specification.z and Z FORUM Frequently Asked Questions.- Author Index.

education.

semantique.

systeme oriente objet.

J.P. Bowen and J.A. Hall (Eds.).

British computer society.

J P Bowen

John Anthony Hall

Z User Meeting

[Book]

Y