default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th ZUM 1995: Limerick, Ireland
- Jonathan P. Bowen
, Michael G. Hinchey:
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
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 - Arthur P. Hughes, Alexis A. Donnelly:
An Algebraic Proof in VDM. 114-133
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 - 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
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
- 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
Applications 2
- 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
Animation
- 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
Method Integration
- Tony Bryant, Andy Evans, Lesley Semmens, Rajko Milovanovic, Sinclair Guillaume Stockman, Mark T. 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
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-26 20:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
