RE And Design

Thursday, September 12^th from 11⁰⁰ - 12³⁰

Session Chair: Andy Schürr

Requirements Patterns for Embedded Systems
S. Konrad and B. Cheng

Relating Software Requirements and Architectures Using Problem Frames
J. Hall, M. Jackson, R. Laney, B. Nuseibeh, and L. Rapanotti

Are Their Design Specifications Consistent with our Requirements?
A. Kozlenkov and A. Zisman

Back to overview