DocumentCode
1438088
Title
Unreachable states in model-oriented specifications
Author
Nicholl, R.A.
Author_Institution
Dept. of Comput. Sci., Univ. of Western Ontario, London, Ont.
Volume
16
Issue
4
fYear
1990
fDate
4/1/1990 12:00:00 AM
Firstpage
472
Lastpage
477
Abstract
Formal specification methods are being used to improve the quality of written specifications and to eliminate errors at an early stage of software development. The detection of errors in a specification generally requires that the specification be compared against some loosely defined real-world concepts. A criterion for evaluating the quality of a model-oriented specifications is introduced and the problems associated with specifications which do not meet this criterion are explained. These problems are particularly troublesome when reusable software components are being specified or when a bottom-up implementation strategy is being used
Keywords
formal specification; bottom-up implementation strategy; detection of errors; formal specification; model-oriented specifications; software components; software development; unreachable states; Computer errors; Costs; Councils; Equations; Formal specifications; Mathematical model;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/32.54300
Filename
54300
Link To Document