Writing testable software requirements
D. Knirk · OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information) · 1997
This tutorial identifies common problems in analyzing requirements in the problem and constructing a written specification of what the software is to do. It deals with two main problem areas: identifying and describing problem requirements, and analyzing and describing behavior specifications.