author : Michael G. Hinchey

Books

• ZUM '95. 1995, with Jonathan P. Bowen
• Applications of Formal Methods. 1995, with Jonathan P. Bowen
• ZUM '97. 1997, with Jonathan P. Bowen, David Till
• ZUM '98. 1998, with Jonathan P. Bowen, Andreas Fett
• Industrial-Strength Formal Methods in Practice. 1999, with Jonathan P. Bowen

Short works

• Applications of Formal Methods FAQ. 1995. (In Applications of Formal Methods )
• It's Greek to Me: Method in the Madness?. 1999. (In Industrial-Strength Formal Methods in Practice )

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