Show simple item record

dc.date.accessioned 2016-08-16T12:52:14Z
dc.date.available 2016-08-16T12:52:14Z
dc.identifier.uri https://digital.cic.gba.gob.ar/handle/11746/3640
dc.title Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z es
dc.type Documento de conferencia es
dcterms.abstract En este documento presentamos una traducción de diagramas de clases UML complementados con expresiones OCL a expresiones Object-Z.\nNuestro 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.\nEsta 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
dcterms.description Eje: Ingeniería de Software y Bases de Datos (ISBD) es
dcterms.extent p. 977-989 es
dcterms.issued 2003-10
dcterms.language Español es
dcterms.license Attribution 4.0 International (BY 4.0) es
dcterms.subject Base de Datos es
dcterms.subject Formal Languages en
dcterms.subject Semantics en
dcterms.subject SOFTWARE ENGINEERING en
dcterms.subject OCL es
dcterms.subject UML es
dcterms.subject Object-Z en
dcterms.subject lenguajes formales es
dcterms.subject Semántica es
cic.version info:eu-repo/semantics/submittedVersion es
dcterms.creator.author Becker, Valeria es
dcterms.creator.author Pons, Claudia Fabiana es
cic.lugarDesarrollo Universidad Nacional de La Plata es
dcterms.subject.materia Ciencias de la Computación es
dcterms.identifier.url Recurso Completo es
dcterms.isPartOf.issue IX Congreso Argentino de Ciencias de la Computación es
dcterms.isPartOf.series Congreso Argentino de Ciencias de la Computación es
cic.isPeerReviewed true es
cic.isFulltext true es


Files

  • Icon

    Documento completo 

    PDF file (673.0Kb)

  • This item appears in the following Collection(s)

    Show simple item record