Title :
Intent specifications: an approach to building human-centered specifications
Author :
Leveson, Nancy G.
Author_Institution :
Dept. of Aeronaut. & Astronaut., MIT, Cambridge, MA, USA
fDate :
1/1/2000 12:00:00 AM
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
Keywords :
formal specification; human factors; user centred design; user interfaces; cognitive psychology; human problem solving; human-centered specifications; human-machine interaction; intent specifications; software development; systems theory; Design engineering; Humans; Man machine systems; Programming; Psychology; Software debugging; Software design; Software maintenance; Software performance; Software systems;
Journal_Title :
Software Engineering, IEEE Transactions on
