Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
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
Paquete original
1 - 1 de 1
- 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