• DocumentCode
    1391527
  • Title

    Customers do not want frozen specifications

  • Author

    Spence, I.T.A. ; Carey, B.N.

  • Author_Institution
    Queens Univ. of Belfast, UK
  • Volume
    6
  • Issue
    4
  • fYear
    1991
  • fDate
    7/1/1991 12:00:00 AM
  • Firstpage
    175
  • Lastpage
    180
  • Abstract
    A technique is described that has been used to introduce flexibility into the specification of an interactive computer system. For the most part, the specification is written in English, but the portion of interest here uses a graphical notation which has a precise meaning, yet can readily be understood by a non-specialist. This portion of the specification can easily be changed in a controlled manner. The technique was carried right through to the design and implementation, which retained the same flexibility. It is described here by means of a simple illustrative example
  • Keywords
    formal specification; interactive systems; specification languages; interactive computer system; system specification;
  • fLanguage
    English
  • Journal_Title
    Software Engineering Journal
  • Publisher
    iet
  • ISSN
    0268-6961
  • Type

    jour

  • Filename
    87375