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

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 Locat...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Mata Sotés, Eloy Javier
Otros Autores: Rubio García, Julio (Universidad de La Rioja)
Formato: text (thesis)
Lenguaje:spa
Publicado: Universidad de La Rioja (España) 2009
Materias:
Acceso en línea:https://dialnet.unirioja.es/servlet/oaites?codigo=18607
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!