Issue No. 01 - January (2000 vol. 26)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.825764
<p><b>Abstract</b>—This paper examines and proposes an approach to writing software specifications, based on research in systems theory, cognitive psychology, and human-machine interaction. The goal is to provide specifications that support human problem solving and the tasks that humans must perform in software development and evolution. A type of specification, called <it>intent specifications</it>, is constructed upon this underlying foundation.</p>
Requirements, requirements specification, safety-critical software, software evolution, human-centered specifications, means-ends hierarchy, cognitive engineering.
N. G. Leveson, "Intent Specifications: An Approach to Building Human-Centered Specifications," in IEEE Transactions on Software Engineering, vol. 26, no. , pp. 15-35, 2000.