Artículos en revistas
Año: 2005
-
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.
Año: 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.
Año: 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.
Año: 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.
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.
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.
-
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.
Año: 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.
Año: 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.
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.
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.
-
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.