Show simple item record 2016-08-16T13:03:34Z 2016-08-16T13:03:34Z
dc.title Practical verification strategy for refinement conditions in UML models en
dc.type Documento de conferencia es
dcterms.abstract 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. en
dcterms.description 1st International Workshop on Advanced Software Engineering: Expanding the Frontiers of Software Technology - Session 2: Software Modeling es
dcterms.extent 15 p. es
dcterms.issued 2006-08
dcterms.language Español es
dcterms.license Attribution 4.0 International (BY 4.0) es
dcterms.subject UML models en
dcterms.subject Verification en
dcterms.subject Language models en
cic.version info:eu-repo/semantics/submittedVersion es García, Diego es Pons, Claudia Fabiana es
cic.lugarDesarrollo Universidad Nacional de La Plata es
dcterms.subject.materia Ciencias Informáticas es
dcterms.identifier.url Recurso Completo es
dcterms.identifier.other 0-387-34828-X es
dcterms.isPartOf.issue XIX IFIP World Computer Congress - WCC 2006 es
dcterms.isPartOf.series IFIP World Computer Congress - WCC 2006 es
cic.isPeerReviewed true es
cic.isFulltext true es


  • Icon

    Documento completo 

    PDF file (274.3Kb)

  • This item appears in the following Collection(s)

    Show simple item record