This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Unreachable States in Model-Oriented Specifications
April 1990 (vol. 16 no. 4)
pp. 472-477

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.

Index Terms:
unreachable states; formal specification; model-oriented specifications; software development; detection of errors; software components; bottom-up implementation strategy; formal specification.
Citation:
R.A. Nicholl, "Unreachable States in Model-Oriented Specifications," IEEE Transactions on Software Engineering, vol. 16, no. 4, pp. 472-477, April 1990, doi:10.1109/32.54300
Usage of this product signifies your acceptance of the Terms of Use.