Title :
The formal specification of a small bookshop information system
Author_Institution :
Dept. of Comput. Sci., Queen´´s Univ., Belfast, UK
fDate :
2/1/1988 12:00:00 AM
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 (see ibid., vol.SE-10, no.2, p.128-142, 1984). An insight is given into how the specification was developed and why a formal specification is appropriate
Keywords :
programming theory; software engineering; formal specification; scheme calculus; set theory; small bookshop information system; Books; Calculus; Computational geometry; Computer science; Formal specifications; Information systems; Mathematics; Set theory; Terminology;
Journal_Title :
Software Engineering, IEEE Transactions on
