χ-SCTL/MUS: A formal methodology to evolve multi-perspective software requirements specifications

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.

Año de publicación:

2004

Keywords:

• inconsistency
• Requirements Refinement
• Specification Evolution
• Multi-Perspective Environment
• Unspecification
• Viewpoints

Fuente:

scopus