default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZB 2003: Turku, Finland
- Didier Bert, Jonathan P. Bowen
, Steve King, Marina Waldén:
ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings. Lecture Notes in Computer Science 2651, Springer 2003, ISBN 3-540-40253-5 - Daniel Jackson:
Alloy: A Logical Modelling Language. 1 - Susan Stepney, Fiona Polack, Ian Toyn:
An Outline Pattern Language for Z: Five Illustrations and Two Tables. 2-19 - Susan Stepney, Fiona Polack, Ian Toyn:
Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z. 20-39 - Sandrine Blazy, Frédéric Gervais, Régine Laleau:
Reuse of Specification Patterns with the B Method. 40-57 - Helen Treharne, Steve A. Schneider, Marchia Bramble:
Composing Specifications Using Communication. 58-78 - Frédéric Peschanski, David Julien:
When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets. 79-97 - Guilhem Pouzancre:
How to Diagnose a Modern Car with a Formal B Model?. 98-100 - Stefan Hallerstede:
Parallel Hardware Design in B. 101-102 - Moshe Deutsch, Martin C. Henson, Steve Reeves:
Operation Refinement and Monotonicity in the Schema Calculus. 103-126 - John Derrick, Heike Wehrheim:
Using Coupled Simulations in Non-atomic Refinement. 127-147 - Moshe Deutsch, Martin C. Henson:
An Analysis of Forward Simulation Data Refinement. 148-167 - Jean-Raymond Abrial:
B#: Toward a Synthesis between Z and B. 168-177 - Steve Dunne:
Introducing Backward Refinement into B. 178-196 - Bill Stoddart, Frank Zeyda:
Expression Transformers in B-GSL. 197-215 - Annabelle McIver, Carroll Morgan, Thai Son Hoang:
Probabilistic Termination in B. 216-239 - Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan:
Probabilistic Invariants for Probabilistic Machines. 240-259 - Graeme Smith, Kirsten Winter:
Proving Temporal Properties of Z Specifications Using Abstraction. 260-279 - Kirsten Winter, Graeme Smith:
Compositional Verification for Object-Z. 280-299 - John Derrick:
Timed CSP and Object-Z. 300-318 - Mark Utting, Shaochun Wang:
Object Orientation without Extending Z. 319-338 - Nuno Amálio, Fiona Polack:
Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z. 339-358 - Bertrand Meyer:
Towards Practical Proofs of Class Correctness. 359-387 - Robert M. Hierons, Mark Harman, Harbhajan Singh:
Automatically Generating Information from a Z Specification to Support the Classification Tree Method. 388-407 - Christophe Darlot, Jacques Julliand, Olga Kouchnarenko:
Refinement Preserves PLTL Properties. 408-420 - Marc Frappier, Régine Laleau:
Proving Event Ordering Properties for Information Systems. 421-436 - Mark Utting, Ian Toyn, Jing Sun, Andrew P. Martin, Jin Song Dong, Nicholas Daley, David W. Currie:
ZML: XML Support for Standard Z. 437-456 - Jean-Raymond Abrial, Dominique Cansell, Dominique Méry:
Formal Derivation of Spanning Trees Algorithms. 457-476 - Carla Ferreira, Michael J. Butler:
Using B Refinement to Analyse Compensating Business Processes. 477-496 - Christine Poerschke, David E. Lightfoot, John L. Nealon:
A Formal Specification in B of a Medical Decision Support System. 497-512 - Lilian Burdy, Antoine Requet:
Extending B with Control Flow Breaks. 513-527 - Nazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos, T. S. E. Maibaum:
Towards Dynamic Population Management of Abstract Machines in the B Method. 528-545
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 2026-04-17 00:05 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:
