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 intent specifications, is constructed upon this underlying foundation.
No takes yet. Share an insight, caveat, or question.
Nancy G. Leveson (2000) studied this question.
Synapse has enriched 2 closely related papers on similar clinical questions. Consider them for comparative context: