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 :
بازگشت