• DocumentCode
    908796
  • Title

    The formal specification of a small bookshop information system

  • Author

    Gray, David

  • Author_Institution
    Dept. of Comput. Sci., Queen´´s Univ., Belfast, UK
  • Volume
    14
  • Issue
    2
  • fYear
    1988
  • fDate
    2/1/1988 12:00:00 AM
  • Firstpage
    263
  • Lastpage
    272
  • 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;
  • fLanguage
    English
  • Journal_Title
    Software Engineering, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0098-5589
  • Type

    jour

  • DOI
    10.1109/32.4644
  • Filename
    4644
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=908796