Search the dblp DataBase
Jorge García Duque :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Martín López Nores , Rebeca P. Díaz Redondo , José J. Pazos Arias , Jorge García Duque An Improved Repository System for Effective and Efficient Reuse of Formal Verification Efforts. [Citation Graph (0, 0)][DBLP ] APSEC, 2004, pp:38-45 [Conf ] Martín López Nores , José J. Pazos Arias , Jorge García Duque , Ana Belén Barragáns-Martínez An Agile Approach to Support Incremental Development of Requirements Specifications. [Citation Graph (0, 0)][DBLP ] ASWEC, 2006, pp:9-18 [Conf ] Ana Belén Barragáns-Martínez , Jorge García Duque , José J. Pazos Arias , Ana Fernández Vilas , Rebeca P. Díaz Redondo Requirements Specifications Evolution in a Multi-Perspective Environment. [Citation Graph (0, 0)][DBLP ] COMPSAC, 2002, pp:39-46 [Conf ] Martín López Nores , Jorge García Duque , José J. Pazos Arias Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements. [Citation Graph (0, 0)][DBLP ] COORDINATION, 2006, pp:164-178 [Conf ] Ana Fernández Vilas , José J. 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 Multi-valued Model Checking in Dense-Time. [Citation Graph (0, 0)][DBLP ] ECSQARU, 2005, pp:638-649 [Conf ] Andrés Elexpuru Eguia , Martín López Nores , Yolanda Blanco-Fernández , José J. Pazos Arias , Ana Belén Barragáns-Martínez , Jorge García Duque , Alberto Gil-Solla , Manuel Ramos Cabrer Collaborative T-learning: Bringing Greater Levels of Interactivity into the Home. [Citation Graph (0, 0)][DBLP ] EEE, 2005, pp:588-591 [Conf ] Rebeca P. Díaz Redondo , José J. Pazos Arias , Ana Fernández Vilas , Jorge García Duque , Alberto Gil-Solla Improving the Consistency Checking Process by Reusing Formal Verification Knowledge. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2003, pp:366-380 [Conf ] Martín López Nores , José J. 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 Tracing Integration Analysis in Component-Based Formal Specifications. [Citation Graph (0, 0)][DBLP ] FMOODS, 2005, pp:147-162 [Conf ] Martín López Nores , José J. Pazos Arias , Jorge García Duque , Yolanda Blanco-Fernández , Alberto Gil-Solla A Core of Standards to Support T-learning. [Citation Graph (0, 0)][DBLP ] ICALT, 2006, pp:13-15 [Conf ] Rebeca P. Díaz Redondo , Martín López Nores , José J. Pazos Arias , Ana Fernández Vilas , Jorge García Duque , Alberto Gil-Solla , Ana Belén Barragáns-Martínez , Manuel Ramos Cabrer Supporting Software Variability by Reusing Generic Incomplete Models at the Requirements Specification Stage. [Citation Graph (0, 0)][DBLP ] ICSR, 2004, pp:1-10 [Conf ] Alberto Gil-Solla , José J. Pazos Arias , Jorge García Duque , Rebeca P. Díaz Redondo , Ana Fernández Vilas , Manuel Ramos Cabrer The Multimedia Home Platform (MHP) Framework for Web Access through Digital TV. [Citation Graph (0, 0)][DBLP ] ICWE, 2003, pp:523-524 [Conf ] Martín López Nores , Yolanda Blanco-Fernández , Ana Fernández Vilas , Rebeca P. Díaz Redondo , José J. Pazos Arias , Alberto Gil-Solla , Jorge García Duque , Ana Belén Barragáns-Martínez , Manuel Ramos Cabrer Technologies to Support Collaborative Learning over the Multimedia Home Platform. [Citation Graph (0, 0)][DBLP ] ICWL, 2004, pp:83-90 [Conf ] Ana Fernández Vilas , José J. Pazos Arias , Rebeca P. Díaz Redondo , Alberto Gil-Solla , Jorge García Duque A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models. [Citation Graph (0, 0)][DBLP ] IFM, 2004, pp:382-401 [Conf ] Martín López Nores , Ana Fernández Vilas , Rebeca P. Díaz Redondo , Alberto Gil-Solla , José J. Pazos Arias , Manuel Ramos Cabrer , Jorge García Duque A Mixed XML-JavaBeans Approach to Developing T-learning Applications for the Multimedia Home Platform. [Citation Graph (0, 0)][DBLP ] MIPS, 2003, pp:376-387 [Conf ] Jorge García Duque , José J. Pazos Arias , Ana Belén Barragáns-Martínez An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology. [Citation Graph (0, 0)][DBLP ] RE, 2002, pp:282-288 [Conf ] Yolanda Blanco-Fernández , José J. 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 AVATAR: An Advanced Multi-agent Recommender System of Personalized TV Contents by Semantic Reasoning. [Citation Graph (0, 0)][DBLP ] WISE, 2004, pp:415-421 [Conf ] José J. Pazos Arias , Jorge García Duque SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2001, v:13, n:1, pp:50-91 [Journal ] Rebeca P. Díaz Redondo , José J. Pazos Arias , Ana Fernández Vilas , Jorge García Duque , Alberto Gil-Solla Arifs Methodology Reusing Incomplete Models at the Requirements Specification Stage. [Citation Graph (0, 0)][DBLP ] International Journal of Software Engineering and Knowledge Engineering, 2005, v:15, n:4, pp:607-646 [Journal ] Martín López Nores , José J. 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 Bringing the Agile Philosophy to Formal Specification Settings. [Citation Graph (0, 0)][DBLP ] International Journal of Software Engineering and Knowledge Engineering, 2006, v:16, n:6, pp:951-986 [Journal ] Ana Fernández Vilas , José J. Pazos Arias , Alberto Gil-Solla , Rebeca P. Díaz Redondo , Jorge García Duque , Ana Belén Barragáns-Martínez Incremental specification with SCTL/MUS-T: a case study. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 2004, v:70, n:1-2, pp:189-208 [Journal ] Martín López Nores , José J. 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 Formal specification applied to multiuser distributed services: Experiences in collaborative t-learning. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 2006, v:79, n:8, pp:1141-1155 [Journal ] Jorge García Duque , Martín López Nores , José J. Pazos Arias , Ana Fernández Vilas , Rebeca P. Díaz Redondo , Alberto Gil-Solla , Yolanda Blanco-Fernández , Manuel Ramos Cabrer A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2006, v:16, n:2, pp:227-255 [Journal ] Jorge García Duque , Martín López Nores , José J. Pazos Arias , Ana Fernández Vilas , Rebeca P. Díaz Redondo , Alberto Gil-Solla , Manuel Ramos Cabrer , Yolanda Blanco-Fernández Guidelines for the incremental identification of aspects in requirements specifications. [Citation Graph (0, 0)][DBLP ] Requir. Eng., 2006, v:11, n:4, pp:239-263 [Journal ] José J. 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 ATLAS: a framework to provide multiuser and distributed t-learning services over MHP. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 2006, v:36, n:8, pp:845-869 [Journal ] Ana Fernández Vilas , Rebeca P. Díaz Redondo , Manuel Ramos Cabrer , José J. Pazos Arias , Alberto Gil-Solla , Jorge García Duque , Martín López Nores , Yolanda Blanco-Fernández MHP-OSGi convergence: a new model for open residential gateways. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 2006, v:36, n:13, pp:1421-1442 [Journal ] MiSPOT: Enhanced Availability and Quality in Delivering Personalized M-Learning Linked to TV Programs. [Citation Graph (, )][DBLP ] T-learning in Telecommunication Engineering: The Value of Interactive Digital TV in the European Higher Education Area. [Citation Graph (, )][DBLP ] A Smart Medicine Manager Delivering Health Care to the Networked Home and Beyond - An Overview of the iCabiNET System. [Citation Graph (, )][DBLP ] On the Need for Incentives to Support Personalization Systems - Turning Users into Active Providers of Contents and Metadata. [Citation Graph (, )][DBLP ] Spontaneous and Personalized Advertising through Mpeg-7 Markup and Semantic Reasoning - Exploring New Ways for Publicity and Marketing over Interactive Digital TV. [Citation Graph (, )][DBLP ] Application-level assessment of approaches to coordinate node mobility in wireless sensor and actor networks. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.459secs