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

Proceedings - International Conference on Software Engineering

Volumn 26, Issue , 2004, Pages 72-74

  Martínez, Ana Belén Barragáns ^a   Pazos Arias, José J ^a  

^a UNIVERSITY OF VIGO   (Spain)

Author keywords

Inconsistency; Multi Perspective Environment; Requirements Refinement; Specification Evolution; Unspecification; Viewpoints

Indexed keywords

DECISION THEORY; FAULT TOLERANT COMPUTER SYSTEMS; FORMAL LOGIC; GRAPH THEORY; INFORMATION DISSEMINATION; LARGE SCALE SYSTEMS; REQUIREMENTS ENGINEERING;

INCONSISTENCY; MULTI-PRESPECTIVE ENVIRONMENT; REQUIREMENTS REFINEMENT; SPECIFICATION EVALUATION; UNSPECIFICATION; VIEWPOINTS;

SOFTWARE ENGINEERING;

EID: 4544251997     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. B. Barragáns Martínez, J. García Duque, J. Pazos Arias, A. Fernández Vilas, and R. P. Díaz Redondo. Requirements Specification Evolution in a Multi-Perspective Environment. In COMPSAC 2002, pages 39-44. IEEE CSP, August 2002.
2. R. P. Díaz Redondo, J. J. Pazos Arias, A. Fernández Vilas, and B. Barragáns Martínez. ARIFS: Reusing Formal Verification Efforts in a Requirements Specification Stage. In Workshop on Model-Based Software Reuse (ECOOP'16), June 2002.
3. S. Easterbrook. Domain Modelling with Hierarchies of Alternative Viewpoints. In ISRE. IEEE CSP, 1993.
4. A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, and B. Nuseibeh. Inconsistency Handling in Multi-Perspective Specifications. IEEE TSE, 20(8):569-578, August 1994.
5. G. P. Mullery. CORE - A Method for Controlled Requirement Specification. In ICSE'4, pages 126-135, Munich, Germany, September 1979. IEEE CSP.
6. B. Nuseibeh, S. Easterbrook, and A. Russo. Making Inconsistency Respectable in Software Development. Journal of Systems and Software, 58(2):171-180, September 2001.
7. B. Nuseibeh, J. Kramer, and A. Finkelstein. A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification. IEEE Transactions on Software Engineering, 20(10):760-773, October 1994.
8. J. Pazos Arias and J. García Duque. SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study. Form. Asp. of Comp., 13:50-91, 2001.
9. G. Spanoudakis and A. Zisman. Inconsistency Management in Software Engineering: Survey and Open Research Issues. In Handbook of Software Engineering and Knowledge Engineering, pages 329-380. World Scient. Pub. Co., 2001.