The Community for Technology Leaders
RSS Icon
Issue No.02 - February (1988 vol.14)
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. 2, pp. 263-272, February 1988, doi:10.1109/32.4644
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool