|
|
Journals in DBLP
J. UCS
2000, volume: 6, number: 7
- Egon Börger, Reinhard Gotzhein
Requirements Engineering - The Light Control Case Study. [Citation Graph (0, 0)][DBLP]
J. UCS, 2000, v:6, n:7, pp:580-581 [Journal]
- Egon Börger, Reinhard Gotzhein
The Light Control Case Study: A Synopsis. [Citation Graph (0, 0)][DBLP]
J. UCS, 2000, v:6, n:7, pp:582-585 [Journal]
- Stefan Queins, Gerhard Zimmermann, Martin Becker, Martin Kronenburg, Christian Peper, Rolf Merz, Jürgen Schäfer
The Light Control Case Study: Problem Description. [Citation Graph (0, 0)][DBLP]
J. UCS, 2000, v:6, n:7, pp:586-596 [Journal]
- Egon Börger, Elvinia Riccobene, Joachim Schmid
Capturing Requirements by Abstract State Machines: The Light Control Case Study. [Citation Graph (0, 0)][DBLP]
J. UCS, 2000, v:6, n:7, pp:597-620 [Journal]
- Adriaan de Groot, Jozef Hooman
Analyzing the Light Control System with PVS. [Citation Graph (0, 0)][DBLP]
J. UCS, 2000, v:6, n:7, pp:621-649 [Journal]
- Constance L. Heitmeyer, Ramesh Bharadwaj
Applying the SCR Requirements Method to the Light Control Case Study. [Citation Graph (0, 0)][DBLP]
J. UCS, 2000, v:6, n:7, pp:650-678 [Journal]
- Martin Kronenburg, Christian Peper
Application of the FOREST Approach to the Light Control Case Study. [Citation Graph (0, 0)][DBLP]
J. UCS, 2000, v:6, n:7, pp:679-703 [Journal]
- Graeme Smith, Colin J. Fidge
Incremental Development of Real-Time Requirements: The Light Control Case Study. [Citation Graph (0, 0)][DBLP]
J. UCS, 2000, v:6, n:7, pp:704-730 [Journal]
- Jeffrey M. Thompson, Michael W. Whalen, Mats Per Erik Heimdahl
Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study. [Citation Graph (0, 0)][DBLP]
J. UCS, 2000, v:6, n:7, pp:731-757 [Journal]
|
