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

Authors:
José J. Pazos-Arias;Jorge García-Duque;Martín López-Nores
Affiliations:
University of Vigo (Spain);University of Vigo (Spain);University of Vigo (Spain)
Venue:
SCESM '05 Proceedings of the fourth international workshop on Scenarios and state machines: models, algorithms and tools
Year:
2005

Citing 4
Cited 2

From Play-In Scenarios to Code: An Achievable Dream

Computer
An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology

RE '02 Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering
An Analysis-Revision Cycle to Evolve Requirements Specifications

Proceedings of the 16th IEEE international conference on Automated software engineering
Lightweight formal methods for scenario-based software engineering

SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools

Scenarios and state machines: models, algorithms, and tools: a summary of the 4th workshop

ACM SIGSOFT Software Engineering Notes
Formal specification applied to multiuser distributed services: experiences in collaborative t-learning

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

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.