The Formal Specification of a Small Bookshop Information System

Authors:
D. Gray
Affiliations:
-
Venue:
IEEE Transactions on Software Engineering
Year:
1988

Citing 1
Cited 1

Systematic software development using VDM

Systematic software development using VDM

Towards formally templated relational database representations in z

ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z

Quantified Score

Hi-index	0.00

Visualization

Abstract

A specification, and its development, for a small bookshop information system are discussed. the specification is presented using mathematics and the scheme calculus of C. Morgan and B. Sufrin. An insight is given into how the specification was developed and why a formal specification is appropriate.