Registro completo de metadatos
| Campo DC | Valor | Lengua/Idioma |
|---|---|---|
| dc.provenance | Universidad de Buenos Aires. Facultad de Ciencias Económicas | - |
| dc.creator | García, Diego | - |
| dc.creator | Pons, Claudia Fabiana | - |
| dc.date | 2006-08 | - |
| dc.date.accessioned | 2019-06-19T20:35:46Z | - |
| dc.date.available | 2019-06-19T20:35:46Z | - |
| dc.date.issued | 2006-08 | - |
| dc.identifier | http://digital.cic.gba.gob.ar/handle/11746/3643 | - |
| dc.identifier | Recurso Completo | - |
| dc.identifier.uri | http://rodna.bn.gov.ar/jspui/handle/bnmm/327022 | - |
| dc.description | This paper presents an automatic and simple method for creating refinement condition for UML models. Conditions are fully written in OCL, making it unnecessary the application of mathematical languages which are in general hardly accepted to software engineers. Besides, considering that the state space where OCL conditions are evaluated might be too large (or even infinite), the strategy of micromodels is applied in order to reduce the search space. The overall contribution is to propitiate the performing of verification activities during the model-driven development process. | - |
| dc.description | 1st International Workshop on Advanced Software Engineering: Expanding the Frontiers of Software Technology - Session 2: Software Modeling | - |
| dc.format | application/pdf | - |
| dc.format | 15 p. | - |
| dc.language | spa | - |
| dc.rights | info:eu-repo/semantics/openAccess | - |
| dc.rights | Attribution 4.0 International (BY 4.0) | - |
| dc.source | reponame:CIC Digital (CICBA) | - |
| dc.source | instname:Comisión de Investigaciones Científicas de la Provincia de Buenos Aires | - |
| dc.source | instacron:CICBA | - |
| dc.source.uri | http://digital.cic.gba.gob.ar/handle/11746/3643 | - |
| dc.source.uri | Recurso Completo | - |
| dc.subject | Ciencias Informáticas | - |
| dc.title | Practical verification strategy for refinement conditions in UML models | - |
| dc.type | info:eu-repo/semantics/conferenceObject | - |
| dc.type | info:eu-repo/semantics/submittedVersion | - |
| dc.type | info:ar-repo/semantics/documentoDeConferencia | - |
| Aparece en las colecciones: | Facultad de Ciencias Económicas. UBA | |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.