Specification or how to give reality to abstraction
Technology and Science of Informatics
Programming in MODULA-2 (3rd corrected ed.)
Programming in MODULA-2 (3rd corrected ed.)
Systematic software development using VDM
Systematic software development using VDM
Abstract data types and the development of data structures
Communications of the ACM
Software Development: A Rigorous Approach
Software Development: A Rigorous Approach
| Hi-index | 0.00 |
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.