Reference model for requirements and specifications

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

doi:10.1109/52.896248

Reference model for requirements and specifications

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

Research output: Contribution to journal › Article › peer-review

Abstract

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 language	English (US)
Pages (from-to)	37-43
Number of pages	7
Journal	IEEE Software
Volume	17
Issue number	3
DOIs	https://doi.org/10.1109/52.896248
State	Published - May 2000
Externally published	Yes

ASJC Scopus subject areas

Software

Online availability

10.1109/52.896248

Library availability

Discover UIUC Full Text

Cite this

@article{054ed4acde564d149098c7984628b413,

title = "Reference model for requirements and specifications",

abstract = "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.",

author = "Gunter, {Carl A.} and Gunter, {Elsa L.} and Michael Jackson and Pamela Zave",

note = "Funding Information: We thank Samson Abramsky, Rajeev Alur, Karthik Bhargavan, Trevor Jim, Insnp Lee, and Davor Obra-dovic for their input to this work. NSF Contract CCR9505469 and ARO Contract DAAG-98-1-0466 partially support this research.",

year = "2000",

month = may,

doi = "10.1109/52.896248",

language = "English (US)",

volume = "17",

pages = "37--43",

journal = "IEEE Software",

issn = "0740-7459",

publisher = "IEEE Computer Society",

number = "3",

}

TY - JOUR

T1 - Reference model for requirements and specifications

AU - Gunter, Carl A.

AU - Gunter, Elsa L.

AU - Jackson, Michael

AU - Zave, Pamela

N1 - Funding Information: We thank Samson Abramsky, Rajeev Alur, Karthik Bhargavan, Trevor Jim, Insnp Lee, and Davor Obra-dovic for their input to this work. NSF Contract CCR9505469 and ARO Contract DAAG-98-1-0466 partially support this research.

PY - 2000/5

Y1 - 2000/5

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0034188338&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0034188338&partnerID=8YFLogxK

U2 - 10.1109/52.896248

DO - 10.1109/52.896248

M3 - Article

AN - SCOPUS:0034188338

SN - 0740-7459

VL - 17

SP - 37

EP - 43

JO - IEEE Software

JF - IEEE Software

IS - 3

ER -

Reference model for requirements and specifications

Abstract

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this