Buscar
Mostrando ítems 1-10 de 75
Ponencia
Derivation of test objectives automatically
(Springer, 2007)
A vital task of software development is to test the correct implementation of functional requirements. Use cases are widely used artefacts that define the functionality of a software system in early stages of the ...
Ponencia
Experiencias en entornos de Computación Ubicua mediante Arquitecturas Orientadas a Servicios
(CEDI, 2005)
El desarrollo del proyecto Domoweb, cuyo objetivo principal, es la creación de un entorno domótico gestionado vía Web, nos ha permitido acumular experiencia sobre las arquitecturas orientadas a servicio, concretamente ...
Ponencia
Semántica formal de asociaciones y agregados para su implementación con reglas activas
(Universidad de Extremadura: Grupo de Paralelismo, 1999-11)
Ponencia
Semáforos inteligentes, una primera aproximación
(Universidad de Sevilla, 2001-06)
La congestión del tráfico es un grave problema existente para la mayoría de cuidades del mundo. Estos atascos generan una enorme falta de productividad, generan retrasos, incrementan costes, crean frustración en los ...
Ponencia
An approach for Model-Driven test generation
(IEEE Computer Society, 2009)
The test phase is one of the most important phases in software development. However, in practice, little research has been carried out in this field. Model-Driven Engineering is a new paradigm that can help to minimize ...
Ponencia
The current limitations of blockchain traceability: challenges from industry
(SciTePress, 2020)
Blockchain technology is a chain of cryptographically linked blocks. It was designed to be immutable, so that the identity and traceability of the information entered would be guaranteed. After analyzing several traceability ...
Ponencia
Estudio de troyanos en dispositivos móviles
(ARCA: Automatización del Razonamiento Cualitativo y Aplicaciones, 2008-06)
A finales de 2007 había en el mundo 3.300 millones de móviles según un estudio de la Unión Internacional de Telecomunicaciones (UTI), lo que supone aproximadamente un teléfono móvil cada dos personas. Si a esto unimos ...
Ponencia
Practical Experiences in Web Engineering
(Springer, 2007)
Web Engineering is defined like a new area to propose models, techniques, processes, architectures, etc. in order to deal correctly with the special characteristics of the web environment. In the last years, new ...
Ponencia
A Technique for Distributed Systems Specification
(IEEE Computer Society, 1995)
In this paper we show how an object-oriented specification language is usefvl for the specification of distributed systems. The main constructors in this language are the objects. An object consists of a state, a behaviour ...
Ponencia
Big Data: Un nuevo problema computacional
(Colectivo ARCA: Automatización del Razonamiento Cualitativo y Aplicaciones, 2012)
El aumento de la capacidad de procesamiento en los computadores permite llevar a cabo tareas que hasta ahora no eran viables: simulación de procesos naturales, almacenamiento de datos geográficos, económicos, ...