To access the full text documents, please follow this link: http://hdl.handle.net/10609/77968
dc.contributor | Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3) |
---|---|
dc.contributor | Universitat Politècnica de Catalunya |
dc.contributor.author | Planas Hortal, Elena |
dc.contributor.author | Cabot Sagrera, Jordi |
dc.contributor.author | Gómez, Cristina |
dc.date | 2018-05-14T09:16:09Z |
dc.date | 2018-05-14T09:16:09Z |
dc.date | 2016-11-01 |
dc.identifier.citation | Planas Hortal, E., Cabot, J. & Gómez, C. (2016). Lightweight and Static Verification of UML Executable Models. Computer Languages, Systems and Structures, 46(), 66-90. doi: 10.1016/j.cl.2016.07.002 |
dc.identifier.citation | 1477-8424 |
dc.identifier.citation | 10.1016/j.cl.2016.07.002 |
dc.identifier.uri | http://hdl.handle.net/10609/77968 |
dc.format | application/pdf |
dc.language.iso | eng |
dc.publisher | Computer Languages, Systems & Structures |
dc.relation | Computer Languages, Systems & Structures, 2016, 46 |
dc.relation | https://doi.org/10.1016/j.cl.2016.07.002 |
dc.rights | CC BY-NC-ND |
dc.rights | info:eu-repo/semantics/openAccess |
dc.rights | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
dc.subject | model-driven development |
dc.subject | model-driven architecture |
dc.subject | executable models |
dc.subject | verification |
dc.subject | static analysis |
dc.subject | Alf |
dc.subject | desarrollo basado en modelos |
dc.subject | arquitectura dirigida por modelos |
dc.subject | modelos ejecutables |
dc.subject | verificación |
dc.subject | análisis estático |
dc.subject | Alf |
dc.subject | desenvolupament basat en models |
dc.subject | arquitectura dirigida per models |
dc.subject | models executables |
dc.subject | verificació |
dc.subject | anàlisi estàtica |
dc.subject | Alf |
dc.subject | Computer software -- Development |
dc.subject | Programari -- Desenvolupament |
dc.subject | Software -- Desarrollo |
dc.title | Lightweight and static verification of UML executable models |
dc.type | info:eu-repo/semantics/article |
dc.type | info:eu-repo/semantics/submittedVersion |
dc.description.abstract |