Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
24
views
0
references
Top references
cited by
2
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
784
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Z User Workshop, Cambridge 1994 : Proceedings of the Eighth Z User Meeting, Cambridge 29–30 June 1994
other
Editor(s):
J. P. Bowen
,
J. A. Hall
Publication date
(Print):
1994
Publisher:
Springer London
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Studia z Filologii Polskiej i Słowiańskiej
Author and book information
Book
ISBN (Print):
978-3-540-19884-0
ISBN (Electronic):
978-1-4471-3452-7
Publication date (Print):
1994
DOI:
10.1007/978-1-4471-3452-7
SO-VID:
8dcb85c7-6eb5-4206-bf49-ad3c9e4023db
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Fermenting and Distilling
pp. 9
The Formal Specification in Z of Defence Standard 00–56
pp. 29
Formal Specification of Telephone Features
pp. 71
Integrating Formal Methods into a Professional Master of Software Engineering Program
pp. 89
An Object-Oriented Development Framework for Z
pp. 108
Z for Managed Objects
pp. 168
Z and Natural Semantics
pp. 185
Towards Correct Executable Semantics for Z
pp. 213
Towards a Z Method: Axiomatic Specification in Z
pp. 250
Z and Abstract Machine Notation: A Comparison
pp. 267
TLZ
pp. 269
Visualising Concurrent Z Specifications
pp. 282
Specifying Real-Time Systems with Z and the Duration Calculus
pp. 297
An Object-Oriented Data Model Supporting Multi-Methods, Multiple Inheritance, and Static Type Checking: A Specification in Z
pp. 316
Producing Z Specifications From Object-Oriented Analysis
pp. 337
Animation of Object-Z Specifications with a Set-Oriented Prototyping Language
Similar content
784
Modelling of Factors Influencing Gender Difference in Mathematics Achievement using TIMSS 2011 Data for Singaporean Eighth Grade Students
Authors:
Y. G. Yoo
,
Yang Yoo
Proceedings of the Twenty-Eighth Annual ACM Symposium on Theory of Computing, STOC '96
Authors:
L. K. Grover
,
L. M. Grover
,
L. K. Grover
…
Preface to the Eighth Edition
Authors:
See all similar
Cited by
2
Exploring The Semantics of UML Type Structures with Z
Authors:
R. B. France
,
J.-M. Bruel
,
M. M. Larrondo-Petrie
…
Select Z Bibliography
Authors:
Jonathan Bowen
See all cited by