χ-SCTL/MUS: A Formal Methodology to Evolve Multi-Perspective Software Requirements Specifications

Authors:
Ana Belén Barragáns Martínez;José J. Pazos Arias
Affiliations:
Telematic Engineering Department. University of Vigo. 36200 Vigo. Spain;Telematic Engineering Department. University of Vigo. 36200 Vigo. Spain
Venue:
Proceedings of the 26th International Conference on Software Engineering
Year:
2004

Citing 5
Cited 1

A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification

IEEE Transactions on Software Engineering
Inconsistency Handling in Multiperspective Specifications

IEEE Transactions on Software Engineering
Requirements Specifications Evolution in a Multi-Perspective Environment

COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
Model-Based Software Reuse

ECOOP '02 Proceedings of the Workshops and Posters on Object-Oriented Technology
CORE - a method for controlled requirement specification

ICSE '79 Proceedings of the 4th international conference on Software engineering

On the interplay between inconsistency and incompleteness in multi-perspective requirements specifications

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

The objective of this thesis is to extend the formal methodology of refinement of requirements specifications SCTL/MUS to a multi-perspective environment where coexist requirements specifications which belong to each stakeholder involved in the software development of the system. To reach this goal, the new methodology (referred to as χ-SCTL/MUS) bets on using a viewpoint-based approach which allows to gather and maintain (possibly inconsistent and incomplete) information gathered from multiple sources. It explicitly separates the descriptions provided by different stakeholders, and concentrates on identifying and resolving conflicts between them.