Software Requirements Analysis foi Real-Time Process-Control Systems

Matthew S. Jaffe; Nancy G. Leveson; Mats P.E. Heimdahl; Bonnie E. Melhart

doi:10.1109/32.75414

Software Requirements Analysis foi Real-Time Process-Control Systems

Matthew S. Jaffe
, Nancy G. Leveson
, Mats P.E. Heimdahl
, Bonnie E. Melhart

Computer Science and Engineering

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

127 Scopus citations

Abstract

A set of criteria is defined to help find errors in software requirements specifications. Particular attention is focused on the properties of robustness and lack of ambiguity. The criteria are defined using an abstract state-machine model for generality. Using these criteria, analysis procedures can be defined for particular state-machine modeling languages to provide semantic analysis of real-time process-control software requirements.

Original language	English (US)
Pages (from-to)	241-258
Number of pages	18
Journal	IEEE Transactions on Software Engineering
Volume	17
Issue number	3
DOIs	https://doi.org/10.1109/32.75414
State	Published - Mar 1991

Publisher link

10.1109/32.75414

Find It

Find It at U of M Libraries

Cite this

@article{a763a2bc3b3e48729ba756b0e0e7e333,

title = "Software Requirements Analysis foi Real-Time Process-Control Systems",

abstract = "A set of criteria is defined to help find errors in software requirements specifications. Particular attention is focused on the properties of robustness and lack of ambiguity. The criteria are defined using an abstract state-machine model for generality. Using these criteria, analysis procedures can be defined for particular state-machine modeling languages to provide semantic analysis of real-time process-control software requirements.",

author = "Jaffe, \{Matthew S.\} and Leveson, \{Nancy G.\} and Heimdahl, \{Mats P.E.\} and Melhart, \{Bonnie E.\}",

year = "1991",

month = mar,

doi = "10.1109/32.75414",

language = "English (US)",

volume = "17",

pages = "241--258",

journal = "IEEE Transactions on Software Engineering",

issn = "0098-5589",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

number = "3",

}

TY - JOUR

T1 - Software Requirements Analysis foi Real-Time Process-Control Systems

AU - Jaffe, Matthew S.

AU - Leveson, Nancy G.

AU - Heimdahl, Mats P.E.

AU - Melhart, Bonnie E.

PY - 1991/3

Y1 - 1991/3

N2 - A set of criteria is defined to help find errors in software requirements specifications. Particular attention is focused on the properties of robustness and lack of ambiguity. The criteria are defined using an abstract state-machine model for generality. Using these criteria, analysis procedures can be defined for particular state-machine modeling languages to provide semantic analysis of real-time process-control software requirements.

AB - A set of criteria is defined to help find errors in software requirements specifications. Particular attention is focused on the properties of robustness and lack of ambiguity. The criteria are defined using an abstract state-machine model for generality. Using these criteria, analysis procedures can be defined for particular state-machine modeling languages to provide semantic analysis of real-time process-control software requirements.

UR - https://www.scopus.com/pages/publications/0026121769

UR - https://www.scopus.com/pages/publications/0026121769#tab=citedBy

U2 - 10.1109/32.75414

DO - 10.1109/32.75414

M3 - Article

AN - SCOPUS:0026121769

SN - 0098-5589

VL - 17

SP - 241

EP - 258

JO - IEEE Transactions on Software Engineering

JF - IEEE Transactions on Software Engineering

IS - 3

ER -

Software Requirements Analysis foi Real-Time Process-Control Systems

Abstract

Publisher link

Find It

Other files and links

Fingerprint

Cite this