Early detection of requirements specification errors
Paul C. Jorgensen · 2003
An important class of system errors is defined and initial results with two prototype requirements-analysis tools are described. A requirements-specification technique that is highly operational is presented; it expresses the sequential behavior of a system in terms of processes that are equivalent to Petri nets. Subsequent definitions based on directed graphs describe the possible ways in which individual processes might interact, thereby providing a basis for requirements-analysis tools that can detect class two errors at the end of the requirements-specification phase, rather than after system delivery.>