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.
Nancy G. Leveson, "Intent Specifications: An Approach to Building Human-Centered Specifications", IEEE Transactions on Software Engineering, vol.26, no. 1, pp. 15-35, January 2000, doi:10.1109/32.825764