Reference model for requirements and specifications

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

Research output: Contribution to journalArticlepeer-review


A reference model for applying formal methods to the development of user requirements and their reduction to a behavioral system specification is presented. The model focuses on the shared phenomena that define the interface between the system and environment.

Original languageEnglish (US)
Pages (from-to)37-43
Number of pages7
JournalIEEE Software
Issue number3
StatePublished - May 2000
Externally publishedYes

ASJC Scopus subject areas

  • Software


Dive into the research topics of 'Reference model for requirements and specifications'. Together they form a unique fingerprint.

Cite this