{"id":142,"date":"2006-06-09T00:00:00","date_gmt":"2006-06-09T00:00:00","guid":{"rendered":"http:\/\/ijandev-test.fi.uncoma.edu.ar\/Wordpress\/index.php\/2006\/06\/09\/quiroga-pablo-construccion-de-un-componente-de-vericacion-de-doo-basado-en-un-metamodelo-formal-agosto-2006\/"},"modified":"2022-02-15T03:25:17","modified_gmt":"2022-02-15T06:25:17","slug":"78-quiroga-pablo-construccion-de-un-componente-de-vericacion-de-doo-basado-en-un-metamodelo-formal-agosto-2006","status":"publish","type":"post","link":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/nuevos-lic-lcc\/78-quiroga-pablo-construccion-de-un-componente-de-vericacion-de-doo-basado-en-un-metamodelo-formal-agosto-2006\/","title":{"rendered":"Quiroga, Pablo: Construcci\u00f3n de un componente de verificaci\u00f3n de DOO basado en un metamodelo formal, Junio 2006"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-post\" data-elementor-id=\"142\" class=\"elementor elementor-142\">\n\t\t\t\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-485b7c7c elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"485b7c7c\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-7869f391\" data-id=\"7869f391\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-36906bed elementor-widget elementor-widget-text-editor\" data-id=\"36906bed\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.6.7 - 03-07-2022 *\/\n.elementor-widget-text-editor.elementor-drop-cap-view-stacked .elementor-drop-cap{background-color:#818a91;color:#fff}.elementor-widget-text-editor.elementor-drop-cap-view-framed .elementor-drop-cap{color:#818a91;border:3px solid;background-color:transparent}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap{margin-top:8px}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap-letter{width:1em;height:1em}.elementor-widget-text-editor .elementor-drop-cap{float:left;text-align:center;line-height:1;font-size:50px}.elementor-widget-text-editor .elementor-drop-cap-letter{display:inline-block}<\/style>\t\t\t\t<p><strong>T\u00edtulo:<\/strong> Construcci\u00f3n de un componente de verificaci\u00f3n de DOO basado en un metamodelo formal<\/p><p><strong>Autor:<\/strong> Pablo Daniel Quiroga<\/p><p><strong>Directores:<\/strong> Lic. Silvia Amaro &#8211; Lic. Gabriela Aranda<\/p><p><strong>Carrera:<\/strong> Licenciatura en Ciencias de la Computaci\u00f3n<\/p><p><strong>Fecha de defensa<\/strong>: 09 de junio de 2006<\/p><p><strong>Resumen<\/strong><\/p><p style=\"text-align: justify;\">El prop\u00f3sito de la presente tesis de grado es la construcci\u00f3n de un componente de software que permita veri car si un Dise\u00f1o Orientado a Objetos (DOO) es bien formado. Para ello, se ha utilizado un MetaModelo Formal preexistente, que describe el comportamiento y la estructura de un DOO y que se compone, b\u00e1sicamente, de un conjunto de clases y un conjunto de relaciones. Dado que la implementaci\u00f3n de ambos conjuntos presenta cierta di cultad, en esta tesis se presenta el m\u00f3dulo correspondiente a las relaciones entre las clases de dise\u00f1o y sus restricciones, mientras que en la tesis de Rodrigo Ruiz [15], fue presentado el m\u00f3dulo correspondiente a las clases y sus m\u00e9todos. El producto combinado de ambos trabajos constituye un componente de software, implementado en el lenguaje Java, que permite veri car la correctitud del dise\u00f1o orientado a objetos de una aplicaci\u00f3n.<br \/>Finalmente, este componente junto a otros que est\u00e1n en desarrollo, formar\u00e1 parte de una herramienta cuyo objetivo es facilitar, a los dise\u00f1adores de software, la tarea de veri car si el uso de patrones de dise\u00f1o dentro de sus aplicaciones es correcto, y a la vez adquirir una mayor comprensi\u00f3n sobre los principios de dise\u00f1o con patrones.<\/p>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-78343730 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"78343730\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-37ca6770\" data-id=\"37ca6770\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-7a0148b5 elementor-align-center elementor-widget elementor-widget-button\" data-id=\"7a0148b5\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t<a href=\"https:\/\/www.fi.uncoma.edu.ar\/index.php\/nuevos-lic-lcc\/\" class=\"elementor-button-link elementor-button elementor-size-sm\" role=\"button\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t<span class=\"elementor-button-text\">Ver otras tesis LCC FaI<\/span>\n\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>T\u00edtulo: Construcci\u00f3n de un componente de verificaci\u00f3n de DOO basado en un metamodelo formal Autor: Pablo Daniel Quiroga Directores: Lic. Silvia Amaro &#8211; Lic. Gabriela Aranda Carrera: Licenciatura en Ciencias de la Computaci\u00f3n Fecha de defensa: 09 de junio de 2006 Resumen El prop\u00f3sito de la presente tesis de grado es la construcci\u00f3n de un &hellip;<\/p>\n<p class=\"read-more\"> <a class=\"\" href=\"https:\/\/www.fi.uncoma.edu.ar\/index.php\/nuevos-lic-lcc\/78-quiroga-pablo-construccion-de-un-componente-de-vericacion-de-doo-basado-en-un-metamodelo-formal-agosto-2006\/\"> <span class=\"screen-reader-text\">Quiroga, Pablo: Construcci\u00f3n de un componente de verificaci\u00f3n de DOO basado en un metamodelo formal, Junio 2006<\/span> Leer m\u00e1s &raquo;<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"default","ast-global-header-display":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":""},"categories":[14],"tags":[],"uagb_featured_image_src":{"full":false,"thumbnail":false,"medium":false,"medium_large":false,"large":false,"1536x1536":false,"2048x2048":false},"uagb_author_info":{"display_name":"ufai","author_link":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/author\/ufai\/"},"uagb_comment_info":0,"uagb_excerpt":"T\u00edtulo: Construcci\u00f3n de un componente de verificaci\u00f3n de DOO basado en un metamodelo formal Autor: Pablo Daniel Quiroga Directores: Lic. Silvia Amaro &#8211; Lic. Gabriela Aranda Carrera: Licenciatura en Ciencias de la Computaci\u00f3n Fecha de defensa: 09 de junio de 2006 Resumen El prop\u00f3sito de la presente tesis de grado es la construcci\u00f3n de un&hellip;","_links":{"self":[{"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/posts\/142"}],"collection":[{"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/comments?post=142"}],"version-history":[{"count":5,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/posts\/142\/revisions"}],"predecessor-version":[{"id":9636,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/posts\/142\/revisions\/9636"}],"wp:attachment":[{"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/media?parent=142"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/categories?post=142"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/tags?post=142"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}