Journals

Year: 2006

Year: 2005

  • ARIFS Methodology: Reusing Incomplete Models at the Requirements Specification Stage.
    Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A. (2005). International Journal of Software Engineering and Knowledge Engineering, 15(4), 607-645.
  • Eliciting Requirements and Scenarios Using the SCTL-MUS Methodology. The Shuttle System Case Study.
    Pazos Arias, J. J., García Duque, J., López Nores, M. & Barragáns Martínez, A. B. (2005). ACM Software Engineering Notes, 30(4), 1-5.
  • Locating Crosscutting Concerns in the Formal Specification of Distributed Reactive Systems.
    Pazos Arias, J. J., García Duque, J., López Nores, M. & Barragáns Martínez, A. B. (2005). ACM Software Engineering Notes, 30(4), 1-5.

Year: 2004

  • Incremental Specification with SCTL/MUS-T: A Case Study.
    Fernández Vilas, A., Pazos Arias, J. J., Gil Solla, A., Díaz Redondo, R. P., García Duque, J. & Barragáns Martínez, A. B. (2004). Journal of Systems and Software, 70(1-2), 189-208.

Year: 2002

  • Realidades y Posibilidades de XML en la Normalización de la TV Digital con MHP (Multimedia Home Platform).
    Gil Solla, A., Pazos Arias, J. J., López García, C., López Ardao, J. C., Rodríguez Rubio, R. F. & Ramos Cabrer, M. (2002). Novática, (158), 31-35.
  • Realities and Possibilities of XML in the Standardization of Digital TV with MHP (Multimedia Home Platform).
    Gil Solla, A., Pazos Arias, J. J., López García, C., López Ardao, J. C., Rodríguez Rubio, R. F. & Ramos Cabrer, M. (2002). Revista online, 3(4), 32-37.

Year: 2001

  • SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study.
    Pazos Arias, J. J. & García Duque, J. (2001). Formal Aspects of Computing, 13, 50-91.