Publicacións nas que colabora con Pedro Sánchez Palma (13)

2016

  1. U-DSL: A domain specific language for ubiquitous systems

    IEEE Latin America Transactions, Vol. 14, Núm. 10, pp. 4416-4420

2015

  1. Consideración de aspectos temporales en la especificación de sistemas siguiendo el enfoque Teleo-Reactivo

    XVIII Jornadas de Tiempo Real (JTR 2015)

2014

  1. A tool for facilitating the teaching of smart home applications

    Computer Applications in Engineering Education, Vol. 22, Núm. 1, pp. 178-186

  2. Reúso efectivo de modelos domóticos a través de requisitos genéricos

    Anuario de Jóvenes Investigadores, Vol. 7, pp. 60-62

2013

  1. Creación automática de editores gráficos con Eugenia

    Jornadas de introducción a la investigación de la UPCT, Núm. 6, pp. 115-117

  2. Transforming and tracing reused requirements models to home automation models

    Information and Software Technology, Vol. 55, Núm. 6, pp. 941-965

2012

  1. Evaluación de propuestas de trazabilidad en MDE

    Jornadas de introducción a la investigación de la UPCT, Núm. 5, pp. 114-116

  2. Traceability support for MDE development of Home Automation systems

    ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends

2011

  1. A framework for developing home automation systems: From requirements to code

    Journal of Systems and Software, Vol. 84, Núm. 6, pp. 1008-1021

  2. Formalización de transformaciones de refinamiento de componentes

    Jornadas de introducción a la investigación de la UPCT, Núm. 4, pp. 73-75

  3. Introducing safety requirements traceability support in model-driven development of robotic applications

    IEEE Transactions on Computers, Vol. 60, Núm. 8, pp. 1059-1071

2009

  1. Habitation: A domain-specific language for home automation

    IEEE Software, Vol. 26, Núm. 4, pp. 30-38

2008

  1. Desarrollo de aplicaciones domóticas dirigido por modelos

    Jornadas de introducción a la investigación de la UPCT, Núm. 1, pp. 6-11