Artículos en revistas
Año: 2006
-
Formal Specification Applied to Distributed Multiuser Services: Experiences in Collaborative T-learning.
López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y., Ramos Cabrer, M., Gil Solla, A. et al. (2006). Journal of Systems and Software, 79(8), 1141-1155.
-
Guidelines for the Incremental Identification of Aspects in Requirements Specifications.
García Duque, J., López Nores, M., Pazos Arias, J. J., Fernández Vilas, A., Díaz Redondo, R. P., Gil Solla, A. et al. (2006). Requirements Engineering, 11(4), 239-263.
-
MHP-OSGi Convergence: A New Model for Open Residential Gateways.
Fernández Vilas, A., Díaz Redondo, R. P., Ramos Cabrer, M., Pazos Arias, J. J., Gil Solla, A., García Duque, J. et al. (2006). Software, Practice and Experience, 36(13), 1421-1442.
-
Optimizing Web Services Performance Using Cache.
Fernández Vilas, J. A., Pazos Arias, J. J. & Fernández Vilas, A. (2006). Journal of Advanced Computational Intelligence and Intelligent Informatics. Special Issue on Computational Intelligence in Web Services Practices, 10(5), 713-720.
-
VWS: Applying Virtualization Techniques to Web Services.
Fernández Vilas, J. A., Pazos Arias, J. J. & Fernández Vilas, A. (2006). International Journal of Computer Science and Network Security, 6(5B), 120-128.
Año: 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.
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.
López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y., Ramos Cabrer, M., Gil Solla, A. et al. (2006). Journal of Systems and Software, 79(8), 1141-1155.
García Duque, J., López Nores, M., Pazos Arias, J. J., Fernández Vilas, A., Díaz Redondo, R. P., Gil Solla, A. et al. (2006). Requirements Engineering, 11(4), 239-263.
Fernández Vilas, A., Díaz Redondo, R. P., Ramos Cabrer, M., Pazos Arias, J. J., Gil Solla, A., García Duque, J. et al. (2006). Software, Practice and Experience, 36(13), 1421-1442.
Fernández Vilas, J. A., Pazos Arias, J. J. & Fernández Vilas, A. (2006). Journal of Advanced Computational Intelligence and Intelligent Informatics. Special Issue on Computational Intelligence in Web Services Practices, 10(5), 713-720.
Fernández Vilas, J. A., Pazos Arias, J. J. & Fernández Vilas, A. (2006). International Journal of Computer Science and Network Security, 6(5B), 120-128.
-
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.
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.
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.
-
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. (2001). Formal Aspects of Computing, 13, 50-91.