Year: 2005
-
Tracing Integration Analysis in Component-Based Formal Specifications
López Nores, M., Pazos Arias, J. J., García Duque, J., Barragáns Martínez, A. B., Díaz Redondo, R. P., Fernández Vilas, A. et al (2005). In 7th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS) - Lecture Notes in Computer Science, pages 147-162.
[More]
Year: 2004
-
A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models
Fernández Vilas, A., Pazos Arias, J. J., Díaz Redondo, R. P., Gil Solla, A. & García Duque, J (2004). In 4th International Conference on Integrated Formal Methods (IFM 2004), pages 382-401. Springer Verlag.
[More]
-
A Technological Framework for TV-supported Collaborative Learning
López Nores, M., Elexpuru Eguía, A., Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., García Duque, J. et al (2004). In 6th IEEE International Symposium on Multimedia Software Engineering (MSE), pages 72-79.
[More]
-
An Improved Repository System for Effective and Efficient Reuse of Formal Verification Efforts
López Nores, M., Díaz Redondo, R. P., Pazos Arias, J. J. & García Duque, J (2004). In 11th Asia-Pacific Software Engineering Conference (APSEC), pages 38-45. Busan, Korea : IEEE Computer Society Press.
[More]
-
AVATAR: Advanced Telematic Search of Audiovisual Contents by Semantic Reasoning
Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., García Duque, J., Díaz Redondo, R. P. et al (2004). In 4th Workshop on Personalization in Future TV (TV), pages 246-251. Eindhoven, The Netherlands.
[More]
-
AVATAR: An Advanced Multi-Agent Recommender System of Personalized TV Contents by Semantic Reasoning
Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., Barragáns Martínez, A. B., López Nores, M. et al (2004). In 5th International Conference on Web Information System Engineering - Lecture Notes in Computer Science, pages 415-421. Brisbane, Australia : Springer Verlag.
[More]
-
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.
[More]
-
Supporting Software Variability by Reusing Generic Incomplete Models at the Requirements Specification Stage
Díaz Redondo, R. P., López Nores, M., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J., Gil Solla, A. et al (2004). In 8th International Conference on Software Reuse (ICSR) - Lecture Notes in Computer Science, pages 1-10.
[More]
-
Technologies to Support Collaborative Learning over the Multimedia Home Platform
López Nores, M., Blanco Fernández, Y., Fernández Vilas, A., Díaz Redondo, R. P., Pazos Arias, J. J., Gil Solla, A. et al (2004). In 3rd International Conference on Web-Based Learning (ICWL) - Lecture Notes in Computer Science, pages 83-90. Springer Verlag.
[More]
Year: 2003
-
A Mixed XML-JavaBeans Approach to Developing T-learning Applications for the Multimedia Home Platform
López Nores, M., Fernández Vilas, A., Díaz Redondo, R. P., Gil Solla, A., Pazos Arias, J. J., Ramos Cabrer, M. et al (2003). In 1st International Workshop on Multimedia Interactive Protocols and Systems (MIPS) - Lecture Notes in Computer Science, pages 376-387. Springer Verlag.
[More]
-
Improving the Consistency Checking Process by Reusing Formal Verification Knowledge
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A (2003). In Andrei Ershov 5th. International Conference Perspectives of System Informatics (PSI), pages 366-380. Akademgorodok, Novosibirsk, Russia.
[More]
-
The MHP (Multimedia Home Platform) Framework for Web Access through Digital TV
Gil Solla, A., Pazos Arias, J. J., García Duque, J., Fernández Vilas, A. & Ramos Cabrer, M (2003). In International Conference on Web Engineering (ICWE), pages 523-524. Oviedo, Spain : Springer.
[More]
Year: 2002
-
An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology
García Duque, J., Pazos Arias, J. J. & Barragáns Martínez, A. B (2002). In 10th Joint International Requirements Engineering Conference (RE), pages 282-288. Essen, Germany : IEEE Computer Society Press.
[More]
-
DVB-MHP transport Stream Generator
Gil Solla, A., Fernández Vilas, A., Díaz Redondo, R. P., Fernández Veiga, M., Rodríguez Rubio, R. F. & García Duque, J (2002). In 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), pages 453-456. Zadar, Croatia : IEEE Computer Society Press.
[More]
-
Requirements Specifications Evolution in a Multi-Perspective Environment
Barragáns Martínez, A. B., García Duque, J., Pazos Arias, J. J., Fernández Vilas, A. & Díaz Redondo, R. P (2002). In 26th Annual International Computer Software and Applications Conference (COMPSAC), pages 39-44. Oxford, U.K. : IEEE Computer Society Press.
[More]
-
Sistemas Operativos para un Receptor Digital de Televisión
Ramos Cabrer, M., García Duque, J., López García, C. & Gil Solla, A (2002). In X Jornadas de Concurrencia. Jaca, Spain.
[More]
Year: 2001
-
Different Degrees of Satisfaction to Aid Defect Testing
García Duque, J., Pazos Arias, J. J., Sousa Vieira, E., Casquero Villacorta, E., Arias Fisteus, J., Gabieiro Martínez, C. et al (2001). In 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI). Orlando, EEUU.
[More]
-
Reasoning over Inconsistent Viewpoints: How levels of Agreement can Evolve?
García Duque, J. & Pazos Arias, J. J (2001). In 2nd International Workshop on Living With Inconsistency. 23rd International Conference on Software Engineering. (ICSE). Toronto, Canada : IEEE Computer Society Press.
[More]
-
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.
[More]
Year: 2000
-
An Example for Reusing Verification Knowledge by Using Formal Techniques
Pazos Arias, J. J., Díaz Redondo, R. P., García Duque, J. & Barragáns Martínez, A. B (2000). In 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI). Invited Session: Information Systems Reuse on Internet (ISRI). Orlando, EEUU.
[More]
-
Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal.
García Duque, J. (2000). Phd Thesis, Universidad de Vigo.
[More]
[Online version]
-
Modelo de Reutilización de Requisitos Funcionales Utilizando Técnicas Formales
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A (2000). In VIII Jornadas de Concurrencia, pages 125-138. Cuenca, Spain.
[More]
-
Verificación de requisitos de tiempo críticos sobre sistemas incompletos
Fernández Vilas, A., Pazos Arias, J. J., Díaz Redondo, R. P., García Duque, J. & Gil Solla, A (2000). In VIII Jornadas de Concurrencia, pages 277-290. Cuenca, Spain.
[More]
Year: 1999
-
Entorno de Reutilización de Requisitos Funcionales de Sistemas Distribuidos
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A (1999). In VII Jornadas de Concurrencia. Gandía, Spain.
[More]
-
Extensión del Modelo MES para el Diseño de Sistemas de Tiempo Real Críticos
Fernández Vilas, A., Pazos Arias, J. J., Díaz Redondo, R. P., García Duque, J. & Gil Solla, A (1999). In VII Jornadas de Concurrencia. Gandía, Spain.
[More]
López Nores, M., Pazos Arias, J. J., García Duque, J., Barragáns Martínez, A. B., Díaz Redondo, R. P., Fernández Vilas, A. et al (2005). In 7th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS) - Lecture Notes in Computer Science, pages 147-162. [More]
-
A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models
Fernández Vilas, A., Pazos Arias, J. J., Díaz Redondo, R. P., Gil Solla, A. & García Duque, J (2004). In 4th International Conference on Integrated Formal Methods (IFM 2004), pages 382-401. Springer Verlag. [More] -
A Technological Framework for TV-supported Collaborative Learning
López Nores, M., Elexpuru Eguía, A., Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., García Duque, J. et al (2004). In 6th IEEE International Symposium on Multimedia Software Engineering (MSE), pages 72-79. [More] -
An Improved Repository System for Effective and Efficient Reuse of Formal Verification Efforts
López Nores, M., Díaz Redondo, R. P., Pazos Arias, J. J. & García Duque, J (2004). In 11th Asia-Pacific Software Engineering Conference (APSEC), pages 38-45. Busan, Korea : IEEE Computer Society Press. [More] -
AVATAR: Advanced Telematic Search of Audiovisual Contents by Semantic Reasoning
Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., García Duque, J., Díaz Redondo, R. P. et al (2004). In 4th Workshop on Personalization in Future TV (TV), pages 246-251. Eindhoven, The Netherlands. [More] -
AVATAR: An Advanced Multi-Agent Recommender System of Personalized TV Contents by Semantic Reasoning
Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., Barragáns Martínez, A. B., López Nores, M. et al (2004). In 5th International Conference on Web Information System Engineering - Lecture Notes in Computer Science, pages 415-421. Brisbane, Australia : Springer Verlag. [More] -
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. [More] -
Supporting Software Variability by Reusing Generic Incomplete Models at the Requirements Specification Stage
Díaz Redondo, R. P., López Nores, M., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J., Gil Solla, A. et al (2004). In 8th International Conference on Software Reuse (ICSR) - Lecture Notes in Computer Science, pages 1-10. [More] -
Technologies to Support Collaborative Learning over the Multimedia Home Platform
López Nores, M., Blanco Fernández, Y., Fernández Vilas, A., Díaz Redondo, R. P., Pazos Arias, J. J., Gil Solla, A. et al (2004). In 3rd International Conference on Web-Based Learning (ICWL) - Lecture Notes in Computer Science, pages 83-90. Springer Verlag. [More]
Year: 2003
-
A Mixed XML-JavaBeans Approach to Developing T-learning Applications for the Multimedia Home Platform
López Nores, M., Fernández Vilas, A., Díaz Redondo, R. P., Gil Solla, A., Pazos Arias, J. J., Ramos Cabrer, M. et al (2003). In 1st International Workshop on Multimedia Interactive Protocols and Systems (MIPS) - Lecture Notes in Computer Science, pages 376-387. Springer Verlag.
[More]
-
Improving the Consistency Checking Process by Reusing Formal Verification Knowledge
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A (2003). In Andrei Ershov 5th. International Conference Perspectives of System Informatics (PSI), pages 366-380. Akademgorodok, Novosibirsk, Russia.
[More]
-
The MHP (Multimedia Home Platform) Framework for Web Access through Digital TV
Gil Solla, A., Pazos Arias, J. J., García Duque, J., Fernández Vilas, A. & Ramos Cabrer, M (2003). In International Conference on Web Engineering (ICWE), pages 523-524. Oviedo, Spain : Springer.
[More]
Year: 2002
-
An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology
García Duque, J., Pazos Arias, J. J. & Barragáns Martínez, A. B (2002). In 10th Joint International Requirements Engineering Conference (RE), pages 282-288. Essen, Germany : IEEE Computer Society Press.
[More]
-
DVB-MHP transport Stream Generator
Gil Solla, A., Fernández Vilas, A., Díaz Redondo, R. P., Fernández Veiga, M., Rodríguez Rubio, R. F. & García Duque, J (2002). In 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), pages 453-456. Zadar, Croatia : IEEE Computer Society Press.
[More]
-
Requirements Specifications Evolution in a Multi-Perspective Environment
Barragáns Martínez, A. B., García Duque, J., Pazos Arias, J. J., Fernández Vilas, A. & Díaz Redondo, R. P (2002). In 26th Annual International Computer Software and Applications Conference (COMPSAC), pages 39-44. Oxford, U.K. : IEEE Computer Society Press.
[More]
-
Sistemas Operativos para un Receptor Digital de Televisión
Ramos Cabrer, M., García Duque, J., López García, C. & Gil Solla, A (2002). In X Jornadas de Concurrencia. Jaca, Spain.
[More]
Year: 2001
-
Different Degrees of Satisfaction to Aid Defect Testing
García Duque, J., Pazos Arias, J. J., Sousa Vieira, E., Casquero Villacorta, E., Arias Fisteus, J., Gabieiro Martínez, C. et al (2001). In 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI). Orlando, EEUU.
[More]
-
Reasoning over Inconsistent Viewpoints: How levels of Agreement can Evolve?
García Duque, J. & Pazos Arias, J. J (2001). In 2nd International Workshop on Living With Inconsistency. 23rd International Conference on Software Engineering. (ICSE). Toronto, Canada : IEEE Computer Society Press.
[More]
-
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.
[More]
Year: 2000
-
An Example for Reusing Verification Knowledge by Using Formal Techniques
Pazos Arias, J. J., Díaz Redondo, R. P., García Duque, J. & Barragáns Martínez, A. B (2000). In 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI). Invited Session: Information Systems Reuse on Internet (ISRI). Orlando, EEUU.
[More]
-
Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal.
García Duque, J. (2000). Phd Thesis, Universidad de Vigo.
[More]
[Online version]
-
Modelo de Reutilización de Requisitos Funcionales Utilizando Técnicas Formales
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A (2000). In VIII Jornadas de Concurrencia, pages 125-138. Cuenca, Spain.
[More]
-
Verificación de requisitos de tiempo críticos sobre sistemas incompletos
Fernández Vilas, A., Pazos Arias, J. J., Díaz Redondo, R. P., García Duque, J. & Gil Solla, A (2000). In VIII Jornadas de Concurrencia, pages 277-290. Cuenca, Spain.
[More]
Year: 1999
-
Entorno de Reutilización de Requisitos Funcionales de Sistemas Distribuidos
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A (1999). In VII Jornadas de Concurrencia. Gandía, Spain.
[More]
-
Extensión del Modelo MES para el Diseño de Sistemas de Tiempo Real Críticos
Fernández Vilas, A., Pazos Arias, J. J., Díaz Redondo, R. P., García Duque, J. & Gil Solla, A (1999). In VII Jornadas de Concurrencia. Gandía, Spain.
[More]
López Nores, M., Fernández Vilas, A., Díaz Redondo, R. P., Gil Solla, A., Pazos Arias, J. J., Ramos Cabrer, M. et al (2003). In 1st International Workshop on Multimedia Interactive Protocols and Systems (MIPS) - Lecture Notes in Computer Science, pages 376-387. Springer Verlag. [More]
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A (2003). In Andrei Ershov 5th. International Conference Perspectives of System Informatics (PSI), pages 366-380. Akademgorodok, Novosibirsk, Russia. [More]
Gil Solla, A., Pazos Arias, J. J., García Duque, J., Fernández Vilas, A. & Ramos Cabrer, M (2003). In International Conference on Web Engineering (ICWE), pages 523-524. Oviedo, Spain : Springer. [More]
-
An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology
García Duque, J., Pazos Arias, J. J. & Barragáns Martínez, A. B (2002). In 10th Joint International Requirements Engineering Conference (RE), pages 282-288. Essen, Germany : IEEE Computer Society Press. [More] -
DVB-MHP transport Stream Generator
Gil Solla, A., Fernández Vilas, A., Díaz Redondo, R. P., Fernández Veiga, M., Rodríguez Rubio, R. F. & García Duque, J (2002). In 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), pages 453-456. Zadar, Croatia : IEEE Computer Society Press. [More] -
Requirements Specifications Evolution in a Multi-Perspective Environment
Barragáns Martínez, A. B., García Duque, J., Pazos Arias, J. J., Fernández Vilas, A. & Díaz Redondo, R. P (2002). In 26th Annual International Computer Software and Applications Conference (COMPSAC), pages 39-44. Oxford, U.K. : IEEE Computer Society Press. [More] -
Sistemas Operativos para un Receptor Digital de Televisión
Ramos Cabrer, M., García Duque, J., López García, C. & Gil Solla, A (2002). In X Jornadas de Concurrencia. Jaca, Spain. [More]
Year: 2001
-
Different Degrees of Satisfaction to Aid Defect Testing
García Duque, J., Pazos Arias, J. J., Sousa Vieira, E., Casquero Villacorta, E., Arias Fisteus, J., Gabieiro Martínez, C. et al (2001). In 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI). Orlando, EEUU.
[More]
-
Reasoning over Inconsistent Viewpoints: How levels of Agreement can Evolve?
García Duque, J. & Pazos Arias, J. J (2001). In 2nd International Workshop on Living With Inconsistency. 23rd International Conference on Software Engineering. (ICSE). Toronto, Canada : IEEE Computer Society Press.
[More]
-
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.
[More]
Year: 2000
-
An Example for Reusing Verification Knowledge by Using Formal Techniques
Pazos Arias, J. J., Díaz Redondo, R. P., García Duque, J. & Barragáns Martínez, A. B (2000). In 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI). Invited Session: Information Systems Reuse on Internet (ISRI). Orlando, EEUU.
[More]
-
Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal.
García Duque, J. (2000). Phd Thesis, Universidad de Vigo.
[More]
[Online version]
-
Modelo de Reutilización de Requisitos Funcionales Utilizando Técnicas Formales
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A (2000). In VIII Jornadas de Concurrencia, pages 125-138. Cuenca, Spain.
[More]
-
Verificación de requisitos de tiempo críticos sobre sistemas incompletos
Fernández Vilas, A., Pazos Arias, J. J., Díaz Redondo, R. P., García Duque, J. & Gil Solla, A (2000). In VIII Jornadas de Concurrencia, pages 277-290. Cuenca, Spain.
[More]
Year: 1999
-
Entorno de Reutilización de Requisitos Funcionales de Sistemas Distribuidos
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A (1999). In VII Jornadas de Concurrencia. Gandía, Spain.
[More]
-
Extensión del Modelo MES para el Diseño de Sistemas de Tiempo Real Críticos
Fernández Vilas, A., Pazos Arias, J. J., Díaz Redondo, R. P., García Duque, J. & Gil Solla, A (1999). In VII Jornadas de Concurrencia. Gandía, Spain.
[More]
García Duque, J., Pazos Arias, J. J., Sousa Vieira, E., Casquero Villacorta, E., Arias Fisteus, J., Gabieiro Martínez, C. et al (2001). In 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI). Orlando, EEUU. [More]
García Duque, J. & Pazos Arias, J. J (2001). In 2nd International Workshop on Living With Inconsistency. 23rd International Conference on Software Engineering. (ICSE). Toronto, Canada : IEEE Computer Society Press. [More]
Pazos Arias, J. J. & García Duque, J. (2001). Formal Aspects of Computing, 13, 50-91. [More]
-
An Example for Reusing Verification Knowledge by Using Formal Techniques
Pazos Arias, J. J., Díaz Redondo, R. P., García Duque, J. & Barragáns Martínez, A. B (2000). In 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI). Invited Session: Information Systems Reuse on Internet (ISRI). Orlando, EEUU. [More] -
Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal.
García Duque, J. (2000). Phd Thesis, Universidad de Vigo. [More] [Online version] -
Modelo de Reutilización de Requisitos Funcionales Utilizando Técnicas Formales
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A (2000). In VIII Jornadas de Concurrencia, pages 125-138. Cuenca, Spain. [More] -
Verificación de requisitos de tiempo críticos sobre sistemas incompletos
Fernández Vilas, A., Pazos Arias, J. J., Díaz Redondo, R. P., García Duque, J. & Gil Solla, A (2000). In VIII Jornadas de Concurrencia, pages 277-290. Cuenca, Spain. [More]
Year: 1999
-
Entorno de Reutilización de Requisitos Funcionales de Sistemas Distribuidos
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A (1999). In VII Jornadas de Concurrencia. Gandía, Spain.
[More]
-
Extensión del Modelo MES para el Diseño de Sistemas de Tiempo Real Críticos
Fernández Vilas, A., Pazos Arias, J. J., Díaz Redondo, R. P., García Duque, J. & Gil Solla, A (1999). In VII Jornadas de Concurrencia. Gandía, Spain.
[More]
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A (1999). In VII Jornadas de Concurrencia. Gandía, Spain. [More]
Fernández Vilas, A., Pazos Arias, J. J., Díaz Redondo, R. P., García Duque, J. & Gil Solla, A (1999). In VII Jornadas de Concurrencia. Gandía, Spain. [More]