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
Link To Document