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
20
views
24
references
Top references
cited by
5
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,424
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
ZB 2000: Formal Specification and Development in Z and B : First International Conference of B and Z Users York, UK, August 29 – September 2, 2000 Proceedings
Retrenchment, Refinement, and Simulation
other
Author(s):
R. Banach
,
M. Poppleton
Publication date
(Online):
December 21 2000
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
ScienceOpen Research
Most cited references
24
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
The existence of refinement mappings
Martín Abadi
,
Leslie Lamport
(1991)
0
comments
Cited
80
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Decentralization of process nets with centralized control
R. J. R. Back
,
R. Kurki-Suonio
(1983)
0
comments
Cited
34
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2000
Publication date (Online):
December 21 2000
Pages
: 304-323
DOI:
10.1007/3-540-44525-0_18
SO-VID:
08d1f01e-05e4-4968-93be-6214bf4e787d
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Meeting the Challenge of Object-Oriented Programming
pp. 2
A Formal Mapping between UML Models and Object-Z Specifications
pp. 22
A Generic Process to Refine a B Specification into a Relational Database Implementation
pp. 42
Recursive Schema Definitions in Object-Z
pp. 59
On Mutually Recursive Free Types in Z
pp. 75
Reasoning Inductively about Z Specifications via Unification
pp. 95
Reconciling Axiomatic and Model-Based Specifications Using the B Method
pp. 107
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context
pp. 127
Automatic Construction of Validated B Components from Structured Developments
pp. 148
Playing with Abstraction and Refinement for Managing Features Interactions
pp. 168
A Formal Architecture for the 3APL Agent Programming Language
pp. 188
How to Drive a B Machine
pp. 209
Deriving Software Specifications from Event Based Models
pp. 230
Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants
pp. 250
Type-Constrained Generics for Z
pp. 264
Typechecking Z
pp. 286
Guards, Preconditions, and Refinement in Z
pp. 304
Retrenchment, Refinement, and Simulation
pp. 324
Performing Algorithmic Refinement before Data Refinement in B
pp. 344
Program Development and Specification Refinement in the Schema Calculus
pp. 363
Are Smart Cards the Ideal Domain for Applying Formal Methods
pp. 374
Formal Methods for Industrial Products
pp. 394
An Execution Architecture for GSL
pp. 414
A Computation Model for Z Based on Concurrent Constraint Resolution
pp. 433
Analysis of Compiled Code: A Prototype Formal Model
pp. 450
Zzzzzzzzzzzzzzzzzzzzzzzzzz
pp. 451
Segregation with Communication
pp. 471
Closure Induction in a Z-Like Language
pp. 491
Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z
Similar content
1,424
New Challenges and Opportunities in European-Asian Relations : Navigating an Assertive China and a Retrenching U.S.
Authors:
Bibek Chand
,
Lukas K. Danner
8. Welfare States in Retrenchment
Authors:
Psychological Wellbeing and Employability of Retrenched Workforce During COVID-19: A Qualitative Study Exploring the Mitigations for Post Pandemic Recovery Phase
Authors:
Guek-Nee Ke
,
Dasha Grajfoner
,
Stephen Carter
…
See all similar
Cited by
5
Program Derivation by Correctness Enhacements
Authors:
Nafi Diallo
,
Wided Ghardallou
,
Jules Desharnais
…
Program Derivation by Correctness Enhacements
Authors:
Nafi Diallo
,
Wided Ghardallou
,
Jules Desharnais
…
IO Refinement
Authors:
John Derrick
,
Eerke A. Boiten
See all cited by