Tesis de Posgrado
Año 2016

Titulo: Ingeniería dirigida por modelos para generar automáticamente servicios backend con sus bases de datos
Autor: Lic. Sebastian Schwartz    
Titulo: Patrón de Diseño Beacon Action Manager para comunicar Aplicaciones Móviles (IoT)
Autor: Lic. Yanina Soledad Boccardo    

Tesis de Posgrado
Año 2015

Titulo: Formalización de Patrones de Comportamiento desde Perfiles UML y especificaciones OCL
Autor: Lic. Alberto Alejandro Cortez    
Titulo: Transformación de Modelos de Procesos del Negocio BPMN 2.0 a Componentes de la Capa del Negocio Java
Autor: Ing. Carlos Alejandro Martinez    
Titulo: ONTOLOGÍA PARA LA INTEROPERABILIDAD DE MODELOS DE SIMULACIÓN EN EL DOMINIO HIDROLÓGICO
Autor: Lic. Mónica del Carmen Gil    
Titulo: Un Modelo para Optimizar la Gestión del Avalúo Fiscal
Autor: Érica Daniela Bonilla    

Tesis de Posgrado
Año 2013

Titulo: MEMPN: Método para la Evaluación de Modelos Conceptuales de Procesos de Negocio
Autor: Esp. Carlos H. Salgado    
Titulo: Definición de un perfil UML para modelar un sistema de eventos discretos y su posterior simulación
Autor: Andrea A. Giubergia    
Titulo: Transformación de Workflows Científicos a Modelos de Negocio en BPMN2 utilizando QVT
Autor: Lic. Corina Natalia Abdelahad    
Titulo: CALIDAD DE DATOS COMO VALOR ESTRATÉGICO DE LA INFORMACIÓN EN E-BUSINESS
Autor: Lic. Marta Elena Cabrera Villafañe    
Titulo: Proyecto e Implementaci&0acute;n de un Algoritmo Distribuido para Búsquedas por Similitud Basado en la Estructura D-Index
Autor: Lic. Norma Beatriz Perez    
Titulo: Optimización de un Protocolo Dining Cryptographers Asíncrono
Autor: Ing. Pablo Marcelo García    

Tesis de Posgrado
Año 2012

Titulo: Una Metodología para el Desarrollo de Aplicaciones Autoadaptativas basada en Business Intelligence. Aplicación en Medicina
Autor: Marcelo Fabio Roldán    

Tesis de Posgrado
Año 2010

Titulo: Definición de Métricas en OCL según el Metamodelo de la OMG aplicadas al Diseño Orientado a Aspectos
Autor: Lic. Lorena Soledad Baigorria Fernández    
Titulo: Definición de Reglas de Transformación de Grafos y QoS para la Interfaz entre Aplicaciones Externas a un Workflow con Servicios Web
Autor: Lic. Paola Martellotto    
Titulo: Análisis de las propiedades y atributos propios de sitios de gobierno electrónico
Autor: Ing. Marcelo Castro    

Tesis de Posgrado
Año 2009

Titulo: Uso de transformaciones de modelos para la definición de procesos de negocio
Autor: Lic. Mauro César Argañaraz Campos    
Titulo: Especificación Formal en RSL de una Infraestructura abierta y estándar de Servicios Web de SIG
Autor: Lic. Oscar Alfredo Testa    

Tesis de Posgrado
Año 2008

Titulo: Agrupamiento Conceptual Jer´rquico Basado en Distancias
Autor: MG. Ana Funes    

Tesis de Posgrado
Año 2007

Titulo: Un Modelo Genérico para el Modelo de Negocio y su Formalización en Object-Z
Autor: Marcela Elena Daniele    
Titulo: Nueva Metodología De Diseño De Sistemas Reconfigurables Basada En Sistemas Orientados A Objetos.
Autor: Julio Daniel Dondo Gazzano    
Titulo: Aplicaciones del paradigma del Tríptico. Formalización de un Dominio de Transporte
Autor: Paganini    
Titulo: ESPECIFICACIÓN FORMAL DE REQUERIMIENTOS DE UN SISTEMA DE VIAJES
Autor: Sebastián Marcos Figueroa    

Tesis de Posgrado
Año 2003

Titulo: Formalization of a Reverse Engineering Strategy
Autor: Gustavo Villavicenio    

Tesis de Posgrado
Año 2002

Titulo: Transforming RSL into PVS
Autor: LIC. Aristides Dasso    
Titulo: Formal Foundations for Semi-Formal Notations
Autor: Lic. Ana Funes