9. ZUM 1995: Limerick, Ireland

Jonathan P. Bowen, Michael G. Hinchey (Eds.): ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Usres, Limerick, Ireland, September 7-9, 1995, Proceedings. Lecture Notes in Computer Science 967 Springer 1995, ISBN 3-540-60271-2

Methods

David Lorge Parnas: Language-Free Mathematical Methods for Software Design. 3-4
Paolo Ciaccia, Paolo Ciancarini, Wilma Penzo: A Formal Approach to Software Design: The Clepsydra Methodology. 5-24
David Edmond: Refining Database Systems. 25-44

Michael Luck, Mark d'Inverno: Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems. 47-62
Patrícia D. L. Machado, Silvio Romero de Lemos Meira: On the Use of Formal Specifications in the Design and Simulation of Artificial Neural Networks. 63-82
Mark d'Inverno, Mark Priestley: Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems. 83-102

John M. Rushby: Mechanizing Formal Methods: Opportunities and Challenges. 105-113
Arthur P. Hughes, Alexis A. Donnelly: An Algebraic Proof in VDM. 114-133

Susan Stepney: Testing as Abstraction. 137-151
Hans-Martin Hörcher: Improving Software Tests Using Z Specifications. 152-166
Erich Mikk: Compilation of Z Specifications into C for Automatic Test Result Evaluation. 167-180

Samuel H. Valentine: Equal Rights for Schemas in Z. 183-202
Anthony MacDonald, David A. Carrington: Structuring Z Specifications: Some Choices. 203-223
Daniel M. Germán, Donald D. Cowan: Experiments with the Z Interchange Format and SGML. 224-233

Barbara Liskov, Jeannette M. Wing: Specifications and Their Use in Defining Subtypes. 245-263
Ben Strulo: How Firing Conditions Help Inheritance. 264-275
Graeme Smith: Extending W for Object-Z. 276-295

Peter Bancroft, Ian J. Hayes: A Formal Semantics for a Language with Type Extension. 299-314
Jonathan Jacky, Jonathan Unger: From Z to Code: A Graphical User Interface for a Radiostation Therapy Machine. 315-333
Pascal Bernard, Guy Laffitte: The French Population Census for 1990. 334-352

Ina Kraan, Peter Baumann: Implementing Z in Isabelle. 355-373
Howard S. Goodman: The Z-into-Haskell Tool-Kit: An Illustrative Case Study. 374-388
Margaret M. West: Types and Sets in Gödel and Z. 389-407
Colman Reilly: Exploring Specifications with Mathematica. 408-420

Tony Bryant, Andy Evans, Lesley Semmens, Rajko Milovanovic, Sinclair Guillaume Stockman, Mark Norris, Clive Selley: Using Z to Rigorously Review a Specification of a Network Management System. 423-433
Robert B. France, Maria M. Larrondo-Petrie: A Two-Dimensional View of Integrated Formal and Informal Specification Techniques. 434-448
Howard Bowman, John Derrick, Maarten Steen: Viewpoints and Objects. 449-468

David Lorge Parnas: Teaching Programming as Engineering. 471-481
Paolo Ciaccia, Paolo Ciancarini: A Course on Formal Methods in Software Engineering: Matching Requirements with Design. 482-496
Jeannette M. Wing: Hints for Writing Specifications. 497
Neville Dean: Mental Models of Z: I - Sets and Logics. 498-507
David Gries: Equational Logic: A Great Pedagogical Tool for Teaching a Skill in Logic. 508-509
Lubos Mikusiak, Vladimir Vojtek, Jozef Hasaralejko, Jana Hanzelová: Z Browser - A Tool for Visualization of Z Specifications. 510-523

Jonathan P. Bowen: Select Z Bibliography. 527-560
Jonathan P. Bowen: Comp.specification.z and Z FORUM Frequently Asked Questions. 561-569