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
