Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z

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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Becker, Valeria, Pons, Claudia
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2003
Materias:
Ciencias Informáticas
Formal Languages
OCL
base de datos
Semantics
UML
Object-Z
SOFTWARE ENGINEERING
lenguajes formales
semántica
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22650
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-22650
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Formal Languages
OCL
base de datos
Semantics
UML
Object-Z
SOFTWARE ENGINEERING
lenguajes formales
semántica
spellingShingle Ciencias Informáticas
Formal Languages
OCL
base de datos
Semantics
UML
Object-Z
SOFTWARE ENGINEERING
lenguajes formales
semántica
Becker, Valeria
Pons, Claudia
Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
topic_facet Ciencias Informáticas
Formal Languages
OCL
base de datos
Semantics
UML
Object-Z
SOFTWARE ENGINEERING
lenguajes formales
semántica
description 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.
format Objeto de conferencia
Objeto de conferencia
author Becker, Valeria
Pons, Claudia
author_facet Becker, Valeria
Pons, Claudia
author_sort Becker, Valeria
title Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
title_short Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
title_full Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
title_fullStr Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
title_full_unstemmed Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
title_sort definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
publishDate 2003
url http://sedici.unlp.edu.ar/handle/10915/22650
work_keys_str_mv AT beckervaleria definicionformaldelasemanticadeumloclatravesdesutraduccionaobjectz
AT ponsclaudia definicionformaldelasemanticadeumloclatravesdesutraduccionaobjectz
bdutipo_str Repositorios
_version_ 1764820466172690432

Ejemplares similares