Software requirements analysis for real-time process-control systems

Authors :: Jaffe, Matthew S.
Leveson, Nancy G.
Heimdahl, Mats P.E.
Melhart, Bonnie E.
Source :: IEEE Transactions on Software Engineering. March, 1991, Vol. v17 Issue n3, p241, 18 p.
Publication Year :: 1991

Subjects :: Software Engineering
Software Design
Program Development Techniques
Process Control
Real-Time System
Semantic Errors
Requirements Analysis
New Technique
Product Failures
Specifications

Tools