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
42
views
5
references
Top references
cited by
10
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,051
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
ZUM '95: The Z Formal Specification Notation
How firing conditions help inheritance
other
Author(s):
Ben Strulo
Publication date
(Online):
June 1 2005
Publisher:
Springer Berlin Heidelberg
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
Emerald: Fairer Society
Most cited references
5
Record
: found
Abstract
: not found
Book
: not found
The B-Book
J. Abrial
,
A Hoare
,
Pierre Chapron
(2010)
0
comments
Cited
176
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
A behavioral notion of subtyping
Jeannette Wing
,
Barbara H. Liskov
(1994)
0
comments
Cited
46
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book
: not found
Object Orientation in Z
Susan Stepney
,
Rosalind Barden
,
David Cooper
(1992)
0
comments
Cited
9
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
1995
Publication date (Online):
June 1 2005
Pages
: 264-275
DOI:
10.1007/3-540-60271-2_125
SO-VID:
022e8d21-2143-4cf6-8f8e-aa66f5019e10
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 2
Language-free mathematical methods for software design extended abstract
pp. 5
A formal approach to software design: The Clepsydra methodology
pp. 25
Refining database systems
pp. 46
Structuring a Z specification to provide a formal framework for autonomous agent systems
pp. 63
On the use of formal specifications in the design and simulation of artificial neural networks
pp. 83
Structuring specification in Z to build a unifying framework for hypertext systems
pp. 104
Mechanizing formal methods: Opportunities and challenges
pp. 114
An algebraic proof in VDM ♣
pp. 136
Testing as abstraction
pp. 152
Improving software tests using Z Specifications
pp. 167
Compilation of Z specifications into C for automatic test result evaluation
pp. 182
Equal rights for schemas in Z
pp. 203
Structuring Z specifications: Some choices
pp. 224
Experiments with the Z interchange format and SGML
pp. 236
The future of industrial formal methods
pp. 244
Specifications and their use in defining subtypes
pp. 264
How firing conditions help inheritance
pp. 276
Extending W for Object-Z
pp. 315
From Z to code: A graphical user interface for a radiation therapy machine
pp. 334
The French population census for 1990
pp. 354
Implementing Z in Isabelle
pp. 374
The Z-into-Haskell tool-kit: An illustrative case study
pp. 389
Types and sets in Gödel and Z
pp. 408
Exploring specifications with Mathematica
pp. 422
Using Z to rigorously review a specification of a Network Management System
pp. 434
A two-dimensional view of integrated formal and informal specification techniques
pp. 449
Viewpoints and objects
pp. 470
Teaching programming as engineering
pp. 482
A course on formal methods in software engineering: Matching requirements with design
pp. 497
Hints for writing specifications
pp. 498
Mental models of Z: I — Sets and logic
pp. 508
Equational logic: A great pedagogical tool for teaching a skill in logic
pp. 510
Z Browser — Tool for visualisation of Z specifications
pp. 526
Select Z bibliography
pp. 561
Comp.specification.z and Z forum frequently asked questions
Similar content
3,051
Does Atelocollagen Actually Help the Rotator Cuff Healing and Pain Control?
Authors:
Kyu-Hak Jung
A General Philosophy of Helping: Process Consultation
Authors:
H. Schein E.
Why do people buy dogs with potential welfare problems related to extreme conformation and inherited disease? A representative study of Danish owners of four small dog breeds
Authors:
P Sandøe
,
S. V. Kondrup
,
P C Bennett
…
See all similar
Cited by
10
CSP-OZ: A Combination of Object-Z and CSP
Authors:
Clemens Fischer
More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement
Authors:
Susan Stepney
,
David Cooper
,
Jim Woodcock
How to Combine Z with a Process Algebra
Authors:
Clemens Fischer
See all cited by