Issue No.04 - April (1990 vol.16)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.54300
<p>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.</p>
unreachable states; formal specification; model-oriented specifications; software development; detection of errors; software components; bottom-up implementation strategy; formal specification.
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