LENGUAJES Y SISTEMAS INFORMATICOS
LENGUAJES Y SISTEMAS INFORMATI
JUAN ANTONIO
HOLGADO TERRIZA
PROFESOR TITULAR DE UNIVERSIDAD
Publicaciones en las que colabora con JUAN ANTONIO HOLGADO TERRIZA (18)
2019
-
A systematic method for building Internet of Agents applications based on the Linked Open Data approach
Future Generation Computer Systems, Vol. 94, pp. 250-271
-
Smart home: Multimodal interaction for control of home devices
PervasiveHealth: Pervasive Computing Technologies for Healthcare
-
Visualización y análisis de tráfico móvil para la securización de redes y sistemas
Actas de las V Jornadas Nacionales de Ciberseguridad: junio 5-7, 2019. Cáceres
2018
-
Gestión Dinámica de Seguridad en Dispositivos Móviles
Actas de las Cuartas Jornadas Nacionales de Investigación en Ciberseguridad
2010
2008
-
Actas del II Simposio en Desarrollo de Software: (SDS 2008)
Departamento de Lenguajes y Sistemas Informáticos
2007
-
A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
Science of Computer Programming, Vol. 65, Núm. 1, pp. 41-56
-
An interpretation of behavioral consistency of UML-RT diagrams in terms of CSP+T
Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2007; In Conjunction with ICEIS 2007
-
Java-based adaptable middleware platform for virtual instrumentation
Proceedings of the 2007 IEEE International Conference on Virtual Environments, Human-Computer Interfaces, and Measurement Systems, VECIMS 2007
-
Towards UML-RT behavioural consistency
ICEIS 2007: PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS
-
Towards uml-rt behavioural consistency
ICEIS 2007 - 9th International Conference on Enterprise Information Systems, Proceedings
2006
-
CSPJade: Architectural driven development of complex embedded system software using a CSP paradigm based generation tool code
Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006 - In Conjunction with ICEIS 2006
-
Design of real-time systems by systematic transformation of UML/RT models into simple timed process algebra system specifications
ICEIS 2006 - 8th International Conference on Enterprise Information Systems, Proceedings
-
Design of real-time systems by systematic transformation of UML/RT models into simple timed process algebra system specifications
ICEIS 2006: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS
-
Formal specification of real-time systems by transformation of UML-RT design models
Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006 - In Conjunction with ICEIS 2006
-
Java-based adaptable middleware platform for virtual instrumentation
2007 IEEE SYMPOSIUM ON VIRTUAL ENVIRONMENTS, HUMAN-COMPUTER INTERFACES AND MEASUREMENT SYSTEMS
2005
-
An integration scheme for CPN and process algebra applied to a manufacturing industry case
Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005
-
Transforming SA/RT graphical specifications into CSP+T Formalism: Obtaining a formal specification from semi-formal SA/RT essential models
ICEIS 2005 - Proceedings of the 7th International Conference on Enterprise Information Systems