On UML statechart with variabilities

El uso de métodos formales para el diseño de software contribuye a la confiabilidad y robustez del sistema a construir. A medida que los sistemas se vuelven complejos, el enfoque formal es esencial, debido a que permite la demostrabilidad y verificabilidad del diseño. El diseño formal es un proceso...

Descripció completa

Dades bibliogràfiques

Autor principal:	Vilanova Guerra, Pedro Andrés (author)
Format:	masterThesis
Idioma:	anglès
Publicat:	2012
Matèries:	Máquinas de estado UML Semántica formal Modelado formal de variedades Máquinas de estado con variabilidades Líneas de productos de software
Accés en línia:	http://hdl.handle.net/20.500.12008/2970
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!