Eliciting requirements and scenarios using the SCTL-MUS methodology: The shuttle system case study

Abstract:

The development of complex systems demands methodologies that provide convenient support to the stakeholders in the creative tasks. In this paper, we present a methodology for the incremental elicitation of requirements and scenarios, driven by the integration checks performed over a state machine that represents the global behavior of the desired system.

Año de publicación:

2005

Keywords:

• State machines
• Scenarios
• requirements
• incremental development

Fuente:

scopus