To access the full text documents, please follow this link: http://hdl.handle.net/2117/99390
dc.contributor | Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació |
---|---|
dc.contributor | Universitat Politècnica de Catalunya. inSSIDE - integrated Software, Service, Information and Data Engineering |
dc.contributor.author | Planas Hortal, Elena |
dc.contributor.author | Cabot, Jordi |
dc.contributor.author | Gómez Seoane, Cristina |
dc.date | 2016-11 |
dc.identifier.citation | Planas, E., Cabot, J., Gómez, C. Lightweight and static verification of UML executable models. "Computer languages, systems & structures", Novembre 2016, vol. 46, p. 66-90. |
dc.identifier.citation | 1477-842 |
dc.identifier.citation | 10.1016/j.cl.2016.07.002 |
dc.identifier.uri | http://hdl.handle.net/2117/99390 |
dc.language.iso | eng |
dc.relation | http://www.sciencedirect.com/science/article/pii/S1477842415300361 |
dc.rights | info:eu-repo/semantics/openAccess |
dc.rights | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Enginyeria del software |
dc.subject | Computer software -- Verification |
dc.subject | Computer sowtfare -- Quality control |
dc.subject | Model-driven development (MDD) |
dc.subject | Model-driven architecture (MDA) |
dc.subject | Executable models |
dc.subject | Verification |
dc.subject | Static analysis |
dc.subject | Alf action language |
dc.subject | Programari -- Verificació |
dc.subject | Programari -- Control de qualitat |
dc.title | Lightweight and static verification of UML executable models |
dc.type | info:eu-repo/semantics/submittedVersion |
dc.type | info:eu-repo/semantics/article |
dc.description.abstract | |
dc.description.abstract |