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 BibTeX

@proceedings{DBLP:conf/zum/1995,
  editor    = {Jonathan P. Bowen and
               Michael G. Hinchey},
  title     = {ZUM '95: The Z Formal Specification Notation, 9th International
               Conference of Z Usres, Limerick, Ireland, September 7-9, 1995,
               Proceedings},
  booktitle = {ZUM},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {967},
  year      = {1995},
  isbn      = {3-540-60271-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Methods

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

Applications 1

Michael Luck, Mark d'Inverno: Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems. 47-62 BibTeX
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 BibTeX
Mark d'Inverno, Mark Priestley: Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems. 83-102 BibTeX

Proof

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

Testing

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

Language

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

Panel Session

Anthony Hall, David Lorge Parnas, Nico Plat, John M. Rushby, Chris T. Sennett: The Future of Formal Methods in Industry. 237-242 BibTeX

Object-Orientation

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

Applications 2

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

Animation

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

Method Integration

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 BibTeX
Robert B. France, Maria M. Larrondo-Petrie: A Two-Dimensional View of Integrated Formal and Informal Specification Techniques. 434-448 BibTeX
Howard Bowman, John Derrick, Maarten Steen: Viewpoints and Objects. 449-468 BibTeX

Education Session

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

Appendices

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