Comunicaciones a congresos

Año: 2004

  • On Measuring Levels of Inconsistency in Multi-Perspective Requirements Specification
    Barragáns Martínez, A. B., Pazos Arias, J. J. & Fernández Vilas, A (2004). En 1st Conference on the Principles of Software Engineering (PRISE), páginas 21-30.
  • 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). En 8th International Conference on Software Reuse (ICSR) - Lecture Notes in Computer Science, páginas 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). En 3rd International Conference on Web-Based Learning (ICWL) - Lecture Notes in Computer Science, páginas 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). En 26th International Conference on Software Engineering (ICSE). Doctoral Symposium, páginas 72-74.

Año: 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). En 1st International Workshop on Multimedia Interactive Protocols and Systems (MIPS) - Lecture Notes in Computer Science, páginas 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). En IV Jornadas de Ingeniería Telemática, páginas 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). En Andrei Ershov 5th. International Conference Perspectives of System Informatics (PSI), páginas 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). En International Conference on Web Engineering (ICWE), páginas 523-524. Oviedo, Spain : Springer.

Año: 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). En IADIS International Conference WWW/Internet (IADIS), páginas 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). En 10th Joint International Requirements Engineering Conference (RE), páginas 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). En 18th International Conference on Software Maintenance (ICSM), páginas 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). En 28th EUROMICRO Conference on Component-based Software Engineering (EUROMICRO), páginas 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). En 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). En 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). En 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), páginas 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). En 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), páginas 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). En IADIS International Conference WWW/Internet (IADIS), páginas 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). En 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT), páginas 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). En 26th Annual International Computer Software and Applications Conference (COMPSAC), páginas 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). En 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). En 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), páginas 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). En 26th Annual International Computer Software and Applications Conference (COMPSAC), páginas 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). En 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). En 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). En Proc. of International Conference on Multimedia and Expo 2002, páginas 285-288. Lausanne, Suiza : IEEE Computer Society Press.