The elimination of ambiguity, inconsistency, and incompleteness in a Software Requirements Specification (SRS) document is inherently difficult, due to the use of natural language. The focus here is a survey of available techniques designed to reduce these negatives in the documentation of a software product's external behavior.
No takes yet. Share an insight, caveat, or question.
Alan M. Davis (1988) studied this question.
Synapse has enriched 4 closely related papers on similar clinical questions. Consider them for comparative context: