• DocumentCode
    1427699
  • Title

    A reference model for requirements and specifications

  • Author

    Gunter, Carl A. ; Gunter, Elsa L. ; Jackson, Michael ; Zave, Pamela

  • Author_Institution
    Dept. of Comput. & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA
  • Volume
    17
  • Issue
    3
  • fYear
    2000
  • Firstpage
    37
  • Lastpage
    43
  • Abstract
    The authors define a reference model for applying formal methods to the development of user requirements and their reduction to a behavioral system specification. The approach focuses on the shared phenomena that define the interface between the system and the environment
  • Keywords
    formal specification; behavioral system specification; formal methods; reference model; requirements engineering; requirements specification; shared phenomena; system-environment interface; user requirements; Computer architecture; Computer industry; Control system synthesis; Control systems; Documentation; Laboratories; Programming profession; Protocols; Software standards; Vocabulary;
  • fLanguage
    English
  • Journal_Title
    Software, IEEE
  • Publisher
    ieee
  • ISSN
    0740-7459
  • Type

    jour

  • DOI
    10.1109/52.896248
  • Filename
    896248
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1427699