Matthew S. Jaffe

Publication Activity (10 Years)

Years Active: 1989-1991
Publications (10 Years): 0

Publications

Matthew S. Jaffe, Nancy G. Leveson, Mats Per Erik Heimdahl, Bonnie E. Melhart
Software Requirements Analysis for Real-Time Process-Control Systems. IEEE Trans. Software Eng. 17 (3) (1991)
Matthew S. Jaffe, Nancy G. Leveson
Completeness, Robustness, and Safety in Real-Time Software Requirements Specification. ICSE (1989)
Bonnie E. Melhart, Nancy G. Leveson, Matthew S. Jaffe
Analysis capabilities for requirements specified in statecharts. IWSSD (1989)