Z Users Conference
2005
- Using B as a High Level Programming Language in an Industrial Project: Roissy VALby: Frédéric Badeau, Arnaud Amelot
- Refinement and Reachability in EventBby: Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
- Model Checking Z Specifications Using SALby: Graeme Smith, Luke Wildman
- Component Reuse in B Using ACL2by: Yann Zimmermann, Diana Toma
- Requirements as Conjectures: Intuitive DVD Menu Navigationby: Jemima Rossmorris, Susan Stepney
- Checking JML Specifications with B Machinesby: Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert
- GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Propertiesby: Didier Bert, Marie-Laure Potet, Nicolas Stouls
- Development via Refinement in Probabilistic B - Foundation and Case Studyby: Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan
- A Prospective-Value Semantics for the GSLby: Frank Zeyda, Bill Stoddart, Steve Dunne
- Process Refinement in Bby: Steve Dunne, Stacey Conroy
- Non-atomic Refinement in Z and CSPby: John Derrick, Heike Wehrheim
- Slicing Object-Z Specifications for Verificationby: Ingo Brückner, Heike Wehrheim
- A Rigorous Foundation for Pattern-Based Design Modelsby: Soon-Kyeong Kim, David A. Carrington
- Including Design Guidelines in the Formal Specification of Interfaces in Zby: Judy Bowen, Steve Reeves
- An Extension of Event B for Developing Grid Systemsby: Pontus Boström, Marina A. Waldén
- An Object-Oriented Structuring for Z Based on Viewsby: Nuno Amálio, Fiona Polack, Susan Stepney
- Formal Program Development with Approximationsby: Eerke A. Boiten, John Derrick
- Retrenchment and the B-Toolkitby: Richard Banach, Simon Fraser
- Practical Data Refinement for the Z Schema Calculusby: Lindsay Groves
- Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-Zby: Benjamin W. Long
- A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systemsby: Christian Attiogbé
- Some Guidelines for Formal Development of Web-Based Applications in B-Methodby: Abdolbaghi Rezazadeh, Michael Butler
- Proving Properties of Stateflow Models Using ISO Standard Z and CADiZby: Ian Toyn, Andy Galloway
- Visualising Larger State Spaces in Pro Bby: Michael Leuschel, Edd Turner
- CZT: A Framework for Z Toolsby: Petra Malik, Mark Utting
- Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification - Extended Abstractby: Cliff B. Jones
- The Challenge of Probabilistic Event B - Extended Abstractby: Carroll Morgan, Thai Son Hoang, Jean-Raymond Abrial
- Refinement Preserves PLTL Propertiesby: Christophe Darlot, Jacques Julliand, Olga Kouchnarenko
- Proving Event Ordering Properties for Information Systemsby: Marc Frappier, Regine Laleau
- Using Coupled Simulations in Non-atomic Refinementby: John Derrick, Heike Wehrheim
- B#: Toward a Synthesis between Z and Bby: Jean-Raymond Abrial
- Using B Refinement to Analyse Compensating Business Processesby: Carla Ferreira, Michael J. Butler
- Object Orientation without Extending Zby: Mark Utting, Shaochun Wang
- Timed CSP and Object-Zby: John Derrick
- Formal Derivation of Spanning Trees Algorithmsby: Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
- An Analysis of Forward Simulation Data Refinementby: Moshe Deutsch, Martin C. Henson
- When Concurrent Control Meets Functional Requirements, or Z + Petri-Netsby: Frédéric Peschanski, David Julien
- Proving Temporal Properties of Z Specifications Using Abstractionby: Graeme Smith, Kirsten Winter
- Extending B with Control Flow Breaksby: Lilian Burdy, Antoine Requet
- Parallel Hardware Design in Bby: Stefan Hallerstede
- Operation Refinement and Monotonicity in the Schema Calculusby: Moshe Deutsch, Martin C. Henson, Steve Reeves
- Introducing Backward Refinement into Bby: Steve Dunne
- Automatically Generating Information from a Z Specification to Support the Classification Tree Methodby: Robert M. Hierons, Mark Harman, Harbhajan Singh
- A Formal Specification in B of a Medical Decision Support Systemby: Christine Poerschke, David E. Lightfoot, John L. Nealon
- Probabilistic Invariants for Probabilistic Machinesby: Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan
- Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Zby: Nuno Amálio, Fiona Polack
- Towards Practical Proofs of Class Correctnessby: Bertrand Meyer
- How to Diagnose a Modern Car with a Formal B Model?by: Guilhem Pouzancre
- Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Zby: Susan Stepney, Fiona Polack, Ian Toyn
- Composing Specifications Using Communicationby: Helen Treharne, Steve Schneider, Marchia Bramble
- ZML: XML Support for Standard Zby: Mark Utting, Ian Toyn, Jing Sun, Andrew Martin, Jin Song Dong, Nicholas Daley, David W. Currie
- Reuse of Specification Patterns with the B Methodby: Sandrine Blazy, Frédéric Gervais, Regine Laleau
- Expression Transformers in B-GSLby: Bill Stoddart, Frank Zeyda
- Compositional Verification for Object-Zby: Kirsten Winter, Graeme Smith
- Alloy: A Logical Modelling Languageby: Daniel Jackson
- Probabilistic Termination in Bby: Annabelle McIver, Carroll Morgan, Thai Son Hoang
- An Outline Pattern Language for Z: Five Illustrations and Two Tablesby: Susan Stepney, Fiona Polack, Ian Toyn
- Towards Dynamic Population Management of Abstract Machines in the B Methodby: Nazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos, T. S. E. Maibaum
- Software Construction by Stepwise Feature Introductionby: Ralph-Johan Back
- Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Studyby: Antonis Papatsaras, Bill Stoddart
- A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraintsby: Soon-Kyeong Kim, David A. Carrington
- Type Synthesis in B and the Translation of B to PVSby: Jean-Paul Bodeveix, Mamoun Filali
- Generalised Substitution Language and Differentialsby: James Blow, Andy Galloway
- Incremental Proof of the Producer/Consumer Property for the PCI Protocolby: Dominique Cansell, Ganesh Gopalakrishnan, Michael D. Jones, Dominique Méry, Airy Weinzoepflen
- "Higher-Order" Mathematics in Bby: Jean-Raymond Abrial, Dominique Cansell, Guy Laffitte
- An Approach to Combining B and Alloyby: Leonid Mikhailov, Michael J. Butler
- Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Developmentby: Regine Laleau, Fiona Polack
- Encoding Object-Z in Isabelle/HOLby: Graeme Smith, Florian Kammüller, Thomas Santen
- Handling Inconsistencies in Z Using Quasi-Classical Logicby: Ralph Miarka, John Derrick, Eerke A. Boiten
- ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industriesby: Pierre Chartier
- Checking Z Data Refinements Using an Animation Toolby: Neil J. Robinson
- Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testingby: Sergiy A. Vilkomir, Jonathan P. Bowen
- Loose Specification and Refinement in Zby: Eerke A. Boiten
- The Semantics of Circusby: Jim Woodcock, Ana Cavalcanti
- Controlling Control Systems: An Application of Evolving Retrenchmentby: Michael Poppleton, Richard Banach
- On Using Conditional Definitions in Formal Theoriesby: Jean-Raymond Abrial, Louis Mussat
- A Theory of Generalised Substitutionsby: Steve Dunne
- Extraction of Abstraction Invariants for Data Refinementby: Marielle Doche, Andrew M. Gravell
- A Formal Analysis of the CORBA Security Serviceby: David A. Basin, Frank Rittinger, Luca Viganò
- Verification of Dynamic Constraints for B Event Systems under Fairness Assumptionsby: Françoise Bellegarde, Samir Chouali, Jacques Julliand
- Synchronized Parallel Composition of Event Systems in Bby: Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko
- Characters + Mark-up = Z Lexisby: Ian Toyn, Susan Stepney
- A Comparison of the BTT and TTF Test-Generation Methodsby: Bruno Legeard, Fabien Peureux, Mark Utting
- Communicating B Machinesby: Steve Schneider, Helen Treharne
- Theories, Implementations, and Transformationsby: Eric C. R. Hehner, Ioannis T. Kassios
- Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Zby: Chris Matthews, Paul A. Swatman
- Type-Constrained Generics for Zby: Samuel H. Valentine, Ian Toyn, Susan Stepney, Steve King
- Zzzzzzzzzzzzzzzzzzzzzzzzzzby: David Everett
- Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Contextby: Theodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum
- Segregation with Communicationby: David Cooper, Susan Stepney
- A Formal Mapping between UML Models and Object-Z Specificationsby: Soon-Kyeong Kim, David A. Carrington
- A Computation Model for Z Based on Concurrent Constraint Resolutionby: Wolfgang Grieskamp
- Playing with Abstraction and Refinement for Managing Features Interactionsby: Dominique Cansell, Dominique Méry
- Automatic Construction of Validated B Components from Structured Developmentsby: Pierre Bontron, Marie-Laure Potet
- Deriving Software Specifications from Event Based Modelsby: Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge
- A Generic Process to Refine a B Specification into a Relational Database Implementationby: Regine Laleau, Amel Mammar
- Typechecking Zby: Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King
- Guards, Preconditions, and Refinement in Zby: Ralph Miarka, Eerke A. Boiten, John Derrick
- Formal Methods for Industrial Productsby: Susan Stepney, David Cooper
- Reconciling Axiomatic and Model-Based Specifications Using the B Methodby: Ken Robinson
- Analysis of Compiled Code: A Prototype Formal Modelby: R. D. Arthan
- Are Smart Cards the Ideal Domain for Applying Formal Methods?by: Jean Louis Lanet
- An Execution Architecture for GSLby: Bill Stoddart
- Closure Induction in a Z-Like Languageby: David A. Duffy, Jürgen Giesl
- Reasoning Inductively about Z Specifications via Unificationby: David A. Duffy, Ian Toyn
- On Mutually Recursive Free Types in Zby: Ian Toyn, Samuel H. Valentine, David A. Duffy
- How to Drive a B Machineby: Helen Treharne, Steve Schneider
- Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariantsby: Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko
- Recursive Schema Definitions in Object-Zby: Graeme Smith
- Retrenchment, Refinement, and Simulationby: Richard Banach, Michael Poppleton
- Program Development and Specification Refinement in the Schema Calculusby: Martin C. Henson, Steve Reeves
- Performing Algorithmic Refinement before Data Refinement in Bby: Michael J. Butler, Mairead Meagher
- Meeting the Challenge of Object-Oriented Programmingby: J. Michael Spivey
- A Formal Architecture for the 3APL Agent Programming Languageby: Mark d'Inverno, Koen V. Hindriks, Michael Luck
- Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Spaceby: Richard F. Paige
- Testing Refinements by Refining Testsby: John Derrick, Eerke A. Boiten
- Designing a Requirements Specification Language for Reactive Systemsby: Nancy G. Leveson
- Analyzing a Real-Time Program with Zby: Jonathan Jacky
- Select Z Bibliographyby: Jonathan P. Bowen
- Innovations in the Notation of Standard Zby: Ian Toyn
- Formal Derivation of Finite State Machines for Class Testingby: Leesa Murray, David A. Carrington, Ian MacColl, Jason McDonald, Paul A. Strooper
- Object-Oriented Specification of Hybrid Systems Using UMLh and ZimOOby: Viktor Friesen, André Nordwig, Matthias Weber
- Combining Specification Techniques for Processes, Data and Timeby: Ernst-Rüdiger Olderog
- Network Topology and a Case Study in TCOZby: Brendan P. Mahony, Jin Song Dong
- Recursive Definitions in Zby: R. D. Arthan
- Compositional Specification of Controllers for Batch Process Operationsby: Kevin Lano, Pauline Kan, Ana Sánchez
- The Specification and Refinement of an Environmental Modelby: Bill Stoddart
- HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Zby: Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff
- Translating the OMT Dynamic Model into Object-Zby: Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud
- How to Combine Z with Process Algebraby: Clemens Fischer
- Comp.specification.z and Z FORUM Frequently Asked Questionsby: Jonathan P. Bowen
- Z on the Web Using Javaby: Jonathan P. Bowen, David Chippington
- Using B to Specify, Verify and Design Hardware Circuitsby: Ib Holm Sørensen
- On the Semantic Relation of Z and HOLby: Thomas Santen
- Visualizing Z Notation in HTML Documentsby: Paolo Ciancarini, Cecilia Mascolo, Fabio Vitali
- Inconsistency and Undefinedness in Z - A Practical Guideby: Samuel H. Valentine
- A Logic for the Schema Calculusby: Martin C. Henson, Steve Reeves
- More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinementby: Susan Stepney, David Cooper, Jim Woodcock
- Industrial Requirements for the Efficient Development of Reliable Embedded Systemsby: Klaus Grimm
- Preliminary Evaluation of a Formal Approach to User Interface Specificationby: John C. Knight, Susan S. Brilliant
- Taking Z Seriouslyby: Anthony Hall
- Specifying Reactive Systems in B AMNby: Kevin Lano
- Select Z Bibliographyby: Jonathan P. Bowen
- Automating Test Case Generation from Z Specifications with Isabelleby: Steffen Helke, Thomas Neustupny, Thomas Santen
- An Introduction to the Event Calculusby: Bill Stoddart
- An Approach to the Design of Distributed Systems with B AMNby: Michael J. Butler
- Using the Rippling Heuristic in Set Membership Proofsby: Ina Kraan
- A Formal OO Method Inspired by Fusion and Object-Zby: Klaus Achatz, Wolfram Schulte
- The Z/EVES Systemby: Mark Saaltink
- Integrating VDM++ and Real-Time System Designby: Kevin Lano, S. J. Goldsack, Juan Bicarregui, Stuart Kent
- Comp.specification.z and Z FORUM Frequently Asked Questionsby: Jonathan P. Bowen
- Formal Methods: A Panacea or Academic Poppycock?by: Constance L. Heitmeyer
- Weak Refinement in Zby: John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen
- An Improved Recipe for Specifying Reactive Systems in Zby: Andy Evans
- Experience with Z Developing a Control Program for a Radiation Therapy Machineby: Jonathan Jacky, Jonathan Unger, Michael Patrick, David Reid, Ruedi Risler
- A Practical Method for Rigorously Controllable Hardware Designby: Egon Börger, S. Mazzanti
- Analyzing and Refining an Architectural Styleby: Paolo Ciancarini, Cecilia Mascolo
- W Reconstructedby: Jon G. Hall, Andrew Martin
- Experiences with PiZA, an Animator for Zby: M. A. Hewitt, Colin O'Halloran, Chris T. Sennett
- A Z Specification of the Soft-Link Hypertext Modelby: Mark d'Inverno, Michael J. Hu
- Mental Models of Z: I - Sets and Logicsby: Neville Dean
- Language-Free Mathematical Methods for Software Designby: David Lorge Parnas
- Z Browser - A Tool for Visualization of Z Specificationsby: Lubos Mikusiak, Vladimir Vojtek, Jozef Hasaralejko, Jana Hanzelová
- Compilation of Z Specifications into C for Automatic Test Result Evaluationby: Erich Mikk
- Mechanizing Formal Methods: Opportunities and Challengesby: John M. Rushby
- From Z to Code: A Graphical User Interface for a Radiostation Therapy Machineby: Jonathan Jacky, Jonathan Unger
- Specifications and Their Use in Defining Subtypesby: Barbara Liskov, Jeannette M. Wing
- Implementing Z in Isabelleby: Ina Kraan, Peter Baumann
- Improving Software Tests Using Z Specificationsby: Hans-Martin Hörcher
- The Z-into-Haskell Tool-Kit: An Illustrative Case Studyby: Howard S. Goodman
- Select Z Bibliographyby: Jonathan P. Bowen
- Types and Sets in Gödel and Zby: Margaret M. West
- Hints for Writing Specificationsby: Jeannette M. Wing
- An Algebraic Proof in VDMby: Arthur P. Hughes, Alexis A. Donnelly
- Viewpoints and Objectsby: Howard Bowman, John Derrick, Maarten Steen
- On the Use of Formal Specifications in the Design and Simulation of Artificial Neural Networksby: Patrícia D. L. Machado, Silvio Romero de Lemos Meira
- Using Z to Rigorously Review a Specification of a Network Management Systemby: Tony Bryant, Andy Evans, Lesley Semmens, Rajko Milovanovic, Sinclair Guillaume Stockman, Mark Norris, Clive Selley
- A Course on Formal Methods in Software Engineering: Matching Requirements with Designby: Paolo Ciaccia, Paolo Ciancarini
- How Firing Conditions Help Inheritanceby: Ben Strulo
- A Two-Dimensional View of Integrated Formal and Informal Specification Techniquesby: Robert B. France, Maria M. Larrondo-Petrie
- Teaching Programming as Engineeringby: David Lorge Parnas
- Structuring Z Specifications: Some Choicesby: Anthony MacDonald, David A. Carrington
- Extending W for Object-Zby: Graeme Smith
- Comp.specification.z and Z FORUM Frequently Asked Questionsby: Jonathan P. Bowen
- Exploring Specifications with Mathematicaby: Colman Reilly
- A Formal Semantics for a Language with Type Extensionby: Peter Bancroft, Ian J. Hayes
- Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systemsby: Michael Luck, Mark d'Inverno
- Refining Database Systemsby: David Edmond
- A Formal Approach to Software Design: The Clepsydra Methodologyby: Paolo Ciaccia, Paolo Ciancarini, Wilma Penzo
- Experiments with the Z Interchange Format and SGMLby: Daniel M. Germán, Donald D. Cowan
- Equal Rights for Schemas in Zby: Samuel H. Valentine
- The Future of Formal Methods in Industryby: Anthony Hall, David Lorge Parnas, Nico Plat, John M. Rushby, Chris T. Sennett
- The French Population Census for 1990by: Pascal Bernard, Guy Laffitte
- Testing as Abstractionby: Susan Stepney
- Equational Logic: A Great Pedagogical Tool for Teaching a Skill in Logicby: David Gries
- Structuring Specification in Z to Build a Unifying Framework for Hypertext Systemsby: Mark d'Inverno, Mark Priestley
- Z and Natural Semanticsby: Peter Baumann
- Towards Correct Executable Semantics for Zby: Peter T. Breuer, Jonathan P. Bowen
- Specifying and Interpreting Class Hierarchies in Zby: Anthony Hall
- A Tale of Two Paradigms: Formal Methods and Software Testingby: David A. Carrington, Phil Stocks
- Animation of Object-Z Specifications with a Set-Oriented Prototyping Languageby: Wilhelm Hasselbring
- Select Z Bibliographyby: Jonathan P. Bowen
- Fermenting and Distillingby: Robert P. Worden
- An Object-Oriented Data Model Supporting Multi-Methods, Multiple Inheritance, and Static Type Checking: A Specification in Zby: Daniel K. C. Chan, Philip W. Trinder
- Producing Z Specifications from Object-Oriented Analysisby: Jonathan Hammond
- Integrating Formal Methods into a Professional Master of Software Engineering Programby: David Garlan
- TLZby: Leslie Lamport
- Z and Abstract Machine Notation: A Comparisonby: Antoni Diller, Rosemary Docherty
- Specifying Real-Time Systems with Z and the Duration Calculusby: Marcin Engel
- An Object-Oriented Development Framework for Zby: Graeme Smith
- Comp.specification.z and Z FORUM Frequently Asked Questionsby: Jonathan P. Bowen
- Z and HOLby: Jonathan P. Bowen, Michael J. C. Gordon
- Visualising Concurrent Z Specificationsby: Andy Evans
- Z for Managed Objectsby: Clazien D. Wezeman, Anthony J. Judge
- Towards a Z Method: Axiomatic Specification in Zby: Jon G. Hall, John A. McDermid
- The Formal Specification in Z of Defence Standard 00-56by: Jim Woodcock, Paul H. B. Gardiner, J. R. Hulance
- Software Quality Assurance Using the SAZ Methodby: Fiona Polack, Keith Mander
- Formal Specification of Telephone Featuresby: Peter Mataga, Pamela Zave
- Why an Object Oriented Z?
- Example Specification in Z
- Hall's Style
- Schuman & Pitt Approach
- Z and HOOD
- Practical Experiences of Z and SSADMby: Christine Draper
- Preliminary Experience Using Z to Specify a Safety-Critical Systemby: John C. Knight, Darrell M. Kienzle
- Using Z in Communications Engineeringby: Elspeth Cusack
- Z++by: Kevin Lano
- Animating Z Specifications in SQL*Forms 3.0by: Matthew Love
- ZESTby: Elspeth Cusack, G.-H. Bagherzadeh Rafsanjani
- Deriving Tests for Objects Specified in Zby: Elspeth Cusack, Clazien D. Wezeman
- Formal Specification and Development of Control System Input/Outputby: Jonathan Jacky
- Introducing Hyper-Z - A New Approach to Object Orientation in Zby: Ian Maung, John Howse
- Specification in Frescoby: Alan Wills
- Using Formal Specification in the Acquisition of Information Systems: Educating Information Systems Professionalsby: Paul A. Swatman
- Object-Zby: Gordon A. Rose
- Select Z Bibliographyby: Jonathan P. Bowen
- An International Survey of Industrial Applications of Formal Methodsby: Dan Craigen, Susan L. Gerhart, Ted Ralston
- Reqirements for Defence Standard 00-55by: Andrew Bradley
- Towards Libraries for Zby: Ian J. Hayes, Luke Wildman
- Plain Guide to the Z Base Standardby: J. E. Nicholls
- Support for Using Zby: Rosalind Barden, Susan Stepney
- Reuse and Adaptation of Z Specificationsby: Kevin Lano, Howard P. Haughton
- MooZ Case Studiesby: Silvio Romero de Lemos Meira, Ana Cavalcanti
- Comp.specification.z and Z FORUM Frequently Asked Questionsby: Jonathan P. Bowen
- OOZEby: Antonio J. Alencar, Joseph A. Goguen
- Using Diagrams to Give a Formal Specification of Timing Constraints in Zby: Andrew Coombes, John A. McDermid
- Putting Numbers into the Mathematical Toolkitby: Samuel H. Valentine
- Z Expression of Refinable Objectsby: Peter J. Whysall
- Cleanroom and Zby: Glyn Normington
- Formal Methods in the Specification of Real-Time, Safety-Critical Control Systemsby: Alastair R. Ruddle
- From Object-Z to C++: A Structural Mappingby: G.-H. Bagherzadeh Rafsanjani, S. J. Colwill
- Enhancing the Structure of Z Specificationsby: David J. Duke
- Select Z Bibliography and Frequently Asked Questionsby: Jonathan P. Bowen
- The Use of Zby: Rosalind Barden, Susan Stepney, David Cooper
- ZOOM Workshop Reportby: David A. Carrington
- zedB: A Proof Tool for Z Built on Bby: Dave Neilson, Divya Prasad
- Domains of Application for Formal Methodsby: J. E. Nicholls
- On Free Type Definitions in Zby: R. D. Arthan
- Techniques for Partial Specification and Specification of Switching Systemsby: Pamela Zave, Michael Jackson
- Structured Analysis - A Draft Method for Writing Z Specificationsby: Fiona Polack, Mark Whiston, Peter Hitchcock
- Extending the Useful Application Domain for Formal Methodsby: Paul A. Swatman, Danielle C. Fowler, C. Y. Michael Gan
- W: A Logic for Zby: J. C. P. Woodclock, S. M. Brien
- Z and Evesby: Mark Saaltink
- A Method for the Specification of Relational Database Applicationsby: Roberto Souto Maior de Barros, David J. Harper
- On Recursive Free Types in Zby: Alf Smith
- Engineering Human-Error Tolerant Softwareby: Michael Harrison
- Z and Hoare Logicsby: Antoni Diller
- Z--, an Executable Subset of Zby: Samuel H. Valentine
- Formal Methods Courses
- Software Products and Training Courses
- Formal Security Policy Modelling
- S/370 Tool Expo - Z Toolset
- The ZIP Projectby: Brian Hepworth, Dan Simpson
- Z Tools Catalogueby: Colin Parker
- Using Yourdon and Z: an Approach to Formal Specificationby: Lesley Semmens, Pat Allen
- Data Flow Diagrams and Zby: Gill Randell
- Z++, An Object-orientated Extension to Zby: Kevin Lano
- CADIZ - Computer Aided Design in Zby: David Jordan, John A. McDermid, Ian Toyn
- Obtaining Structural Metrics of Z Specifications for Systems Developmentby: John Bainbridge, R. W. Whitty, John Wordsworth
- Structure, Algebras and Metricsby: Steve Russ
- Selected Z Bibliographyby: Jonathan P. Bowen
- A Video-based Training Course in Reading Z Specificationsby: Allan Norcliffe, Samuel H. Valentine
- Operation Schema Iterationsby: P. L. Iachini
- What is a Good Formal Specification?by: Andrew M. Gravell
- Interference Revisitedby: Cliff B. Jones
- A Survey of Z Courses in the UKby: J. E. Nicholls
- Promoting Forward Simulationby: P. J. Lupton
- Machine Support for Z: the zebB Toolby: Dave Neilson
- Service Extension at the Specification Levelby: Michael J. Butler
- SAZby: Fiona Polack, Peter Hitchcock, Alan W. Brown
- Modular Object-oriented Z Specificationsby: Silvio Romero de Lemos Meira, Ana Cavalcanti
- A Simpler Semantics for Zby: Paul H. B. Gardiner, P. J. Lupton, Jim Woodcock
- Z FORUM Electronic Mailing Listby: Jonathan P. Bowen
- PRG Archive Serverby: Jonathan P. Bowen
- The MooZ Environmentby: Silvio Romero de Lemos Meira
- The CICS Application Programming Interface Definitionby: John Wordsworth
- A Tool for Defining the Architecture of Z Specificationsby: Andrew Coombes, John A. McDermid
- An Approach to Object-Oriented Specification Using Zby: Peter J. Whysall, John A. McDermid
- Z! in Progress: Maintaining Z Specificationsby: Peter T. Breuer
- Interpretations of Z Schema Operationsby: Ian J. Hayes
- A Case Study in Representing a Model: to Z or not to Z?by: Jonathan D. Moffett, Morris Sloman
- Metrics and Measurement of Specifications Written in Zby: Malcolm Teasdale
![[SWISH++]](/docis/swish-powered.gif){kind=small}
