Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
28
views
5
references
Top references
cited by
8
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
4,144
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
VDM '90 VDM and Z — Formal Methods in Software Development
Using Z as a specification calculus for object-oriented systems
other
Author(s):
Anthony Hall
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
Genome Engineering using CRISPR
Most cited references
5
Record
: found
Abstract
: not found
Article
: not found
Extending the database relational model to capture more meaning
E F Codd
(1979)
0
comments
Cited
76
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Object identity
George Copeland
,
Setrag N. Khoshafian
(1986)
0
comments
Cited
7
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Type theories and object-oriented programmimg
Scott H. Danforth
,
Chris TOMLINSON
(1988)
0
comments
Cited
7
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
1990
Publication date (Online):
June 1 2005
Pages
: 290-318
DOI:
10.1007/3-540-52513-0_16
SO-VID:
ca111a60-6f84-4ea1-b0f9-8a70b09a26b5
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 399
Type checking BSI/VDM-SL
pp. 150
Formal specifications as reusable frameworks
pp. 164
Z and the refinement calculus
pp. 244
Towards a semantics for object-Z
pp. 290
Using Z as a specification calculus for object-oriented systems
pp. 426
Type inference in Z
Similar content
4,144
A Formalisation Of The
M
‐Valued ŁUkasiewicz Propositional Calculus With Super‐Designated Truth‐Values
Authors:
Alan Rose
A case report of a self-inserted foreign body in the urethra/bladder causing urinary calculus formation, and a review of the literature
Authors:
Amirreza Fotovat
,
Samira Yavari
,
Mohsen Ayati
…
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions
Authors:
Enrico Tassi
,
Claudio Coen
,
Andrea Asperti
…
See all similar
Cited by
7
Mondex, an electronic purse: specification and refinement checks with the Alloy model-finding method
Authors:
Tahina Ramananandro
Viewpoints and objects
Authors:
John Derrick
,
Howard Bowman
,
Maarten Steen
Structuring Z specifications: Some choices
Authors:
Anthony MacDonald
,
David B. Carrington
See all cited by