%0 Journal Article %1 leveson_intent_2000 %A Leveson, Nancy G. %D 2000 %J IEEE Trans. on Software Engineering %K imported %P 15-35 %T Intent Specifications: An Approach to Building Human-Centered Specifications %U http://citeseer.ist.psu.edu/leveson00intent.html %V 26 %X 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.

@article{leveson_intent_2000, abstract = {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.}, added-at = {2007-10-19T18:55:16.000+0200}, author = {Leveson, Nancy G.}, biburl = {https://www.bibsonomy.org/bibtex/21f513dd6d1a55e37a79dfb26d6b65334/neilernst}, description = {zotero}, interhash = {65de29fdc2a7431265077ed28d452e22}, intrahash = {1f513dd6d1a55e37a79dfb26d6b65334}, journal = {IEEE Trans. on Software Engineering}, keywords = {imported}, pages = {15-35}, timestamp = {2007-10-19T18:55:19.000+0200}, title = {Intent Specifications: An Approach to Building Human-Centered Specifications}, url = {http://citeseer.ist.psu.edu/leveson00intent.html}, volume = 26, year = 2000 }