Comunicaciones a congresos
Year: 2004
-
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.
-
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.
-
X-SCTL/MUS: A Formal Methodology to Evolve Multi-Perspective Software Requirements Specifications
Barragáns Martínez, A. B. & Pazos Arias, J. J (2004). In 26th International Conference on Software Engineering (ICSE). Doctoral Symposium, pages 72-74.
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.
-
Experiencias sobre una Implementación Libre y Abierta del Estándar MHP para TV Digital Interactiva
Gil Solla, A., Pazos Arias, J. J., López Nores, M. & Blanco Fernández, Y (2003). In IV Jornadas de Ingeniería Telemática, pages 431-438. Las Palmas de Gran Canaria, Spain.
-
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.
-
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.
Year: 2002
-
A MHP receiver over RT-Linux for Digital TV
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). In IADIS International Conference WWW/Internet (IADIS), pages 624-627. Lisboa, Portugal.
-
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.
-
Approximate Retrieval of Incomplete and Formal Specifications applied to Horizontal Reuse
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A. & Barragáns Martínez, A. B (2002). In 18th International Conference on Software Maintenance (ICSM), pages 618-627. Montreal, Canada : IEEE Computer Society Press.
-
Approximate Retrieval of Incomplete and Formal Specifications applied to Vertical Reuse
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A. & Barragáns Martínez, A. B (2002). In 28th EUROMICRO Conference on Component-based Software Engineering (EUROMICRO), pages 90-97. Dortmund, Germany : IEEE Computer Society Press.
-
ARIFS: Environment for Incomplete and Formal Specifications Reuse
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A. & Barragáns Martínez, A. B (2002). In 29th International Colloquium on Automata, Languages, and Programming (ICALP), Proc. of Workshop on Formal Methods and Component Interaction. Malaga, Spain : Elsevier Science.
-
ARIFS: Reusing Formal Verification Efforts in a Requirements Specification
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A. & Barragáns Martínez, A. B (2002). In 16th European Conference on Object-Oriented Programming (ECOOP), Workshop on Model-based Software Reuse. Malaga, Spain : Springer Verlag.
-
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.
-
Experiences from Implementing a MHP Receiver
López Ardao, J. C., López García, C., Gil Solla, A., Díaz Redondo, R. P., Fernández Vilas, A., Fernández Veiga, M. et al (2002). In 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), pages 441-446. Zadar, Croatia : IEEE Computer Society Press.
-
Exploring T-Learning in the MHP Context
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). In IADIS International Conference WWW/Internet (IADIS), pages 743-746. Lisboa, Portugal.
-
Extending Timed Automaton and Real-time Logic to Many-valued Reasoning
Fernández Vilas, A., Pazos Arias, J. J. & Díaz Redondo, R. P (2002). In 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT), pages 185-204. Oldenburg, Germany : Springer Verlag.
-
Formalizing Incremental Design in Real-time Area: SCTL/MUS-T
Fernández Vilas, A., Pazos Arias, J. J., Díaz Redondo, R. P. & Barragáns Martínez, A. B (2002). In 26th Annual International Computer Software and Applications Conference (COMPSAC), pages 659-664. Oxford, U.K. : IEEE Computer Society Press.
-
Incremental Synthesis of Timed Models from Many-valued Temporal Logic
Fernández Vilas, A., Pazos Arias, J. J. & Díaz Redondo, R. P (2002). In 9th IEEE Conference and Workshops on Engineering of Computer-Based Systems (ECBS), Workshop on Component-Based Software Engineering. Lund, Sweden.
-
Internet-TV Convergence in DVB-MHP
Gil Solla, A., Pazos Arias, J. J., Fernández Vilas, A., Díaz Redondo, R. P., Fernández Veiga, M. & Ramos Cabrer, M (2002). In 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), pages 447-453. Zadar, Croatia : IEEE Computer Society Press.
-
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.
-
Reusing Verification Information of Incomplete Specifications
Díaz Redondo, R. P., Pazos Arias, J. J. & Fernández Vilas, A (2002). In 9th IEEE Conference and Workshops on Engineering of Computer-Based Systems (ECBS), Workshop on Component-Based Software Engineering. Lund, Sweeden : IEEE Computer Society Press.
-
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.
-
Surfing the WEB on TV: the MHP Approach
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. et al (2002). In Proc. of International Conference on Multimedia and Expo 2002, pages 285-288. Lausanne, Suiza : IEEE Computer Society Press.
-
Using 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). In IADIS International Conference WWW/Internet (IADIS), pages 685-688. Lisboa, Portugal.
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.
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.
Barragáns Martínez, A. B. & Pazos Arias, J. J (2004). In 26th International Conference on Software Engineering (ICSE). Doctoral Symposium, pages 72-74.
-
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. -
Experiencias sobre una Implementación Libre y Abierta del Estándar MHP para TV Digital Interactiva
Gil Solla, A., Pazos Arias, J. J., López Nores, M. & Blanco Fernández, Y (2003). In IV Jornadas de Ingeniería Telemática, pages 431-438. Las Palmas de Gran Canaria, Spain. -
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. -
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.
Year: 2002
-
A MHP receiver over RT-Linux for Digital TV
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). In IADIS International Conference WWW/Internet (IADIS), pages 624-627. Lisboa, Portugal.
-
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.
-
Approximate Retrieval of Incomplete and Formal Specifications applied to Horizontal Reuse
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A. & Barragáns Martínez, A. B (2002). In 18th International Conference on Software Maintenance (ICSM), pages 618-627. Montreal, Canada : IEEE Computer Society Press.
-
Approximate Retrieval of Incomplete and Formal Specifications applied to Vertical Reuse
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A. & Barragáns Martínez, A. B (2002). In 28th EUROMICRO Conference on Component-based Software Engineering (EUROMICRO), pages 90-97. Dortmund, Germany : IEEE Computer Society Press.
-
ARIFS: Environment for Incomplete and Formal Specifications Reuse
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A. & Barragáns Martínez, A. B (2002). In 29th International Colloquium on Automata, Languages, and Programming (ICALP), Proc. of Workshop on Formal Methods and Component Interaction. Malaga, Spain : Elsevier Science.
-
ARIFS: Reusing Formal Verification Efforts in a Requirements Specification
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A. & Barragáns Martínez, A. B (2002). In 16th European Conference on Object-Oriented Programming (ECOOP), Workshop on Model-based Software Reuse. Malaga, Spain : Springer Verlag.
-
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.
-
Experiences from Implementing a MHP Receiver
López Ardao, J. C., López García, C., Gil Solla, A., Díaz Redondo, R. P., Fernández Vilas, A., Fernández Veiga, M. et al (2002). In 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), pages 441-446. Zadar, Croatia : IEEE Computer Society Press.
-
Exploring T-Learning in the MHP Context
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). In IADIS International Conference WWW/Internet (IADIS), pages 743-746. Lisboa, Portugal.
-
Extending Timed Automaton and Real-time Logic to Many-valued Reasoning
Fernández Vilas, A., Pazos Arias, J. J. & Díaz Redondo, R. P (2002). In 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT), pages 185-204. Oldenburg, Germany : Springer Verlag.
-
Formalizing Incremental Design in Real-time Area: SCTL/MUS-T
Fernández Vilas, A., Pazos Arias, J. J., Díaz Redondo, R. P. & Barragáns Martínez, A. B (2002). In 26th Annual International Computer Software and Applications Conference (COMPSAC), pages 659-664. Oxford, U.K. : IEEE Computer Society Press.
-
Incremental Synthesis of Timed Models from Many-valued Temporal Logic
Fernández Vilas, A., Pazos Arias, J. J. & Díaz Redondo, R. P (2002). In 9th IEEE Conference and Workshops on Engineering of Computer-Based Systems (ECBS), Workshop on Component-Based Software Engineering. Lund, Sweden.
-
Internet-TV Convergence in DVB-MHP
Gil Solla, A., Pazos Arias, J. J., Fernández Vilas, A., Díaz Redondo, R. P., Fernández Veiga, M. & Ramos Cabrer, M (2002). In 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), pages 447-453. Zadar, Croatia : IEEE Computer Society Press.
-
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.
-
Reusing Verification Information of Incomplete Specifications
Díaz Redondo, R. P., Pazos Arias, J. J. & Fernández Vilas, A (2002). In 9th IEEE Conference and Workshops on Engineering of Computer-Based Systems (ECBS), Workshop on Component-Based Software Engineering. Lund, Sweeden : IEEE Computer Society Press.
-
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.
-
Surfing the WEB on TV: the MHP Approach
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. et al (2002). In Proc. of International Conference on Multimedia and Expo 2002, pages 285-288. Lausanne, Suiza : IEEE Computer Society Press.
-
Using 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). In IADIS International Conference WWW/Internet (IADIS), pages 685-688. Lisboa, Portugal.
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). In IADIS International Conference WWW/Internet (IADIS), pages 624-627. Lisboa, Portugal.
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.
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A. & Barragáns Martínez, A. B (2002). In 18th International Conference on Software Maintenance (ICSM), pages 618-627. Montreal, Canada : IEEE Computer Society Press.
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A. & Barragáns Martínez, A. B (2002). In 28th EUROMICRO Conference on Component-based Software Engineering (EUROMICRO), pages 90-97. Dortmund, Germany : IEEE Computer Society Press.
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A. & Barragáns Martínez, A. B (2002). In 29th International Colloquium on Automata, Languages, and Programming (ICALP), Proc. of Workshop on Formal Methods and Component Interaction. Malaga, Spain : Elsevier Science.
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A. & Barragáns Martínez, A. B (2002). In 16th European Conference on Object-Oriented Programming (ECOOP), Workshop on Model-based Software Reuse. Malaga, Spain : Springer Verlag.
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.
López Ardao, J. C., López García, C., Gil Solla, A., Díaz Redondo, R. P., Fernández Vilas, A., Fernández Veiga, M. et al (2002). In 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), pages 441-446. Zadar, Croatia : IEEE Computer Society Press.
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). In IADIS International Conference WWW/Internet (IADIS), pages 743-746. Lisboa, Portugal.
Fernández Vilas, A., Pazos Arias, J. J. & Díaz Redondo, R. P (2002). In 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT), pages 185-204. Oldenburg, Germany : Springer Verlag.
Fernández Vilas, A., Pazos Arias, J. J., Díaz Redondo, R. P. & Barragáns Martínez, A. B (2002). In 26th Annual International Computer Software and Applications Conference (COMPSAC), pages 659-664. Oxford, U.K. : IEEE Computer Society Press.
Fernández Vilas, A., Pazos Arias, J. J. & Díaz Redondo, R. P (2002). In 9th IEEE Conference and Workshops on Engineering of Computer-Based Systems (ECBS), Workshop on Component-Based Software Engineering. Lund, Sweden.
Gil Solla, A., Pazos Arias, J. J., Fernández Vilas, A., Díaz Redondo, R. P., Fernández Veiga, M. & Ramos Cabrer, M (2002). In 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), pages 447-453. Zadar, Croatia : IEEE Computer Society Press.
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.
Díaz Redondo, R. P., Pazos Arias, J. J. & Fernández Vilas, A (2002). In 9th IEEE Conference and Workshops on Engineering of Computer-Based Systems (ECBS), Workshop on Component-Based Software Engineering. Lund, Sweeden : IEEE Computer Society Press.
Ramos Cabrer, M., García Duque, J., López García, C. & Gil Solla, A (2002). In X Jornadas de Concurrencia. Jaca, Spain.
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. et al (2002). In Proc. of International Conference on Multimedia and Expo 2002, pages 285-288. Lausanne, Suiza : IEEE Computer Society Press.
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). In IADIS International Conference WWW/Internet (IADIS), pages 685-688. Lisboa, Portugal.