Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2012-11-12T18:03:06Z
dc.date.available 2012-11-12T18:03:06Z
dc.date.issued 2006-08
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/24040
dc.description.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
dc.language en es
dc.subject Verification es
dc.subject UML models en
dc.subject Language models es
dc.title Practical verification strategy for refinement conditions in UML models en
dc.type Objeto de conferencia es
sedici.identifier.isbn 0-387-34828-X es
sedici.creator.person Pons, Claudia es
sedici.creator.person García, Diego es
sedici.description.note 1st International Workshop on Advanced Software Engineering: Expanding the Frontiers of Software Technology - Session 2: Software Modeling es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática (RedUNCI) es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
sedici.date.exposure 2006-08
sedici.relation.event 19 th IFIP World Computer Congress - WCC 2006 es
sedici.description.peerReview peer-review es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (268.8Kb) - PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)