ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
69
views
8
references
Top references
cited by
4
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,912
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
FME'96: Industrial Benefit and Advances in Formal Methods
Consistency and refinement for partial specification in Z
other
Author(s):
Eerke Boiten
,
John Derrick
,
Howard Bowman
,
Maarten Steen
Publication date
(Online):
June 1 2005
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
open (via free pdf)
oa repository (via OAI-PMH doi match)
Powered by
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
Most cited references
8
Record
: found
Abstract
: not found
Article
: not found
Introduction to the ISO specification language LOTOS
Tommaso Bolognesi
,
Ed Brinksma
(1987)
0
comments
Cited
54
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Inconsistency handling in multiperspective specifications
D. Gabbay
,
A. Hunter
,
J. Kramer
…
(1994)
0
comments
Cited
22
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Conjunction as composition
Pamela Zave
,
Michael Jackson
(1993)
0
comments
Cited
15
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
1996
Publication date (Online):
June 1 2005
Pages
: 287-306
DOI:
10.1007/3-540-60973-3_93
SO-VID:
7d361635-b2bd-4732-8e73-86e9026d9fa1
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
How did software get so reliable without proof?
pp. 105
Integrating action systems and Z in a medical system specification
pp. 248
Graphical development of consistent system specifications
pp. 195
Data reification without explicit abstraction functions
pp. 287
Consistency and refinement for partial specification in Z
pp. 662
Experiments in theorem proving and model checking for protocol verification
Similar content
1,912
Refinements of the ICF Linking Rules to strengthen their potential for establishing comparability of health information.
Authors:
Alarcos Cieza
,
Nora Fayed
,
Jerome Bickenbach
…
Design Optimization of Explosion-Resistant System Consisting of Steel Slab and CFRP Frame
Authors:
Jung Kim
The Parasitic Wasp, Cotesia congregata (Say), Consists of Two Incipient Species Isolated by Asymmetric Reproductive Incompatibility and Hybrid Inability to Overcome Host Defenses
Authors:
J. Bredlau
,
Justin P Bredlau
,
Daniel Kuhar
…
See all similar
Cited by
4
IO-refinement in Z
Authors:
Eerke Boiten
,
John Derrick
Select Z Bibliography
Authors:
Jonathan Bowen
Translating LOTOS to Object-Z
Authors:
John Derrick
,
Eerke Boiten
,
Howard Bowman
…
See all cited by