ListarLCC - Trabajos fin de grado por tema "OCL"
Mostrando ítems 1-2 de 2
-
Extensión de USE para soportar incertidumbre de medida en los datos primitivos OCL/UML
(2020-01-16)En la actualidad, está surgiendo la necesidad de modelar sistemas que traten con factores físicos. Con la llegada del Internet de las cosas [IoT] hay cada vez más sistemas software conectados a sensores que no dan una ... -
Modelado, simulación y análisis de un sistema complejo de ascensores
(2020-01-20)La construcción de software complejo puede verse asistida por los llamados métodos formales que permiten detectar errores de diseño e implementación, especialmente con respecto a las propiedades críticas del sistema. Los ...