Referenced Items are not available for this document.
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
Published in:
Software Engineering, IEEE Transactions on
(Volume:14
,
Issue:
2
)
Date of Publication: Feb 1988
- Page(s):
- 263 - 272
- ISSN :
- 0098-5589
- INSPEC Accession Number:
- 3122547
- Digital Object Identifier :
- 10.1109/32.4644
- Product Type:
- Journals & Magazines
- Date of Current Version :
- 06 August 2002
- Issue Date :
- Feb 1988
- Sponsored by :
- IEEE Computer Society
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
