RECERCAT Principal
>
Universitat Politècnica de Catalunya
>
Documents de recerca
>
Visualizar documento
Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/19429
| dc.contributor | Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació |
|---|---|
| dc.contributor | Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació |
| dc.contributor.author | Planas Hortal, Elena |
| dc.contributor.author | Sànchez Mendoza, David |
| dc.contributor.author | Cabot Sagrera, Jordi |
| dc.contributor.author | Gómez Seoane, Cristina |
| dc.date | 2012 |
| dc.identifier.citation | Planas, E. [et al.]. Alf-verifier: an Eclipse plugin for verifying Alf/UML executable models. A: International Conference on Conceptual Modeling. "Conceptual Modeling - 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings". Firenze: Springer, 2012, p. 378-382. |
| dc.identifier.citation | 978-3-642-34001-7 |
| dc.identifier.citation | 10.1007/978-3-642-33999-8_44 |
| dc.identifier.uri | http://hdl.handle.net/2117/19429 |
| dc.language.iso | eng |
| dc.publisher | Springer |
| dc.rights | info:eu-repo/semantics/openAccess |
| dc.subject | Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació |
| dc.subject | UML (Computer science) |
| dc.subject | Action language |
| dc.subject | Class diagrams |
| dc.subject | Design time |
| dc.subject | Eclipse plugin |
| dc.subject | Executable model |
| dc.subject | Integrity constraints |
| dc.subject | UML (Informàtica) |
| dc.title | Alf-verifier: an Eclipse plugin for verifying Alf/UML executable models |
| dc.type | info:eu-repo/semantics/submittedVersion |
| dc.type | info:eu-repo/semantics/conferenceObject |
| dc.description.abstract |
Documentos relacionados
Otros documentos del mismo autor/a
Planas Hortal, Elena; Cabot Sagrera, Jordi; Gómez Seoane, Cristina
Planas Hortal, Elena; Cabot, Jordi; Gómez Seoane, Cristina
Planas Hortal, Elena; Cabot Sagrera, Jordi; Gómez, C.
Planas Hortal, Elena; Cabot Sagrera, Jordi; Gómez, Cristina
Cabot Sagrera, Jordi; Gómez Seoane, Cristina