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. Springer 1995 Lecture Notes in Computer Science 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
Applications 1
- 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
Proof
- John M. Rushby: Mechanizing Formal Methods: Opportunities and Challenges. 105-113
Testing
- 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
Language
- Samuel H. Valentine: Equal Rights for Schemas in Z. 183-202
Panel Session
- Anthony Hall, David Lorge Parnas, Nico Plat, John M. Rushby, Chris T. Sennett: The Future of Formal Methods in Industry. 237-242
Object-Orientation
- Ben Strulo: How Firing Conditions Help Inheritance. 264-275
- Graeme Smith: Extending W for Object-Z. 276-295
Applications 2
- Jonathan Jacky, Jonathan Unger: From Z to Code: A Graphical User Interface for a Radiostation Therapy Machine. 315-333
Animation
- 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
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
- Robert B. France, Maria M. Larrondo-Petrie: A Two-Dimensional View of Integrated Formal and Informal Specification Techniques. 434-448
Education Session
- 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
Appendices
- Jonathan P. Bowen: Select Z Bibliography. 527-560
- Jonathan P. Bowen: Comp.specification.z and Z FORUM Frequently Asked Questions. 561-569
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team