Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
cic.isFulltext | true | es |
cic.isPeerReviewed | true | es |
cic.lugarDesarrollo | Universidad Nacional de La Plata | es |
cic.version | info:eu-repo/semantics/submittedVersion | es |
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.creator.author | Becker, Valeria | es |
dcterms.creator.author | Pons, Claudia Fabiana | es |
dcterms.description | Eje: Ingeniería de Software y Bases de Datos (ISBD) | es |
dcterms.extent | p. 977-989 | 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 |
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 |
dcterms.subject.materia | Ciencias de la Computación | es |
Archivos
Bloque original
1 - 1 de 1
Cargando...
- Nombre:
- Bedcker Pons - Definición formal de semántica.pdf-PDFA.pdf
- Tamaño:
- 673.01 KB
- Formato:
- Adobe Portable Document Format
- Descripción:
- Documento completo