Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/10609/77968
Título: | Lightweight and static verification of UML executable models |
---|---|
Autor/a: | Planas Hortal, Elena; Cabot Sagrera, Jordi; Gómez, Cristina |
Otros autores: | Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3); Universitat Politècnica de Catalunya |
Abstract: | |
Materia(s): | -model-driven development -model-driven architecture -executable models -verification -static analysis -Alf -desarrollo basado en modelos -arquitectura dirigida por modelos -modelos ejecutables -verificación -análisis estático -Alf -desenvolupament basat en models -arquitectura dirigida per models -models executables -verificació -anàlisi estàtica -Alf -Computer software -- Development -Programari -- Desenvolupament -Software -- Desarrollo |
Derechos: | CC BY-NC-ND
http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
Tipo de documento: | Artículo Artículo - Versión presentada |
Editor: | Computer Languages, Systems & Structures |
Compartir: |