1. Formal Problem Specification
- Author
-
Helmut A. Partsch
- Subjects
Language Of Temporal Ordering Specification ,Computer science ,Programming language ,Formal specification ,Algebraic specification ,System requirements specification ,Specification language ,Refinement ,computer.software_genre ,Formal methods ,computer ,Formal verification - Abstract
In the previous chapter we surveyed some approaches to requirements engineering in the framework of traditional software engineering. All these approaches aim at providing a formalism for precisely describing a problem to be solved. None of them, however, except for Gist, allows the formulation of a formal problem specification in the (intuitive) sense of Sect. 1.5.
- Published
- 1990
- Full Text
- View/download PDF