ZB 2003:
Turku, Finland
Didier Bert, Jonathan P. Bowen, Steve King, Marina A. Waldén (Eds.):
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 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 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

Last update Sun May 19 23:45:35 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page