Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
- Autores
- Becker, Valeria; Pons, Claudia Fabiana
- Año de publicación
- 2003
- Idioma
- español castellano
- Tipo de recurso
- documento de conferencia
- Estado
- versión enviada
- Descripción
- 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.
Eje: Ingeniería de Software y Bases de Datos (ISBD) - Materia
-
Ciencias de la Computación
Base de Datos
OCL
UML
lenguajes formales
Semántica
Formal Languages
Semantics
SOFTWARE ENGINEERING
Object-Z - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by/4.0/
- Repositorio
- Institución
- Comisión de Investigaciones Científicas de la Provincia de Buenos Aires
- OAI Identificador
- oai:digital.cic.gba.gob.ar:11746/3640
Ver los metadatos del registro completo
id |
CICBA_6495c426269ea5e6e814e55b7c08412b |
---|---|
oai_identifier_str |
oai:digital.cic.gba.gob.ar:11746/3640 |
network_acronym_str |
CICBA |
repository_id_str |
9441 |
network_name_str |
CIC Digital (CICBA) |
spelling |
Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-zBecker, ValeriaPons, Claudia FabianaCiencias de la ComputaciónBase de DatosOCLUMLlenguajes formalesSemánticaFormal LanguagesSemanticsSOFTWARE ENGINEERINGObject-ZEn 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.Eje: Ingeniería de Software y Bases de Datos (ISBD)2003-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/submittedVersionhttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttps://digital.cic.gba.gob.ar/handle/11746/3640spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by/4.0/reponame:CIC Digital (CICBA)instname:Comisión de Investigaciones Científicas de la Provincia de Buenos Airesinstacron:CICBA2025-09-04T09:43:27Zoai:digital.cic.gba.gob.ar:11746/3640Institucionalhttp://digital.cic.gba.gob.arOrganismo científico-tecnológicoNo correspondehttp://digital.cic.gba.gob.ar/oai/snrdmarisa.degiusti@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:94412025-09-04 09:43:27.457CIC Digital (CICBA) - Comisión de Investigaciones Científicas de la Provincia de Buenos Airesfalse |
dc.title.none.fl_str_mv |
Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z |
title |
Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z |
spellingShingle |
Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z Becker, Valeria Ciencias de la Computación Base de Datos OCL UML lenguajes formales Semántica Formal Languages Semantics SOFTWARE ENGINEERING 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 |
dc.creator.none.fl_str_mv |
Becker, Valeria Pons, Claudia Fabiana |
author |
Becker, Valeria |
author_facet |
Becker, Valeria Pons, Claudia Fabiana |
author_role |
author |
author2 |
Pons, Claudia Fabiana |
author2_role |
author |
dc.subject.none.fl_str_mv |
Ciencias de la Computación Base de Datos OCL UML lenguajes formales Semántica Formal Languages Semantics SOFTWARE ENGINEERING Object-Z |
topic |
Ciencias de la Computación Base de Datos OCL UML lenguajes formales Semántica Formal Languages Semantics SOFTWARE ENGINEERING Object-Z |
dc.description.none.fl_txt_mv |
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. Eje: Ingeniería de Software y Bases de Datos (ISBD) |
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. |
publishDate |
2003 |
dc.date.none.fl_str_mv |
2003-10 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/conferenceObject info:eu-repo/semantics/submittedVersion http://purl.org/coar/resource_type/c_5794 info:ar-repo/semantics/documentoDeConferencia |
format |
conferenceObject |
status_str |
submittedVersion |
dc.identifier.none.fl_str_mv |
https://digital.cic.gba.gob.ar/handle/11746/3640 |
url |
https://digital.cic.gba.gob.ar/handle/11746/3640 |
dc.language.none.fl_str_mv |
spa |
language |
spa |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/4.0/ |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
http://creativecommons.org/licenses/by/4.0/ |
dc.format.none.fl_str_mv |
application/pdf |
dc.source.none.fl_str_mv |
reponame:CIC Digital (CICBA) instname:Comisión de Investigaciones Científicas de la Provincia de Buenos Aires instacron:CICBA |
reponame_str |
CIC Digital (CICBA) |
collection |
CIC Digital (CICBA) |
instname_str |
Comisión de Investigaciones Científicas de la Provincia de Buenos Aires |
instacron_str |
CICBA |
institution |
CICBA |
repository.name.fl_str_mv |
CIC Digital (CICBA) - Comisión de Investigaciones Científicas de la Provincia de Buenos Aires |
repository.mail.fl_str_mv |
marisa.degiusti@sedici.unlp.edu.ar |
_version_ |
1842340420641619968 |
score |
12.623145 |