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

Description complète

Détails bibliographiques

Auteur principal:	Vilanova Guerra, Pedro Andrés (author)
Format:	masterThesis
Langue:	anglais
Publié:	2012
Sujets:	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 ligne:	http://hdl.handle.net/20.500.12008/2970
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!