Global ETD Search

Evaluación y desarrollo incremental de una arquitectura software de referencia para sistemas de teleoperación utilizando métodos formales

Pastor Franco, Juan Ángel2002

upc-spain Repository record for Evaluación y desarrollo incremental de una arquitectura software de referencia para sistemas de teleoperación utilizando métodos formales (opens in a new tab)

TLM para la verificación de integración en SoC

Soto, Manuel Francisco2015

… varios niveles de abstracción. Se utilizarán métodos basados en simulación y métodos formales para verificar algunos de estos niveles. La tesis se centra como se dijo anteriormente en TLM, dándole un enfoque principal a la transacción como unidad atomica de transferencia de datos en un diseño. …

uns-ar Repository record for TLM para la verificación de integración en SoC (opens in a new tab)

Coordinación de servicios Web: de las aplicaciones a los modelos formales

Mata Sotés, Eloy JavierUniversidad de La Rioja (España)2009

The goal of the thesis was the application of formal methods in software engineering in order to increase the reliability of real software systems. In particular, a Web Coordination Service has been analyzed. This service is a component in several working distributed systems in the context of …

dialnet Repository record for Coordinación de servicios Web: de las aplicaciones a los modelos formales (opens in a new tab)