Books

Short works

Books : reviews

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