• DocumentCode
    1305594
  • Title

    Intent specifications: an approach to building human-centered specifications

  • Author

    Leveson, Nancy G.

  • Author_Institution
    Dept. of Aeronaut. & Astronaut., MIT, Cambridge, MA, USA
  • Volume
    26
  • Issue
    1
  • fYear
    2000
  • fDate
    1/1/2000 12:00:00 AM
  • Firstpage
    15
  • Lastpage
    35
  • 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;
  • fLanguage
    English
  • Journal_Title
    Software Engineering, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0098-5589
  • Type

    jour

  • DOI
    10.1109/32.825764
  • Filename
    825764
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1305594