Título: "Construcción de un componente de software de un Meta Modelo de OOD basado en una especificación formal de OOD"

Autor: Rodrigo Alfredo Ruiz

Directora: Mg. Alejandra Cechich

Carrera: Licenciatura en Ciencias de la Computación

Fecha de defensa: 23 diciembre 2004

Resumen

El propósito del siguiente trabajo de tesis se centra en la concepción de un componente de software desarrollado en lenguaje Java que implementa parte de la descripción de un Meta- Modelo de Diseño Orientado a Objetos expresado en lenguaje RSL. Dicho Meta-Modelo describe de manera formal la estructura y comportamiento de los elementos que componen un Diseño Orientado a Objetos (clases , métodos y relaciones). Dada la complejidad y extensión del Meta- Modelo citado , se dividió el mismo en dos fragmentos funcionales complementarios. El primer fragmento trata acerca de la definición de las relaciones y las propiedades que las mis mas exhiben. El segundo fragmento, objeto de éste trabajo de tesis, exhibe el modelado de clases y métodos de Diseño Orientado a Objetos, y la verificación de las propiedades que presentan los mismos en cuanto a su estructura y comportamiento. Al mismo tiempo, modela la funcionalidad de la Estructura de Diseño relacionada con la verificación de las propiedades de diseño de las clases y métodos antes mencionados. El citado componente conforma, junto a otros componentes, la base para la concepción de una herramienta de software basada en componentes. La misma será utilizada por los diseñadores para modelar sistemas y luego verificar la correcta aplicación de Patrones de Diseño en sus diseños.

Ver otras tesis FaI ]

 

Título: Planeamiento en un sistema de diálogo

Autor: Luciana Benotti

Directores: Mg Gerardo Parra y Carlos Areces

Carrera: Licenciatura en Ciencias de la Computación

Fecha de defensa: 19 de Septiembre de 2005

 

 [ Ver otras tesis FaI ]

Título: Construcción de un componente de verificación de DOO basado en un metamodelo formal

Autor: Pablo Daniel Quiroga

Directores: Lic. Silvia Amaro - Lic. Gabriela Aranda

Carrera: Licenciatura en Ciencias de la Computación

Fecha de defensa: 09 de junio de 2006


Resumen

El propósito de la presente tesis de grado es la construcción de un componente de software que permita veri car si un Diseño 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ásicamente, de un conjunto de clases y un conjunto de relaciones. Dado que la implementación de ambos conjuntos presenta cierta di cultad, en esta tesis se presenta el módulo correspondiente a las relaciones entre las clases de diseño y sus restricciones, mientras que en la tesis de Rodrigo Ruiz [15], fue presentado el módulo correspondiente a las clases y sus métodos. El producto combinado de ambos trabajos constituye un componente de software, implementado en el lenguaje Java, que permite veri car la correctitud del diseño orientado a objetos de una aplicación.
Finalmente, este componente junto a otros que están en desarrollo, formará parte de una herramienta cuyo objetivo es facilitar, a los diseñadores de software, la tarea de veri car si el uso de patrones de diseño dentro de sus aplicaciones es correcto, y a la vez adquirir una mayor comprensión sobre los principios de diseño con patrones.

 [ Ver otras tesis FaI ]

Título: Ofuscadores de código intermedio

Autor: Daniel Dolz

Director: Mg Gerardo Parra

Carrera: Licenciatura en Ciencias de la Computación

Fecha de defensa: Octubre 2005

 

Ver otras tesis FaI ]

 

 

Título: Depuración orientada a código fuente de programas Prolog basados en Eclipse

Autor: Juan Angel Vanrell

Directores: Mg. Claudio Vaucheret

Carrera: Licenciatura en Ciencias de la Computación

Fecha de defensa: 5 de septiembre de 2006

 [ Ver otras tesis FaI ]

Página 19 de 22

Logo Grupo Euclides 

Trámites online (COVID-19)

Logo Grupo Euclides 

Asesoramiento y Contención
Psicológica para Estudiantes 


Logo Grupo Euclides

Logo Fidebian  Logo Tutorias FAI  Logo CEFAI

 

Logo TAP