Subir material

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

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2012-10-19T12:29:44Z
dc.date.available 2012-10-19T12:29:44Z
dc.date.issued 2003-10
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/22650
dc.description.abstract En este documento presentamos una traducción de diagramas de clases UML complementados con expresiones OCL a expresiones Object-Z. Nuestro fin es proveer una formalización de los modelos gráfico-textuales expresados mediante UML/OCL que permita aplicar técnicas clásicas de verificación y prueba de teoremas sobre los modelos. Esta traducción está siendo implementada como parte de una herramienta CASE que permite editar y gestionar modelos. Esperamos que pueda servir como un medio que ayude promover el uso industrial de UML y OCL. es
dc.format.extent 977-989 es
dc.language es es
dc.subject Formal Languages es
dc.subject OCL es
dc.subject base de datos es
dc.subject Semantics es
dc.subject UML es
dc.subject Object-Z es
dc.subject SOFTWARE ENGINEERING es
dc.subject lenguajes formales es
dc.subject semántica es
dc.title Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z es
dc.type Objeto de conferencia es
sedici.creator.person Becker, Valeria es
sedici.creator.person Pons, Claudia es
sedici.description.note Eje: Ingeniería de Software y Bases de Datos (ISBD) 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 2003-10
sedici.relation.event IX Congreso Argentino de Ciencias de la Computación es
sedici.description.peerReview peer-review es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (658.4Kb) - 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)