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

Ana Belén Barragáns-Martínez, José J. Pazos Arias. chi-SCTL/MUS: A Formal Methodology to Evolve Multi-Perspective Software Requirements Specifications. In 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom. pages 72-74, IEEE Computer Society, 2004. [doi]

Abstract

Abstract is missing.