Software Requirements Analysis foi Real-Time Process-Control Systems

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

Research output: Contribution to journalArticlepeer-review

114 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 languageEnglish (US)
Pages (from-to)241-258
Number of pages18
JournalIEEE Transactions on Software Engineering
Volume17
Issue number3
DOIs
StatePublished - Mar 1991

Fingerprint Dive into the research topics of 'Software Requirements Analysis foi Real-Time Process-Control Systems'. Together they form a unique fingerprint.

Cite this