|
" Z user workshop, Cambridge 1994 : "
J.P. Bowen and J.A. Hall (Eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
745466
|
| Doc. No
|
:
|
b565415
|
| Main Entry
|
:
|
J.P. Bowen and J.A. Hall (Eds.).
|
| Title & Author
|
:
|
Z user workshop, Cambridge 1994 : : proceedings of the eighth Z user meeting, Cambridge, 29-30 June, 1994\ J.P. Bowen and J.A. Hall (Eds.).
|
| Publication Statement
|
:
|
London ; Berlin ; Heidelberg : Springer, cop., 1994
|
| Series Statement
|
:
|
Workshops in computing.
|
| Page. NO
|
:
|
1 v. (X-403 p.) ; 24 cm.
|
| ISBN
|
:
|
0387198849
|
|
|
:
|
: 3540198849
|
|
|
:
|
: 9780387198842
|
|
|
:
|
: 9783540198840
|
| Notes
|
:
|
Published in collaboration with the British computer society (BCS).
|
| Contents
|
:
|
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.
|
| Subject
|
:
|
education.
|
| Subject
|
:
|
semantique.
|
| Subject
|
:
|
systeme oriente objet.
|
| LC Classification
|
:
|
QA76.73.Z2J636 1994
|
| Added Entry
|
:
|
British computer society.
|
|
|
:
|
J P Bowen
|
|
|
:
|
John Anthony Hall
|
|
|
:
|
Z User Meeting
|
| |