Content of Issue 7
DOI: 10.3217/jucs-006-07
|
| J.UCS Special Issue on Requirements Engineering - The Light Control Case Study |
E. Börger, R. Gotzhein |
580 |
| The Light Control Case Study: A Synopsis |
E. Börger, R. Gotzhein |
582 |
| The Light Control Case Study: Problem Description |
S. Queins, G. Zimmermann, M. Becker, M. Kronenburg, C. Peper, R. Merz, J. Schaefer |
586 |
| Capturing Requirements by Abstract State Machines: The Light Control Case Study |
E. Börger, E. Riccobene, J. Schmid |
597 |
| Analyzing the Light Control System with PVS |
A. de Groot, J. Hooman |
621 |
| Applying the SCR Requirements Method to the Light Control Case Study |
C. Heitmeyer, R. Bharadwaj |
650 |
| Application of the FOREST Approach to the Light Control Case Study |
M. Kronenburg, C. Peper |
679 |
| Incremental Development of Real-Time Requirements: The Light Control Case Study |
G. Smith, C. Fidge |
704 |
| Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study |
J. M. Thompson, M. W. Whalen, M. P. E. Heimdahl |
731 |
