Año: 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). En 4th International Conference on Integrated Formal Methods (IFM 2004), páginas 382-401. Springer Verlag.     [Más]
  • A Multi-Agent Open Architecture for a TV Recommender System: A Case Study using a Bayesian Strategy
    Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., Barragáns Martínez, A. B. & López Nores, M (2004). En 6th IEEE International Symposium on Multimedia Software Engineering (MSE), páginas 178-185. Miami, FL, USA : IEEE Computer Society Press.     [Más]
  • 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). En 6th IEEE International Symposium on Multimedia Software Engineering (MSE), páginas 72-79.     [Más]
  • An Architecture for Building Web Services with Quality-of-Service Features
    Fernández Vilas, J. A., Pazos Arias, J. J. & Fernández Vilas, A (2004). En 5th International Conference on Web-Age Information Management (WAIM). Poster and Demonstration Track. Dalian, China : Springer.     [Más]
  • 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). En 11th Asia-Pacific Software Engineering Conference (APSEC), páginas 38-45. Busan, Korea : IEEE Computer Society Press.     [Más]
  • ARIFS Methodology: A Case Study.
    Díaz Redondo, R. P., Pazos Arias, J. J. & Fernández Vilas, A (2004). En Lau, K.-K. (editor), Component-based Software Development: Case Studies. World Scientific.     [Más]
  • 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). En 4th Workshop on Personalization in Future TV (TV), páginas 246-251. Eindhoven, The Netherlands.     [Más]
  • 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). En 5th International Conference on Web Information System Engineering - Lecture Notes in Computer Science, páginas 415-421. Brisbane, Australia : Springer Verlag.     [Más]
  • High Availability with Clusters of Web Services
    Fernández Vilas, J. A., Pazos Arias, J. J. & Fernández Vilas, A (2004). En 6th Asia Pacific Web Conference (APWeb), páginas 644-653. Springer Verlag.     [Más]
  • 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.     [Más]
  • 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.     [Más]
  • 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.     [Más]
  • 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.     [Más]
  • 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.     [Más]

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.     [Más]
  • 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.     [Más]
  • 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.     [Más]
  • Reuse of Formal Verification Efforts of Incomplete Models at the Requirements Specification Stage.
    Díaz Redondo, R. P., Pazos Arias, J. J. & Fernández Vilas, A (2003). En Cechich, A., Piattini, M. & Vallecillo, A. (editores), Component-based Software Quality: Methods and Techniques. Springer Verlag.     [Más]
  • 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.     [Más]

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.     [Más]
  • 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.     [Más]
  • 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.     [Más]
  • 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.     [Más]
  • 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.     [Más]
  • 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.     [Más]