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

@inproceedings{BarragansMartinez-PazosArias:ICSE04,
  author    = {Ana Bel{\'{e}}n Barrag{\'{a}}ns{-}Mart{\'{\i}}nez and
               Jos{\'{e}} Juan Pazos{-}Arias},
  title     = {{chi-SCTL/MUS:} A Formal Methodology to Evolve {Multi-Perspective} Software Requirements Specifications},
  booktitle = {ICSE},
  pages     = {72--74},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
}