An introduction to Z and formal specifications

  title={An introduction to Z and formal specifications},
  author={J. Michael Spivey},
  journal={Software Engineering Journal},
This article is an introduction to the description of information systems using formal, mathematical specifications written in the Z notation, and to the refinement of these specifications into rigorously-checked designs. The first part introduces the idea of a formal specification using a simple example: that of a “birthday book” in which people’s birthdays can be recorded, and which is able to issue reminders on the appropriate day. The behaviour of this system for correct input is specified… CONTINUE READING


Publications citing this paper.
Showing 1-10 of 97 extracted citations

Test case generation for Java Bytecode programs annotated with BML specifications

2016 5th International Conference on Multimedia Computing and Systems (ICMCS) • 2016
View 4 Excerpts
Highly Influenced

An Empirical Study on Teaching Formal Methods to Millennials

2017 IEEE/ACM 1st International Workshop on Software Engineering Curricula for Millennials (SECM) • 2017
View 2 Excerpts

Formal Specification for Online Food Ordering System Using Z Language

2017 Second International Conference on Recent Trends and Challenges in Computational Models (ICRTCCM) • 2017


Publications referenced by this paper.
Showing 1-7 of 7 references

CAVIAR: A Case Study in Specification

In ‘Specification Case Studies’, • 1987
View 1 Excerpt

Systematic software development using VDM

Prentice Hall International Series in Computer Science • 1986
View 1 Excerpt

Applying Formal Specification to Software Development in Industry

IEEE Transactions on Software Engineering • 1985
View 1 Excerpt

Specification of the UNIX Filing System

IEEE Transactions on Software Engineering • 1984
View 1 Excerpt

Software Development: A Rigorous Approach

(Prentice-Hall International, • 1980
View 1 Excerpt

Similar Papers

Loading similar papers…