Books

Short works

Books : reviews

Jonathan P. Bowen, John E. Nicholls, eds.
7th Z User Workshop: London 1992.
Springer. 1993

(read but not reviewed)

Contents

Dan Craigen, Susan Gerhart, Ted Ralston. An International Survey of Industrial Applications of Formal Methods. 1993
(invited talk)
Samuel H. Valentine. Putting Numbers into the Mathematical Toolkit. 1993
Ian J. Hayes, Luke Wildman. Towards Libraries for Z. 1993
John E. Nicholls. Plain Guide to the Z Base Standard. 1993
Kevin C. Lano, Howard Haughton. Reuse and Adaptation of Z Specifications. 1993
Andrew Bradley. Requirements for Defence Standard 00-55. 1993
(invited talk: abstract)
Jonathan Jacky. Formal Specification and Development of Control System Input/Output. 1993
John C. Knight, Darrell M. Kienzle. Preliminary Experience Using Z to Specify a Safety-Critical System. 1993
Andrew C. Coombes, John A. McDermid. Using Diagrams to Give a Formal Specification of Timing Constraints in Z. 1993
Alastair R. Ruddle. Formal Methods in the Specification of Real-Time, Safety-Critical Control Systems. 1993
I. Maung, J. R. Howse. Introducing Hyper-Z -- A New Approach to Object-Orientation in Z. 1993
G. Hossein Bagherzadeh Rafsanjani, S. J. Colwill. From Object-Z to C++: A Structural Mapping. 1993
Elspeth Cusack, Clazien Wezeman. Deriving Tests for Objects Specified in Z. 1993
Elspeth Cusack. Using Z in Communications Engineering. 1993
(invited talk)
Paul A. Swatman. Using Formal Specification in the Acquisition of Information Systems: Educating Information Systems Professionals. 1993
Christine Draper. Practical Experiences of Z and SSADM. 1993
Rosalind Barden, Susan Stepney. Support for using Z. 1993
full paper
Glyn Normington. Cleanroom and Z. 1993
(invited talk)
Matthew Love. Animating Z Specifications in SQL*Forms3.0. 1993

Jonathan P. Bowen, J. Anthony Hall, eds.
8th Z User Workshop: Cambridge 1994.
Springer. 1994

(read but not reviewed)

Contents

Robert Worden. Fermenting and Distilling. 1994
Jim Woodcock, Paul H. B. Gardiner, J.R. Hulance. The Formal Specification in Z of Defence Standard 00-56. 1994
Peter Mataga, Pamela Zave. Formal Specification of Telephone Features. 1994
David Carrington, Phil Stocks. A Tale of Two Paradigms: Formal Methods and Software Testing. 1994
David Garlan. Integrating Formal Methods into a Professional Master of Software Engineering Program. 1994
Graeme Smith. An Object-Oriented Development Framework for Z. 1994
Clazien Wezeman, Tony J. Judge. Z for Managed Objects. 1994
J. Anthony Hall. Specifying and Interpreting Class Hierarchies in Z. 1994
Jonathan P. Bowen, Mike J. C. Gordon. Z and HOL. 1994
Peter Baumann. Z and Natural Semantics. 1994
Peter T. Breuer, Jonathan P. Bowen. Towards Correct Executable Semantics for Z. 1994
Jon G. Hall, John A. McDermid. Towards a Z Method: Axiomatic Specifications in Z. 1994
Fiona Polack, Keith C. Mander. Software Quality Assurance Using the SAZ Method. 1994
Antoni Diller, Rosemary Docherty. Z and Abstract Machine Notation: A Comparison. 1994
Leslie Lamport. TLZ (abstract). 1994
Andy S. Evans. Visualising Concurrent Z Specifications. 1994
Marcin Engel. Specifying Real-Time Systems with Z and the Duration Calculus. 1994
Daniel K. C. Chan, Philip W. Trinder. An Object-Oriented Data Model Supporting Multi-Methods, Multiple Inheritance, and Static Type Checking: A Specification in Z. 1994
Jonathan Hammond. Producing Z Specifications from Object-Oriented Analysis. 1994
W. Hasselbring. Animation of Object-Z Specifications with a Set-Oriented Prototyping Language. 1994

Jonathan P. Bowen, Michael G. Hinchey, eds.
ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick.
Springer. 1995

(read but not reviewed)

Contents

Pascal Bernard, Guy Laffitte. The French Population Census for 1990. 1995
David L. Parnas. Language-free mathematical methods for software design (extended abstract). 1995
Paolo Ciaccia, Paolo Ciancarini, W. Penzo. A Formal approach to software design: the Clepsydra methodology. 1995
David Edmond. Refining database systems. 1995
Michael Luck, Mark d'Inverno. Structuring a Z specification to provide a formal framework for autonomous agent systems. 1995
Patricia Duarte de Lima Machado, Silvio Lemos Meira. On the use of formal specifications in the design and simulation of artificial neural networks. 1995
Mark d'Inverno, Mark Priestley. Structuring specification in Z to build a unifying framework for hypertext systems. 1995
John M. Rushby. Mechanizing Formal Methods: opportunities and challenges. 1995
A. P. Hughes, A. A. Donnelly. An Algebraic proof in VDM*. 1995
Susan Stepney. Testing as Abstraction. 1995
full paper
Hans-Martin Horcher. Improving software tests using Z specifications. 1995
Erich Mikk. Compilation of Z specifications into C for automatic test result evaluation. 1995
Samuel H. Valentine. Equal Rights for schemas in Z. 1995
Anthony MacDonald, David Carrington. Structuring Z Specifications: some choices. 1995
Daniel M. German, D. D. Cowan. Experiments with the Z Interchange Format and SGML. 1995
Barbara Liskov, Jeannette M. Wing. Specifications and Their Use in Defining Subtypes. 1995
Ben Strulo. How Firing Conditions Help Inheritance. 1995
Graeme Smith. Extending W for Object-Z. 1995
Peter Bancroft, Ian J. Hayes. A Formal Semantics for a Language with Type Extension. 1995
Jonathan Jacky, Jonathan Unger. From Z to Code: A Graphical User Interface for a Radiation Therapy Machine. 1995
Ina Kraan, Peter Baumann. Implementing Z in Isabelle. 1995
Howard S. Goodman. The Z-into-Haskell Tool-Kit: an illustrative case study. 1995
Margaret M. West. Types and Sets in Godel and Z. 1995
Colman Reilly. Exploring Specifications with Mathematica. 1995
Tony Bryant, Andy S. Evans, Lesley Semmens, Rajko Milovanovic, Sinclair Stockman, Mark Norris, Clive Selley. Using Z to Rigorously Review a Specification of a Network Management System. 1995
Robert B. France, M. M. Larrondo-Petrie. A Two-Dimensional View of Integrated Formal and Informal Specification Techniques. 1995
John Derrick, Howard Bowman, Maarten Steen. Viewpoints and Objects. 1995
David L. Parnas. Teaching Programming as Engineering. 1995
Paolo Ciancarini, Paolo Ciaccia. A Course on Formal Methods in Software Engineering: Matching Requirements with Design. 1995
Jeannette M. Wing. Hints for Writing Specifications (abstract). 1995
Neville Dean. Mental Models of Z: I - Sets and Logic. 1995
David Gries. Equational Logic: A Great Pedagogical Tool for Teaching a Skill in Logic (abstract). 1995
Lubos Mikusiak, Vladimir Vojtek, Jozef Hasaralejko, Jana Hanzelova. Z Browser - Tool for Visualization of Z Specifications. 1995

Michael G. Hinchey, Jonathan P. Bowen, eds.
Applications of Formal Methods.
Prentice-Hall. 1995

(read but not reviewed)

Contents

Applications of Formal Methods FAQ. 1995
David L. Parnas. Using Mathematical Models in the Inspection of Critical Software. 1995
Glenn Bruns, Stuart Anderson. Gaining Assurance with Formal Methods. 1995
David Garlan, Norman Delisle. Formal Specification of an Architecture for a Family of Instrumentation Systems. 1995
Paul Mukherjee, Brian A. Wichmann. Formal Specification of the STV Algorithm. 1995
Jonathan P. Hoare. Application of the B-Method to CICS. 1995
Mandayam K. Srivas, Steve P. Miller. Formal Verification of the AAMP5 Microprocessor. 1995
William D. Young. Modeling and Verification of a Simple Real-Time Gate Controller. 1995
Eugene H. Durr, Nico Plat, Michiel de Boer. CombiCom: Tracking and Tracing Rail Traffic using VDM++. 1995
Babak Dehbonei, Fernando Mejia. Formal Development of Safety-Critical Software Systems in Railway Signaling. 1995
Ute Hamer, Jan Peleska. Z Applied to the A330/340 CIDS Cabin Communication System. 1995
David Guaspari, Mike Seager, Matt Stillerman. Specifying the Kernel of a Secure Distributed Operating System. 1995
Andrew C. Coombes, Leonor Barroca, John S. Fitzgerald, John A. McDermid, Lynne Spencer, Amer Saed. Formal Specification of an Aerospace System: The Attitude Monitor. 1995
John S. Fitzgerald, Peter Gorm Larsen, Tom Brookes, Michael Green. Developing a Security-Critical System using Formal and Conventional Methods. 1995
Vivien Hamilton. The Use of Z within a Safety-Critical Software System. 1995
Peter Mataga, Pamela Zave. Multiparadigm Specification of an AT&T Switching System. 1995
Dan Craigen, Susan Gerhart, Ted Ralston. Formal Methods Technology Transfer: Impediments and Innovation. 1995

Jonathan P. Bowen, Michael G. Hinchey, David Till, eds.
ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading.
Springer. 1997

(read but not reviewed)

Contents

Constance Heitmeyer. Formal Methods: Panacea or Academic Poppycock?. 1997
Bill Stoddart. The Event Calculus. 1997
M. A. Hewitt, Colin M. O'Halloran, Chris T. Sennett. Experiences with PiZA, an animator for Z. 1997
Steffen Helke, Thomas Neustupny, Thomas Santen. Automating Test Case Generation from Z Specifications with Isabelle. 1997
Mark Saaltink. The Z/EVES System. 1997
J. Anthony Hall. Taking Z Seriously. 1997
(extended abstract)
Klaus Achatz, Wolfram Schulte. A Formal OO Method inspired by Fusion and Object-Z. 1997
Jon G. Hall, Andrew Martin. W Reconstructed. 1997
Ina Kraan. Using the Rippling Heuristic in Set Membership Proofs. 1997
Egon Borger, S. Mazzanti. A Practical Method for Rigorously Controllable Hardware Design. 1997
Kevin C. Lano, Stephen J. Goldsack, Juan C. Bicarregui, Stuart J. H. Kent. Integrating VDM++ and Real-Time System Design. 1997
Michael J. Butler. An Approach to the Design of Distributed Systems with B AMN. 1997
Kevin C. Lano. Specifying Reactive Systems in B AMN. 1997
Andy S. Evans. An Improved Recipe for Specifying Reactive Systems in Z. 1997
Mark d'Inverno, Michael Hu. A Z Specification of the Soft-Link Hypertext Model. 1997
Jonathan Jacky, Jonathan Unger, Michael Patrick, David Reid, Ruedi Risler. Experience with Z developing a Control Program for a Radiation Therapy Machine. 1997
John C. Knight, Susan S. Brilliant. Preliminary Evaluation of a Formal Approach to User Interface Specification. 1997
Paolo Ciancarini, Cecilia Mascolo. Analysing and Refining an Architectural Style. 1997
John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen. Weak Refinement in Z. 1997

Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey, eds.
ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin.
Springer. 1998

(read but not reviewed)

Contents

Klaus Grimm. Industrial Requirements for the Efficient Development of Reliable Embedded Systems. 1998
Clemens Fischer. How to Combine Z with a Process Algebra. 1998
Bill Stoddart. The Specification and Refinement of an Environmental Model. 1998
Leesa Murray, David Carrington, Ian MacColl, Jason McDonald, Paul A. Strooper. Formal Derivation of Finite State Machines for Class Testing. 1998
Ib Holm Sorensen. Using B to Specify, Verify and Design Hardware Circuits. 1998
Jonathan P. Bowen, David Chippington. Z on the Web Using Java. 1998
Paolo Ciancarini, Cecilia Mascolo, Fabio Vitali. Visualizing Z Notation in HTML Documents. 1998
Thomas Santen. On the Semantic Relation of Z and HOL. 1998
C. Luth, E. W. Karlsen, Kolyang Kolyang, S. Westmeier, B. Wolff. HOL-Z in the UniForM-Workbench - A Case Study in Tool Integration for Z. 1998
Jonathan Jacky. Analyzing a Real-Time Program with Z. 1998
Rob D. Arthan. Recursive Definitions in Z. 1998
Martin C. Henson, Steve Reeves. A Logic for the Schema Calculus. 1998
Ian Toyn. Innovations in the Notation of Standard Z. 1998
Richard F. Paige. Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space. 1998
Samuel H. Valentine. Inconsistency and Undefinedness in Z - A Practical Guide. 1998
Kevin C. Lano, P. Kan, Arturo Sanchez. Compositional Specification of Controllers for Batch Process Operations. 1998
John Derrick, Eerke A. Boiten. Testing Refinements by Refining Tests. 1998
Susan Stepney, David Cooper, Jim Woodcock. More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. 1998
full paper
Brendan P. Mahony, Jin Song Dong. Network Topology and a Case Study in TCOZ. 1998
Viktor Friesen, Andre Nordwig, Matthias Weber. Object-Oriented Specification of Hybrid Systems Using UMLh and ZimOO. 1998
S. Dupuy, Y. Ledru, M. Chabre-Peccoud. Translating the OMT Dynamic Model into Object-Z. 1998

Michael G. Hinchey, Jonathan P. Bowen, eds.
Industrial-Strength Formal Methods in Practice.
Springer. 1999

(read but not reviewed)

Contents

Jonathan P. Bowen, Michael G. Hinchey. It's Greek to Me: Method in the Madness?. 1999
Pascal Bernard, Guy Laffitte. The French Population Census for 1990. 1995
Ross J. Anderson. The Formal Verification of a Payment System. 1999
Kevin C. Lano, Stephen J. Goldsack, Arturo Sanchez. Specification of a Chemical Process Controller in B. 1999
Bishop C. Brock, Warren A. Hunt Jr. Formal Analysis of the Motorola CAP DSP. 1999
Yonit Kesten, Amit Klein, Amir Pnueli, Gil Raanan. Bridging the E-Business Gap Through Formal Verification. 1999
Nancy G. Leveson, Mats P. E. Heimdahl, Jon D. Reese. A CAD Environment for Safety-Critical Software. 1999
Dines Bjorner, Chris George, Soren Prehn. Scheduling and Rescheduling of Trains. 1999
Jonathan Jacky. Lessons from the Formal Development of a Radiation Therapy Machine Control Program. 1999
J. Anthony Hall. Using Formal Methods to Develop an ATC Information System. 1999
Lesley Semmens, Tony Bryant. Rigorous Review Technique. 1999
Dan Craigen, Irwin Meisels, Mark Saaltink. Analysing Z Specifications with Z/EVES. 1999
Andrew P. Moore, J. Eric Klinker, David M. Mihelcic. How to Construct Formal Arguments that Persuade Certifiers. 1999
Mark Ardis, Peter Mataga. Formal Methods Through Domain Engineering. 1999
Arne Boralv, Gunnar Stalmarck. Formal Verification in Railways. 1999
Richard C. Linger, Carmen J. Trammell. Cleanroom Software Engineering: Theory and Practice. 1999

Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King, eds.
ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users, York.
Springer. 2000

(read but not reviewed)

Contents

Soon-Kyeong Kim, David Carrington. A Formal Mapping between UML models and Object-Z Specifications. 2000
Regine Laleau, Amel Mammar. A Generic Process to Refine a B Specification into a Relational Database Implementation. 2000
Graeme Smith. Recursive Schema Definitions in Object­Z. 2000
Ian Toyn, Samuel H. Valentine, David A. Duffy. On Mutually Recursive Free Types in Z. 2000
David A. Duffy, Ian Toyn. Reasoning Inductively about Z Specifications via Unification. 2000
Ken Robinson. Reconciling Axomatic and Model­based Specifications Using the B Method. 2000
Theo Dimitrakos, Juan C. Bicarregui, Brian Matthews, Thomas S. E. Maibaum. Compositional structuring in the B Method: A Logical Viewpoint of the Static Context. 2000
Pierre Bontron, Marie-Laure Potet. Automatic Construction of Validated B components from Structured Developments. 2000
Dominique Cansell, Dominique Mery. Playing with abstraction and refinement for managing features interactions. 2000
Mark d'Inverno, Koen Hindriks, Michael Luck. A Formal Architecture for the 3APL Agent Programming Language. 2000
Helen Treharne, Steve Schneider. How to drive a B Machine. 2000
Nestor Lopez, Marianne Simonot, Veronique Viguie Donzeau-Gouge. Deriving Software Specifications from Event Based Models. 2000
Francoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko. Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants. 2000
Samuel H. Valentine, Ian Toyn, Susan Stepney, Steve King. Type­constrained Generics for Z. 2000
full paper
Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King. Typechecking Z. 2000
full paper
Ralph Miarka, Eerke A. Boiten, John Derrick. Guards, Preconditions and Refinement in Z. 2000
Richard Banach, Michael Poppleton. Retrenchment, Refinement and Simulation. 2000
Michael J. Butler, Mairead Meagher. Performing Algorithmic Refinement before Data Refinement in B. 2000
Martin C. Henson, Steve Reeves. Program Development and Specification Refinement in the Schema Calculus. 2000
Jean-Louis Lanet. Are Smart Cards the Ideal Domain for Applying Formal Methods?. 2000
Susan Stepney, David Cooper. Formal Methods for Industrial Products. 2000
full paper
Bill Stoddart. An Execution Architecture for GSL. 2000
Wolfgang Grieskamp. A Computation Model for Z Based on Concurrent Constraint Resolution. 2000
Rob D. Arthan. Analysis of Compiled Code: A Prototype Formal Model. 2000
David Cooper, Susan Stepney. Segregation with Communication. 2000
full paper
David A. Duffy, Juergen Giesl. Closure Induction in a Z-like Language. 2000
Chris Matthews, Paul A. Swatman. Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z. 2000

Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson, eds.
ZB 2002: Formal Specification and Development in Z and B: Second International Conference of B and Z Users, Grenoble.
Springer. 2002

(read but not reviewed)

Contents

Eric C. R. Hehner, Ioannis T. Kassios. Theories, Implementations, and Transformations. 2002
Dominique Cansell, Ganesh Gopalakrishnan, Mike Jones, Dominique Mery, Airy Weinzoepflen. Incremental Proof of the Producer/Consumer Property for the PCI Protocol. 2002
Michael Poppleton, Richard Banach. Controlling Control Systems: An Application of Evolving Retrenchment. 2002
Neil J. Robinson. Checking Z Data Refinements Using an Animation Tool. 2002
Graeme Smith, Florian Kammuller, Thomas Santen. Encoding Object-Z in Isabelle/HOL. 2002
Ian Toyn, Susan Stepney. Characters + Mark-up = Z Lexis. 2002
full paper
Marielle Doche, Andrew M. Gravell. Extraction of Abstraction Invariants for Data Refinement. 2002
Leonid Mikhailov, Michael J. Butler. An Approach to Combining B and Alloy. 2002
Ralph-Johan Back. Software Construction by Stepwise Feature Introduction. 2002
Jim Woodcock, Ana L. C. Cavalcanti. The Semantics of Circus. 2002
Ralph Miarka, John Derrick, Eerke A. Boiten. Handling Inconsistencies in Z Using Quasi-Classical Logic. 2002
Eerke A. Boiten. Loose Specification and Refinement in Z. 2002
Jean-Raymond Abrial, Louis Mussat. On Using Conditional Definitions in Formal Theories. 2002
Steve Dunne. A Theory of Generalised Substitutions. 2002
Sergiy A. Vilkomir, Jonathan P. Bowen. Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing. 2002
Bruno Legeard, Fabien Peureux, Mark Utting. A Comparison of the BTT and TTF Test-Generation Methods. 2002
David Basin, Frank Rittinger, Luca Vigano. A Formal Analysis of the CORBA Security Service. 2002
Jean-Paul Bodeveix, Mamoun Filali. Type Synthesis in B and the Translation of B to PVS. 2002
Jean-Raymond Abrial, Dominique Cansell, Guy Laffitte. "Higher-Order" Mathematics in B. 2002
Pierre Chartier. ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industries. 2002
James Blow, Andy Galloway. Generalised Substitution Language and Differentials. 2002
Steve Schneider, Helen Treharne. Communicating B Machines. 2002
Francoise Bellegarde, Jacques Julliand, Olga Kouchnarenko. Synchronized Parallel Composition of Event Systems in B. 2002
Antonis Papatsaras, Bill Stoddart. Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study. 2002
Francoise Bellegarde, Samir Chouali, Jacques Julliand. Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions. 2002
Soon-Kyeong Kim, David Carrington. A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints. 2002
Regine Laleau, Fiona Polack. Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development. 2002

Didier Bert, Jonathan P. Bowen, Steve King, Marina Walden, eds.
ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland.
Springer. 2003

(read but not reviewed)

Contents

Daniel Jackson. Alloy: A Logical Modelling Language. 2003
(abstract, invited talk)
Susan Stepney, Fiona Polack, Ian Toyn. An Outline pattern language for Z: five illustrations and two tables. 2003
full paper
Susan Stepney, Fiona Polack, Ian Toyn. Patterns to guide practical refactoring: example targetting promotion in Z. 2003
full paper
Sandrine Blazy, Frederic Gervais, Regine Laleau. Reuse of specification patterns with the B method. 2003
Helen Treharne, Steve Schneider, Marchia Bramble. Composing specifications using communication. 2003
Frederic Peschanski, David Julien. When concurrent control meets functional requirements, or Z + Petri-nets. 2003
Guilhem Pouzancre. How to design a modern car with a formal B method?. 2003
Stefan Hallerstede. Parallel hardware design in B. 2003
Moshe Deutsch, Martin C. Henson, Steve Reeves. Operation refinement and monotonicity in the schema calculus. 2003
John Derrick, Heike Wehrheim. Using coupled simulations in non-atomic refinement. 2003
Moshe Deutsch, Martin C. Henson. An Analysis of forward simulation data refinement. 2003
Jean-Raymond Abrial. B#: Toward a Synthesis between Z and B. 2003
(invited talk)
Steve Dunne. Introducing backward refinement into B. 2003
Bill Stoddart, Frank Zeyda. Expression transformers in B-GSL. 2003
Annabelle McIver, Carroll Morgan, Thai Son Hoang. Probabilistic termination in B. 2003
Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan. Probabilistic invariants for probabilistic machines. 2003
Graeme Smith, Kirsten Winter. Proving temporal properties of Z specifications using abstraction. 2003
Kirsten Winter, Graeme Smith. Compositional verification for Object-Z. 2003
John Derrick. Timed CSP and Object-Z. 2003
Mark Utting, Shaochun Wang. Object orientation without extending Z. 2003
Nuno Amalio, Fiona Polack. Comparison of formalisation approaches of UML class constructs in Z and object-Z. 2003
(invited talk)
Bertrand Meyer. Towards practical proofs of class correctness. 2003
Robert M. Hierons, Mark Harman, Harbhajan Singh. Automatically generating information from a Z specification to support the classification tree method. 2003
Christophe Darlot, Jacques Julliand, Olga Kouchnarenko. Refinement preserves PLTL properties. 2003
Marc Frappier, Regine Laleau. Proving ordering properties for information systems. 2003
Mark Utting, Ian Toyn, Jing Sun, Andrew Martin, Jin Song Dong, Nicholas Daley, David Currie. ZML: XML support for standard Z. 2003
Jean-Raymond Abrial, Dominique Cansell, Dominique Mery. Formal derivation of spanning tree algorithms. 2003
Carla Ferreira, Michael J. Butler. Using B refinement to analyse compensating business processes. 2003
Christine Poerschke, David E. Lightfoot, John L. Nealon. A Formal specification in B of a medical decision support system. 2003
Lilian Burdy, Antoine Requet. Extending B with control flow breaks. 2003
Nazareno Aguirre, Juan C. Bicarregui, Theo Dimitrakos, Thomas S. E. Maibaum. Towards dynamic population management of abstract machines in the B method. 2003