author : Jonathan P. Bowen

Books

• 7th Z User Workshop. 1993, with John E. Nicholls
• 8th Z User Workshop. 1994, with J. Anthony Hall
• ZUM '95. 1995, with Michael G. Hinchey
• Applications of Formal Methods. 1995, with Michael G. Hinchey
• Formal Specification and Documentation Using Z. 1996
• ZUM '97. 1997, with Michael G. Hinchey, David Till
• ZUM '98. 1998, with Andreas Fett, Michael G. Hinchey
• Industrial-Strength Formal Methods in Practice. 1999, with Michael G. Hinchey
• ZB 2000. 2000, with Steve Dunne, Andy Galloway, Steve King
• ZB 2002. 2002, with Didier Bert, Martin C. Henson, Ken Robinson
• ZB 2003. 2003, with Didier Bert, Steve King, Marina Walden

Short works

• Towards Correct Executable Semantics for Z. 1994. (In 8th Z User Workshop )
• Z and HOL. 1994. (In 8th Z User Workshop )
• Applications of Formal Methods FAQ. 1995. (In Applications of Formal Methods )
• Z on the Web Using Java. 1998. (In ZUM '98 )
• It's Greek to Me: Method in the Madness?. 1999. (In Industrial-Strength Formal Methods in Practice )
• Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing. 2002. (In ZB 2002 )

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