9. ZUM 1995: Limerick, Ireland

Jonathan P. Bowen, Michael G. Hinchey (Eds.): ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, 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

Last update Fri May 25 08:51:13 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page