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

cic.isFulltexttruees
cic.isPeerReviewedtruees
cic.lugarDesarrolloUniversidad Nacional de La Plata es
cic.versioninfo:eu-repo/semantics/submittedVersiones
dc.date.accessioned2016-08-16T12:52:14Z
dc.date.available2016-08-16T12:52:14Z
dc.identifier.urihttps://digital.cic.gba.gob.ar/handle/11746/3640
dc.titleDefinicion formal de la semantica de uml-ocl a traves de su traduccion a object-zes
dc.typeDocumento de conferenciaes
dcterms.abstractEn 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.authorBecker, Valeriaes
dcterms.creator.authorPons, Claudia Fabianaes
dcterms.descriptionEje: Ingeniería de Software y Bases de Datos (ISBD)es
dcterms.extentp. 977-989es
dcterms.identifier.urlRecurso Completoes
dcterms.isPartOf.issueIX Congreso Argentino de Ciencias de la Computaciónes
dcterms.isPartOf.seriesCongreso Argentino de Ciencias de la Computaciónes
dcterms.issued2003-10
dcterms.languageEspañoles
dcterms.licenseAttribution 4.0 International (BY 4.0)es
dcterms.subjectBase de Datoses
dcterms.subjectFormal Languagesen
dcterms.subjectSemanticsen
dcterms.subjectSOFTWARE ENGINEERINGen
dcterms.subjectOCLes
dcterms.subjectUMLes
dcterms.subjectObject-Zen
dcterms.subjectlenguajes formaleses
dcterms.subjectSemánticaes
dcterms.subject.materiaCiencias de la Computaciónes

Archivos

Bloque original

Mostrando 1 - 1 de 1
Cargando...
Miniatura
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