Jorge García Duque

83 papers A 1B 9C 5Journal 43Unranked 24
YearRankTypeTitle / Venue / Authors
2020 — conf
User Profile Modelling Based on Mobile Phone Sensing and Call Logs.
ICITS
Alexander García Dávalos, Jorge García Duque
2016 C conf
SPELTA-Miner: An expert system based on data mining and multilabel classification to design therapy plans for communication disorders.
CoDIT
Vladimir Robles-Bykbaev, Diego Quisi-Peralta, Martín López Nores, Alberto Gil-Solla, Jorge García Duque
2015 — conf
An Ecosystem of Intelligent ICT Tools for Speech-Language Therapy Based on a Formal Knowledge Model.
MedInfo
Vladimir Robles-Bykbaev, Martín López Nores, José Juan Pazos-Arias, Diego Quisi-Peralta, Jorge García Duque
2015 — conf
Modelling Domain Knowledge of Speech and Language Therapy with an OWL Ontology and OpenEHR Archetypes .
HEALTHINF
Vladimir Robles-Bykbaev, José Juan Pazos-Arias, Martín López Nores, Jorge García Duque, Juan Ochoa-Zambrano
2015 — conf
SPELTRA: A Robotic Assistant for Speech-and-Language Therapy.
HCI (9)
Vladimir Robles-Bykbaev, Martín López Nores, Juan Ochoa-Zambrano, Jorge García Duque, José Juan Pazos-Arias
2014 J jnl
REENACT: A step forward in immersive learning about Human History by augmented reality, role playing and social networking.
Expert Syst. Appl.
Yolanda Blanco-Fernández, Martín López Nores, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Jorge García Duque
2013 — conf
Leveraging Short-Lived Social Networks in Museums to Engage People in History Learning.
SMAP
Martín López Nores, Yolanda Blanco-Fernández, Alberto Gil-Solla, Manuel Ramos Cabrer, Jorge García Duque, José Juan Pazos-Arias
2013 — conf
REENACT: Augmented Reality and Collective Role Playing to Enhance the Pedagogy of Historical Events - An EXPERIMEDIA Experiment.
SIGMAP
Martín López Nores, Yolanda Blanco-Fernández, José Juan Pazos-Arias, Alberto Gil-Solla, Jorge García Duque, Manuel Ramos Cabrer
2013 B conf
REENACT: Learning about Historical Battles and Wars through Augmented Reality and Role Playing - An EXPERIMEDIA Experiment.
CSEDU
Martín López Nores, Yolanda Blanco-Fernández, José Juan Pazos-Arias, Alberto Gil-Solla, Jorge García Duque, Manuel Ramos Cabrer, Manolis Wallace
2012 C conf
A virtualization layer for mobile consumer devices to support demanding communication services in vehicular ad-hoc networks.
ICCE
Jack Fernando Bravo-Torres, Martín López Nores, Yolanda Blanco-Fernández, Sandra Servia Rodríguez, Jorge García Duque
2012 J jnl
Bringing Content Awareness to Web-Based IDTV Advertising.
IEEE Trans. Syst. Man Cybern. Part C
Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias, Manuel Ramos Cabrer, Alberto Gil-Solla, Jorge García Duque
2012 — ch.
SCORM and Social Recommendation: A Web 2.0 Approach to E-learning.
Recommender Systems for the Social Web
Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Jorge García Duque
2012 J jnl
The iCabiNET system: Harnessing Electronic Health Record standards from domestic and mobile devices to support better medication adherence.
Comput. Stand. Interfaces
Martín López Nores, Yolanda Blanco-Fernández, José Juan Pazos-Arias, Jorge García Duque
2011 J jnl
An improvement for semantics-based recommender systems grounded on attaching temporal information to ontologies and user profiles.
Eng. Appl. Artif. Intell.
Yolanda Blanco-Fernández, Martín López Nores, José Juan Pazos-Arias, Jorge García Duque
2011 — conf
Enhancing Recommender Systems with Access to Electronic Health Records and Groups of Interest in Social Networks.
SITIS
Martín López Nores, Yolanda Blanco-Fernández, José Juan Pazos-Arias, Jorge García Duque, Manuela I. Martín-Vicente
2011 J jnl
Making the most of TV on the move: My newschannel.
Inf. Sci.
José Juan Pazos-Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Manuel Ramos Cabrer, Jorge García Duque
2011 J jnl
TVGuide2.0: applying the Web2.0 fundamentals to IDTV.
Multim. Tools Appl.
Rebeca P. Díaz Redondo, Ana Fernández Vilas, Marta Rey-López, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Jorge García Duque
2011 J jnl
TripFromTV+: targeting personalized tourism to interactive digital TV viewers by social networking and semantic reasoning.
IEEE Trans. Consumer Electron.
Yolanda Blanco-Fernández, Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Manuela I. Martín-Vicente
2010 J jnl
Application-level assessment of approaches to coordinate node mobility in wireless sensor and actor networks.
Comput. Commun.
Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Yolanda Blanco-Fernández, Alberto Gil-Solla, Manuel Ramos Cabrer, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2010 J jnl
Context-aware personalization services for a residential gateway based on the OSGi platform.
Expert Syst. Appl.
Ana Fernández Vilas, Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Manuel Ramos Cabrer, Alberto Gil-Solla, Jorge García Duque
2010 J jnl
Enhancing TV programmes with additional contents using MPEG-7 segmentation information.
Expert Syst. Appl.
Marta Rey-López, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Martín López Nores, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Jorge García Duque
2010 — conf
Exploring synergies between digital tv recommender systems and electronic health records.
EuroITV
Martín López Nores, Yolanda Blanco-Fernández, José Juan Pazos-Arias, Jorge García Duque
2010 J jnl
Incentivized provision of metadata, semantic reasoning and time-driven filtering: Making a puzzle of personalized e-commerce.
Expert Syst. Appl.
Yolanda Blanco-Fernández, José Juan Pazos-Arias, Martín López Nores, Alberto Gil-Solla, Manuel Ramos Cabrer, Jorge García Duque, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2010 J jnl
MiSPOT: dynamic product placement for digital TV through MPEG-4 processing and semantic reasoning.
Knowl. Inf. Syst.
Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Yolanda Blanco-Fernández, Manuela I. Martín-Vicente, Ana Fernández Vilas, Manuel Ramos Cabrer, Alberto Gil-Solla
2010 B conf
T-learning in Telecommunication Engineering: The Value of Interactive Digital TV in the European Higher Education Area.
ICALT
Martín López Nores, Yolanda Blanco-Fernández, José Juan Pazos-Arias, Jorge García Duque
2009 J jnl
An extension to the ADL SCORM standard to support adaptivity: The t-learning case-study.
Comput. Stand. Interfaces
Marta Rey-López, Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias, Jorge García Duque, Alberto Gil-Solla, Manuel Ramos Cabrer
2009 J jnl
KEPPAN: Knowledge exploitation for proactively-planned ad-hoc networks.
J. Netw. Comput. Appl.
Martín López Nores, Jorge García Duque, José Juan Pazos-Arias, Yolanda Blanco-Fernández, Manuel Ramos Cabrer, Alberto Gil-Solla, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2009 J jnl
Methodologies to evolve formal specifications through refinement and retrenchment in an analysis-revision cycle.
Requir. Eng.
Jorge García Duque, José Juan Pazos-Arias, Martín López Nores, Yolanda Blanco-Fernández, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Manuel Ramos Cabrer, Alberto Gil-Solla
2009 J jnl
Procedures and Algorithms for Continuous Integration in an Agile Specification Environment.
Int. J. Softw. Eng. Knowl. Eng.
Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Yolanda Blanco-Fernández, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Alberto Gil-Solla, Manuel Ramos Cabrer
2009 J jnl
Receiver-side semantic reasoning for digital TV personalization in the absence of return channels.
Multim. Tools Appl.
Martín López Nores, Yolanda Blanco-Fernández, José Juan Pazos-Arias, Jorge García Duque, Manuel Ramos Cabrer, Alberto Gil-Solla, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2009 J jnl
Spontaneous interaction with audiovisual contents for personalized e-commerce over Digital TV.
Expert Syst. Appl.
Martín López Nores, Marta Rey-López, José Juan Pazos-Arias, Jorge García Duque, Yolanda Blanco-Fernández, Alberto Gil-Solla, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Manuel Ramos Cabrer
2009 J jnl
What's on TV tonight? An efficient and effective personalized recommender system of TV programs.
IEEE Trans. Consumer Electron.
Ana Belén Barragáns-Martínez, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Martín López Nores
2008 — conf
A Smart Medicine Manager Delivering Health Care to the Networked Home and Beyond - An Overview of the iCabiNET System.
HEALTHINF (2)
Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Yolanda Blanco-Fernández
2008 — conf
A Two-Sided Simulator for the Assessment of Coordination Policies in Mobile Ad-Hoc Networks.
CCNC
Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Yolanda Blanco-Fernández, Ana Fernández Vilas
2008 J jnl
A flexible semantic inference methodology to reason about user preferences in knowledge-based recommender systems.
Knowl. Based Syst.
Yolanda Blanco-Fernández, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Martín López Nores, Jorge García Duque, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Jesús Bermejo Muñoz
2008 J jnl
An MHP framework to provide intelligent personalized recommendations about digital TV contents.
Softw. Pract. Exp.
Yolanda Blanco-Fernández, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Martín López Nores, Jorge García Duque, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Jesús Bermejo Muñoz
2008 J jnl
Composing Multi-Perspective Software Requirements Specifications.
Int. J. Softw. Eng. Knowl. Eng.
Ana Belén Barragáns-Martínez, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Martín López Nores, Rebeca P. Díaz Redondo, Yolanda Blanco-Fernández
2008 J jnl
Composing requirements specifications from multiple prioritized sources.
Requir. Eng.
Ana Belén Barragáns-Martínez, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Martín López Nores, Rebeca P. Díaz Redondo, Yolanda Blanco-Fernández
2008 J jnl
Enhancing Residential Gateways: A Semantic OSGi Platform.
IEEE Intell. Syst.
Rebeca P. Díaz Redondo, Ana Fernández Vilas, Manuel Ramos Cabrer, José Juan Pazos-Arias, Jorge García Duque, Alberto Gil-Solla
2008 J jnl
Exploiting synergies between semantic reasoning and personalization strategies in intelligent recommender systems: A case study.
J. Syst. Softw.
Yolanda Blanco-Fernández, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Martín López Nores, Jorge García Duque, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2008 B conf
MiSPOT: Enhanced Availability and Quality in Delivering Personalized M-Learning Linked to TV Programs.
ICALT
Martín López Nores, José Juan Pazos-Arias, Yolanda Blanco-Fernández, Jorge García Duque, Ricardo Tubio-Pardavila, Esther Casquero-Villacorta
2008 — conf
Monitoring medicine intake in the networked home: The iCabiNET solution.
PervasiveHealth
Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Yolanda Blanco-Fernández
2008 — conf
On the Need for Incentives to Support Personalization Systems - Turning Users into Active Providers of Contents and Metadata.
SIGMAP
Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Yolanda Blanco-Fernández, Alberto Gil-Solla, Manuel Ramos Cabrer
2008 J jnl
On the interplay between inconsistency and incompleteness in multi-perspective requirements specifications.
Inf. Softw. Technol.
Ana Belén Barragáns-Martínez, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Martín López Nores, Rebeca P. Díaz Redondo, Yolanda Blanco-Fernández
2008 J jnl
Provision of distance learning services over Interactive Digital TV with MHP.
Comput. Educ.
José Juan Pazos-Arias, Martín López Nores, Jorge García Duque, Rebeca P. Díaz Redondo, Yolanda Blanco-Fernández, Manuel Ramos Cabrer, Alberto Gil-Solla, Ana Fernández Vilas
2008 J jnl
Qualitative assessment of approaches to coordinate activities of mobile hosts in ad hoc networks.
IEEE Commun. Mag.
Martín López Nores, Jorge García Duque, José Juan Pazos-Arias, Yolanda Blanco-Fernández, Rebeca P. Díaz Redondo
2008 J jnl
T-MAESTRO and its authoring tool: using adaptation to integrate entertainment into personalized t-learning.
Multim. Tools Appl.
Marta Rey-López, Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias, Martín López Nores, Jorge García Duque, Alberto Gil-Solla, Manuel Ramos Cabrer
2007 J jnl
Avatar: Enhancing the Personalized Television by Semantic Inference.
Int. J. Pattern Recognit. Artif. Intell.
Yolanda Blanco-Fernández, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Martín López Nores, Jorge García Duque, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Jesús Bermejo Muñoz
2007 — conf
Downsizing Semantic Reasoning to Fixed and Mobile DTV Receivers.
SMAP
Martín López Nores, Yolanda Blanco-Fernández, José Juan Pazos-Arias, Jorge García Duque, Alberto Gil-Solla, Manuel Ramos Cabrer
2007 — conf
KEPPAN: Towards Autonomic Communications in Mobile Ad-hoc Networks.
CCNC
Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2007 J jnl
Providing Web Services over DVB-H: Mobile Virtual Web Services.
IEEE Trans. Consumer Electron.
Ana Fernández Vilas, Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Alberto Gil-Solla, Jorge García Duque
2007 — conf
Spontaneous and Personalized Advertising through Mpeg-7 Markup and Semantic Reasoning - Exploring New Ways for Publicity and Marketing over Interactive Digital TV.
SIGMAP
Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Yolanda Blanco-Fernández, Marta Rey-López, Esther Casquero-Villacorta
2007 — conf
The MiSPOT System: Personalized Publicity and Marketing over Interactive Digital TV.
ICETE (Selected Papers)
Martín López Nores, José Juan Pazos-Arias, Yolanda Blanco-Fernández, Jorge García Duque, Ricardo Tubio-Pardavila, Marta Rey-López
2006 B conf
A Core of Standards to Support T-learning.
ICALT
Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Yolanda Blanco-Fernández, Alberto Gil-Solla
2006 J jnl
A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications.
J. Log. Comput.
Jorge García Duque, Martín López Nores, José Juan Pazos-Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Yolanda Blanco-Fernández, Manuel Ramos Cabrer
2006 J jnl
ATLAS: a framework to provide multiuser and distributed t-learning services over MHP.
Softw. Pract. Exp.
José Juan Pazos-Arias, Martín López Nores, Jorge García Duque, Alberto Gil-Solla, Manuel Ramos Cabrer, Yolanda Blanco-Fernández, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2006 — conf
An Agile Approach to Support Incremental Development of Requirements Specifications.
ASWEC
Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Ana Belén Barragáns-Martínez
2006 J jnl
Bringing the Agile Philosophy to Formal Specification Settings.
Int. J. Softw. Eng. Knowl. Eng.
Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Yolanda Blanco-Fernández, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Alberto Gil-Solla, Manuel Ramos Cabrer
2006 J jnl
Controlling the smart home from TV.
IEEE Trans. Consumer Electron.
Manuel Ramos Cabrer, Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias, Jorge García Duque
2006 J jnl
Formal specification applied to multiuser distributed services: Experiences in collaborative t-learning.
J. Syst. Softw.
Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Yolanda Blanco-Fernández, Manuel Ramos Cabrer, Alberto Gil-Solla, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2006 J jnl
Guidelines for the incremental identification of aspects in requirements specifications.
Requir. Eng.
Jorge García Duque, Martín López Nores, José Juan Pazos-Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Manuel Ramos Cabrer, Yolanda Blanco-Fernández
2006 J jnl
MHP-OSGi convergence: a new model for open residential gateways.
Softw. Pract. Exp.
Ana Fernández Vilas, Rebeca P. Díaz Redondo, Manuel Ramos Cabrer, José Juan Pazos-Arias, Alberto Gil-Solla, Jorge García Duque, Martín López Nores, Yolanda Blanco-Fernández
2006 C conf
Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements.
COORDINATION
Martín López Nores, Jorge García Duque, José Juan Pazos-Arias
2005 J jnl
Arifs Methodology Reusing Incomplete Models at the Requirements Specification Stage.
Int. J. Softw. Eng. Knowl. Eng.
Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Alberto Gil-Solla
2005 — conf
Collaborative T-learning: Bringing Greater Levels of Interactivity into the Home.
EEE
Andrés Elexpuru Eguia, Martín López Nores, Yolanda Blanco-Fernández, José Juan Pazos-Arias, Ana Belén Barragáns-Martínez, Jorge García Duque, Alberto Gil-Solla, Manuel Ramos Cabrer
2005 J jnl
Eliciting requirements and scenarios using the SCTL-MUS methodology: the shuttle system case study.
ACM SIGSOFT Softw. Eng. Notes
José Juan Pazos-Arias, Jorge García Duque, Martín López Nores
2005 — conf
Locating crosscutting concerns in the formal specification of distributed reactive systems.
MACS@ICSE
José Juan Pazos-Arias, Jorge García Duque, Martín López Nores
2005 J jnl
Locating crosscutting concerns in the formal specification of distributed reactive systems.
ACM SIGSOFT Softw. Eng. Notes
José Juan Pazos-Arias, Jorge García Duque, Martín López Nores
2005 C conf
Multi-valued Model Checking in Dense-Time.
ECSQARU
Ana Fernández Vilas, José Juan Pazos-Arias, Ana Belén Barragáns-Martínez, Martín López Nores, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Jorge García Duque, Manuel Ramos Cabrer
2005 — conf
Tracing Integration Analysis in Component-Based Formal Specifications.
FMOODS
Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Ana Belén Barragáns-Martínez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Alberto Gil-Solla, Manuel Ramos Cabrer
2004 B conf
A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models.
IFM
Ana Fernández Vilas, José Juan Pazos-Arias, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Jorge García Duque
2004 — conf
A technological framework for TV-supported collaborative learning.
ISMSE
Martín López Nores, Andrés Elexpuru Eguia, Yolanda Blanco-Fernández, José Juan Pazos-Arias, Alberto Gil-Solla, Jorge García Duque, Ana Belén Barragáns-Martínez, Manuel Ramos Cabrer
2004 B conf
AVATAR: An Advanced Multi-agent Recommender System of Personalized TV Contents by Semantic Reasoning.
WISE
Yolanda Blanco-Fernández, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Ana Belén Barragáns-Martínez, Martín López Nores, Jorge García Duque, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2004 C conf
An Improved Repository System for Effective and Efficient Reuse of Formal Verification Efforts.
APSEC
Martín López Nores, Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Jorge García Duque
2004 J jnl
Incremental specification with SCTL/MUS-T: a case study.
J. Syst. Softw.
Ana Fernández Vilas, José Juan Pazos-Arias, Alberto Gil-Solla, Rebeca P. Díaz Redondo, Jorge García Duque, Ana Belén Barragáns-Martínez
2004 B conf
Supporting Software Variability by Reusing Generic Incomplete Models at the Requirements Specification Stage.
ICSR
Rebeca P. Díaz Redondo, Martín López Nores, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Alberto Gil-Solla, Ana Belén Barragáns-Martínez, Manuel Ramos Cabrer
2004 — conf
Technologies to Support Collaborative Learning over the Multimedia Home Platform.
ICWL
Martín López Nores, Yolanda Blanco-Fernández, Ana Fernández Vilas, Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Alberto Gil-Solla, Jorge García Duque, Ana Belén Barragáns-Martínez, Manuel Ramos Cabrer
2003 — conf
A Mixed XML-JavaBeans Approach to Developing T-learning Applications for the Multimedia Home Platform.
MIPS
Martín López Nores, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Alberto Gil-Solla, José Juan Pazos-Arias, Manuel Ramos Cabrer, Jorge García Duque
2003 — conf
Improving the Consistency Checking Process by Reusing Formal Verification Knowledge.
Ershov Memorial Conference
Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Alberto Gil-Solla
2003 B conf
The Multimedia Home Platform (MHP) Framework for Web Access through Digital TV.
ICWE
Alberto Gil-Solla, José Juan Pazos-Arias, Jorge García Duque, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Manuel Ramos Cabrer
2002 A conf
An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology.
RE
Jorge García Duque, José Juan Pazos-Arias, Ana Belén Barragáns-Martínez
2002 B conf
Requirements Specifications Evolution in a Multi-Perspective Environment.
COMPSAC
Ana Belén Barragáns-Martínez, Jorge García Duque, José Juan Pazos-Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2001 J jnl
SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study.
Formal Aspects Comput.
José Juan Pazos-Arias, Jorge García Duque