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