To access the full text documents, please follow this link: http://hdl.handle.net/10609/77968
Title: | Lightweight and static verification of UML executable models |
---|---|
Author: | Planas Hortal, Elena; Cabot Sagrera, Jordi; Gómez, Cristina |
Other authors: | Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3); Universitat Politècnica de Catalunya |
Abstract: | |
Subject(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 |
Rights: | CC BY-NC-ND
http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
Document type: | Article Article - Submitted version |
Published by: | Computer Languages, Systems & Structures |
Share: |