The Community for Technology Leaders
Green Image
Issue No. 02 - February (1988 vol. 14)
ISSN: 0098-5589
pp: 263-272
<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", IEEE Transactions on Software Engineering, vol. 14, no. , pp. 263-272, February 1988, doi:10.1109/32.4644
95 ms
(Ver 3.1 (10032016))