Comunicaciones a congresos

Año: 2005

  • 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). En 27th International Conference on Software Engineering (ICSE), Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM), páginas 1-5. St. Louis, Missouri, USA : ACM Press.
  • 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). En 27th International Conference on Software Engineering (ICSE), Workshop on the Modeling and Analysis of Concerns in Software (MACS), páginas 1-5. St. Louis, Missouri, USA : ACM Press.
  • Merging Requirements Views with Incompleteness and Inconsistency
    Barragáns Martínez, A. B., Pazos Arias, J. J. & Fernández Vilas, A (2005). En 16th IEEE Australian Software Engineering Conference (ASWEC), páginas 58-67. IEEE Computer Society Press.
  • Multi-valued Model Checking in Dense-Time
    Fernández Vilas, A., Pazos Arias, J. J., Barragáns Martínez, A. B., López Nores, M., Díaz Redondo, R. P., Gil Solla, A. et al (2005). En 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU) - Lecture Notes in Computer Science, páginas 638-649. Barcelona, Spain : Springer Verlag.
  • On the Specification of Interaction Patterns for Collaborative T-learning Services
    López Nores, M., Pazos Arias, J. J., García Duque, J., Barragáns Martínez, A. B., Blanco Fernández, Y., Díaz Redondo, R. P. et al (2005). En 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), páginas 231-233.
  • Optimizing Web Services Performance Using Caching
    Fernández Vilas, J. A., Pazos Arias, J. J. & Fernández Vilas, A (2005). En IEEE International Conference on Next Generation Web Services Practices (NWeSP), páginas 157-162. IEEE Computer Society.
  • Solutions for Personalized T-learning
    López Nores, M., Pazos Arias, J. J., Blanco Fernández, Y., Rey López, M., García Duque, J., Barragáns Martínez, A. B. et al (2005). En 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), páginas 235-236. Aalborg, Denmark.
  • 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). En 7th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS) - Lecture Notes in Computer Science, páginas 147-162.

Año: 2004

  • A Formal Approach to Component-Based Specification with Improved Requirements Traceability
    López Nores, M. & Pazos Arias, J. J (2004). En 12th International Requirements Engineering Conference (RE), Doctoral Symposium. Kyoto, Japan : IEEE Computer Society Press.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.