"specification"

The Role of Formalism in System Requirements
A major determinant of the quality of software systems is the quality of their requirements, which should be both understandable and …
PDF Cite DOI