default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZB 2000: York, UK
- Jonathan P. Bowen
, Steve Dunne, Andy Galloway, Steve King:
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. Lecture Notes in Computer Science 1878, Springer 2000, ISBN 3-540-67944-8 - J. Michael Spivey:
Meeting the Challenge of Object-Oriented Programming. 1 - Soon-Kyeong Kim, David A. Carrington:
A Formal Mapping between UML Models and Object-Z Specifications. 2-21 - Régine Laleau, Amel Mammar:
A Generic Process to Refine a B Specification into a Relational Database Implementation. 22-41 - Graeme Smith:
Recursive Schema Definitions in Object-Z. 42-58 - Ian Toyn, Samuel H. Valentine, David A. Duffy:
On Mutually Recursive Free Types in Z. 59-74 - David A. Duffy, Ian Toyn:
Reasoning Inductively about Z Specifications via Unification. 75-94 - Ken Robinson:
Reconciling Axiomatic and Model-Based Specifications Using the B Method. 95-106 - Theodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum:
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context. 107-126 - Pierre Bontron, Marie-Laure Potet:
Automatic Construction of Validated B Components from Structured Developments. 127-147 - Dominique Cansell, Dominique Méry:
Playing with Abstraction and Refinement for Managing Features Interactions. 148-167 - Mark d'Inverno, Koen V. Hindriks, Michael Luck:
A Formal Architecture for the 3APL Agent Programming Language. 168-187 - Helen Treharne, Steve A. Schneider:
How to Drive a B Machine. 188-208 - Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge:
Deriving Software Specifications from Event Based Models. 209-229 - Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko:
Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants. 230-249 - Samuel H. Valentine, Ian Toyn, Susan Stepney, Steve King:
Type-Constrained Generics for Z. 250-263 - Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King:
Typechecking Z. 264-285 - Ralph Miarka, Eerke A. Boiten, John Derrick:
Guards, Preconditions, and Refinement in Z. 286-303 - Richard Banach, Michael Poppleton:
Retrenchment, Refinement, and Simulation. 304-323 - Michael J. Butler, Mairead Meagher:
Performing Algorithmic Refinement before Data Refinement in B. 324-343 - Martin C. Henson, Steve Reeves:
Program Development and Specification Refinement in the Schema Calculus. 344-362 - Jean-Louis Lanet:
Are Smart Cards the Ideal Domain for Applying Formal Methods? 363-373 - Susan Stepney, David Cooper:
Formal Methods for Industrial Products. 374-393 - Bill Stoddart:
An Execution Architecture for GSL. 394-413 - Wolfgang Grieskamp:
A Computation Model for Z Based on Concurrent Constraint Resolution. 414-432 - R. D. Arthan:
Analysis of Compiled Code: A Prototype Formal Model. 433-449 - David Everett:
Zzzzzzzzzzzzzzzzzzzzzzzzzz. 450 - David Cooper, Susan Stepney:
Segregation with Communication. 451-470 - David A. Duffy, Jürgen Giesl:
Closure Induction in a Z-Like Language. 471-490 - Chris Matthews, Paul A. Swatman:
Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z. 491-510
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-04 20:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
