The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.02 - February (1988 vol.14)
pp: 263-272
ABSTRACT
<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>
INDEX TERMS
set theory; formal specification; small bookshop information system; scheme calculus; programming theory; software engineering
CITATION
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
16 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool