Issue No. 02 - February (1988 vol. 14)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.4644
<p>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.</p>
set theory; formal specification; small bookshop information system; scheme calculus; programming theory; software engineering
D. Gray, "The Formal Specification of a Small Bookshop Information System," in IEEE Transactions on Software Engineering, vol. 14, no. , pp. 263-272, 1988.