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

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.

---

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.

---

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.
Content:
Front Matter....Pages i-x
Fermenting and Distilling....Pages 1-6
Front Matter....Pages 7-7
The Formal Specification in Z of Defence Standard 00–56....Pages 9-28
Formal Specification of Telephone Features....Pages 29-50
A tale of two paradigms: Formal methods and software testing....Pages 51-68
Front Matter....Pages 69-69
Integrating Formal Methods into a Professional Master of Software Engineering Program....Pages 71-85
Front Matter....Pages 87-87
An Object-Oriented Development Framework for Z....Pages 89-107
Z for Managed Objects....Pages 108-119
Specifying and Interpreting Class Hierarchies in Z....Pages 120-138
Front Matter....Pages 139-139
Z and HOL....Pages 141-167
Z and Natural Semantics....Pages 168-184
Towards Correct Executable Semantics for Z....Pages 185-209
Front Matter....Pages 211-211
Towards a Z Method: Axiomatic Specification in Z....Pages 213-229
Software Quality Assurance using the SAZ Method....Pages 230-249
Z and Abstract Machine Notation: A Comparison....Pages 250-263
Front Matter....Pages 265-265
TLZ....Pages 267-268
Visualising Concurrent Z Specifications....Pages 269-281
Specifying Real-Time Systems with Z and the Duration Calculus....Pages 282-294
Front Matter....Pages 295-295
An Object-Oriented Data Model Supporting Multi-Methods, Multiple Inheritance, and Static Type Checking: A Specification in Z....Pages 297-315
Producing Z Specifications From Object-Oriented Analysis....Pages 316-336
Animation of Object-Z Specifications with a Set-Oriented Prototyping Language....Pages 337-356
Back Matter....Pages 357-407

---

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.
Content:
Front Matter....Pages i-x
Fermenting and Distilling....Pages 1-6
Front Matter....Pages 7-7
The Formal Specification in Z of Defence Standard 00–56....Pages 9-28
Formal Specification of Telephone Features....Pages 29-50
A tale of two paradigms: Formal methods and software testing....Pages 51-68
Front Matter....Pages 69-69
Integrating Formal Methods into a Professional Master of Software Engineering Program....Pages 71-85
Front Matter....Pages 87-87
An Object-Oriented Development Framework for Z....Pages 89-107
Z for Managed Objects....Pages 108-119
Specifying and Interpreting Class Hierarchies in Z....Pages 120-138
Front Matter....Pages 139-139
Z and HOL....Pages 141-167
Z and Natural Semantics....Pages 168-184
Towards Correct Executable Semantics for Z....Pages 185-209
Front Matter....Pages 211-211
Towards a Z Method: Axiomatic Specification in Z....Pages 213-229
Software Quality Assurance using the SAZ Method....Pages 230-249
Z and Abstract Machine Notation: A Comparison....Pages 250-263
Front Matter....Pages 265-265
TLZ....Pages 267-268
Visualising Concurrent Z Specifications....Pages 269-281
Specifying Real-Time Systems with Z and the Duration Calculus....Pages 282-294
Front Matter....Pages 295-295
An Object-Oriented Data Model Supporting Multi-Methods, Multiple Inheritance, and Static Type Checking: A Specification in Z....Pages 297-315
Producing Z Specifications From Object-Oriented Analysis....Pages 316-336
Animation of Object-Z Specifications with a Set-Oriented Prototyping Language....Pages 337-356
Back Matter....Pages 357-407
....