Registro completo de metadatos
| Campo DC | Valor | Lengua/Idioma |
|---|---|---|
| dc.provenance | Comisión de Investigaciones Científicas | - |
| dc.contributor | Becker, Valeria | - |
| dc.contributor | Pons, Claudia Fabiana | - |
| dc.creator | Becker, Valeria | - |
| dc.creator | Pons, Claudia Fabiana | - |
| dc.date | 2003-10 | - |
| dc.date.accessioned | 2019-04-29T16:07:51Z | - |
| dc.date.available | 2019-04-29T16:07:51Z | - |
| dc.date.issued | 2003-10 | - |
| dc.identifier | http://digital.cic.gba.gob.ar/handle/11746/3640 | - |
| dc.identifier | Recurso Completo | - |
| dc.identifier.uri | http://rodna.bn.gov.ar:8080/jspui/handle/bnmm/309947 | - |
| dc.description | 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. | - |
| dc.description | Eje: Ingeniería de Software y Bases de Datos (ISBD) | - |
| dc.format | application/pdf | - |
| dc.format | p. 977-989 | - |
| dc.language | spa | - |
| dc.rights | info:eu-repo/semantics/openAccess | - |
| dc.rights | Attribution 4.0 International (BY 4.0) | - |
| dc.source | reponame:CIC Digital (CICBA) | - |
| dc.source | instname:Comisión de Investigaciones Científicas de la Provincia de Buenos Aires | - |
| dc.source | instacron:CICBA | - |
| dc.source.uri | http://digital.cic.gba.gob.ar/handle/11746/3640 | - |
| dc.source.uri | Recurso Completo | - |
| dc.subject | Ciencias de la Computación | - |
| dc.title | Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z | - |
| dc.type | info:eu-repo/semantics/conferenceObject | - |
| dc.type | info:eu-repo/semantics/submittedVersion | - |
| dc.type | info:ar-repo/semantics/documentoDeConferencia | - |
| Aparece en las colecciones: | Comisión de Investigaciones Científicas de la Prov. de Buenos Aires | |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.