Abstract : This paper demonstrates the use of a systematic approach to clarify and analyze the requirements of the light control case study. The approach includes a formalization of the requirements and the analysis of interactions between them.
Jeanine Souquières, Maritta Heisel. A Method for Systematic Requirements Elicitation: Application to the Light Control System. [Intern report] A00-R-090 || souquieres00d, 2000, 25 p. ⟨inria-00099300⟩