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

Full description

Bibliographic Details

Main Author:	Vilanova Guerra, Pedro Andrés (author)
Format:	masterThesis
Language:	English
Published:	2012
Subjects:	Máquinas de estado UML Semántica formal Modelado formal de variedades Máquinas de estado con variabilidades Líneas de productos de software
Online Access:	http://hdl.handle.net/20.500.12008/2970
Tags:	Add Tag No Tags, Be the first to tag this record!