Artículos en revistas
Year: 2007
-
Objetos Adaptativos de Aprendizaje para T-learning.
Rey López, M., Díaz Redondo, R. P., Fernández Vilas, A., Pazos Arias, J. J. & López Nores, M. (2007). IEEE Latin America Transactions, 5(6), 401-408.
-
Providing Web Services over DVB-H: Mobile Virtual Web Services.
Fernández Vilas, A., Díaz Redondo, R. P., Pazos Arias, J. J., Gil Solla, A. & García Duque, J. (2007). IEEE Transactions on Consumer Electronics, 53(2), 644-652.
Year: 2006
-
A Six-Valued Logic to Reason about Uncertainty and Inconsistency 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). Journal of Logic and Computation, 16(2), 227-255.
-
ATLAS: A Framework to Provide Multiuser and Distributed T-learning Services over MHP.
Pazos Arias, J. J., López Nores, M., García Duque, J., Gil Solla, A., Ramos Cabrer, M., Blanco Fernández, Y. et al. (2006). Software, Practice and Experience, 36(8), 845-869.
-
AVATAR: An Improved Solution for Personalized TV based on Semantic Inference.
Blanco Fernández, Y., Pazos Arias, J. J., López Nores, M., Gil Solla, A. & Ramos Cabrer, M. (2006). IEEE Transactions on Consumer Electronics, 52(1), 223-231.
-
Bringing the Agile Philosophy to Formal Specification Settings.
López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y., Díaz Redondo, R. P., Fernández Vilas, A. et al. (2006). International Journal of Software Engineering and Knowledge Engineering, 16(6), 951-986.
-
Controlling the Smart Home from TV.
Ramos Cabrer, M., Díaz Redondo, R. P., Fernández Vilas, A., Pazos Arias, J. J. & García Duque, J. (2006). IEEE Transactions on Consumer Electronics, 52(2), 421-429.
-
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.
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.
Rey López, M., Díaz Redondo, R. P., Fernández Vilas, A., Pazos Arias, J. J. & López Nores, M. (2007). IEEE Latin America Transactions, 5(6), 401-408.
Fernández Vilas, A., Díaz Redondo, R. P., Pazos Arias, J. J., Gil Solla, A. & García Duque, J. (2007). IEEE Transactions on Consumer Electronics, 53(2), 644-652.
-
A Six-Valued Logic to Reason about Uncertainty and Inconsistency 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). Journal of Logic and Computation, 16(2), 227-255. -
ATLAS: A Framework to Provide Multiuser and Distributed T-learning Services over MHP.
Pazos Arias, J. J., López Nores, M., García Duque, J., Gil Solla, A., Ramos Cabrer, M., Blanco Fernández, Y. et al. (2006). Software, Practice and Experience, 36(8), 845-869. -
AVATAR: An Improved Solution for Personalized TV based on Semantic Inference.
Blanco Fernández, Y., Pazos Arias, J. J., López Nores, M., Gil Solla, A. & Ramos Cabrer, M. (2006). IEEE Transactions on Consumer Electronics, 52(1), 223-231. -
Bringing the Agile Philosophy to Formal Specification Settings.
López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y., Díaz Redondo, R. P., Fernández Vilas, A. et al. (2006). International Journal of Software Engineering and Knowledge Engineering, 16(6), 951-986. -
Controlling the Smart Home from TV.
Ramos Cabrer, M., Díaz Redondo, R. P., Fernández Vilas, A., Pazos Arias, J. J. & García Duque, J. (2006). IEEE Transactions on Consumer Electronics, 52(2), 421-429. -
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.
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.
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.
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.
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.
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.