Abstract is missing.
- Language-Free Mathematical Methods for Software DesignDavid Lorge Parnas. 3-4
- A Formal Approach to Software Design: The Clepsydra MethodologyPaolo Ciaccia, Paolo Ciancarini, Wilma Penzo. 5-24
- Refining Database SystemsDavid Edmond. 25-44
- Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent SystemsMichael Luck, Mark d Inverno. 47-62
- On the Use of Formal Specifications in the Design and Simulation of Artificial Neural NetworksPatrícia D. L. Machado, Silvio Romero de Lemos Meira. 63-82
- Structuring Specification in Z to Build a Unifying Framework for Hypertext SystemsMark d Inverno, Mark Priestley. 83-102
- Mechanizing Formal Methods: Opportunities and ChallengesJohn M. Rushby. 105-113
- An Algebraic Proof in VDMArthur P. Hughes, Alexis A. Donnelly. 114-133
- Testing as AbstractionSusan Stepney. 137-151
- Improving Software Tests Using Z SpecificationsHans-Martin Hörcher. 152-166
- Compilation of Z Specifications into C for Automatic Test Result EvaluationErich Mikk. 167-180
- Equal Rights for Schemas in ZSamuel H. Valentine. 183-202
- Structuring Z Specifications: Some ChoicesAnthony MacDonald, David A. Carrington. 203-223
- Experiments with the Z Interchange Format and SGMLDaniel M. Germán, Donald D. Cowan. 224-233
- The Future of Formal Methods in IndustryAnthony Hall, David Lorge Parnas, Nico Plat, John M. Rushby, Chris T. Sennett. 237-242
- Specifications and Their Use in Defining SubtypesBarbara Liskov, Jeannette M. Wing. 245-263
- How Firing Conditions Help InheritanceBen Strulo. 264-275
- Extending ::::W:::: for Object-ZGraeme Smith. 276-295
- A Formal Semantics for a Language with Type ExtensionPeter Bancroft, Ian J. Hayes. 299-314
- From Z to Code: A Graphical User Interface for a Radiostation Therapy MachineJonathan Jacky, Jonathan Unger. 315-333
- The French Population Census for 1990Pascal Bernard, Guy Laffitte. 334-352
- Implementing Z in IsabelleIna Kraan, Peter Baumann. 355-373
- The Z-into-Haskell Tool-Kit: An Illustrative Case StudyHoward S. Goodman. 374-388
- Types and Sets in Gödel and ZMargaret M. West. 389-407
- Exploring Specifications with MathematicaColman Reilly. 408-420
- Using Z to Rigorously Review a Specification of a Network Management SystemTony Bryant, Andy Evans, Lesley Semmens, Rajko Milovanovic, Sinclair Guillaume Stockman, Mark Norris, Clive Selley. 423-433
- A Two-Dimensional View of Integrated Formal and Informal Specification TechniquesRobert B. France, María M. Larrondo-Petrie. 434-448
- Viewpoints and ObjectsHoward Bowman, John Derrick, Maarten Steen. 449-468
- Teaching Programming as EngineeringDavid Lorge Parnas. 471-481
- A Course on Formal Methods in Software Engineering: Matching Requirements with DesignPaolo Ciaccia, Paolo Ciancarini. 482-496
- Hints for Writing SpecificationsJeannette M. Wing. 497
- Mental Models of Z: I - Sets and LogicsNeville Dean. 498-507
- Equational Logic: A Great Pedagogical Tool for Teaching a Skill in LogicDavid Gries. 508-509
- Z Browser - A Tool for Visualization of Z SpecificationsLubos Mikusiak, Vladimir Vojtek, Jozef Hasaralejko, Jana Hanzelová. 510-523
- Select Z BibliographyJonathan P. Bowen. 527-560
- Comp.specification.z and Z FORUM Frequently Asked QuestionsJonathan P. Bowen. 561-569