Lasis

Trabajos Posgrado

Icon

Titulo: Modelado y Análisis Estocástico de Sistemas Biológicos

Autor: Gabriel Domingo Vilallonga

2020
Icon

Titulo: Coordinación de dispositivos en ambientes ubicuos mediante coreografías

Autor: Oscar Alfredo Testa

2020
Icon

Titulo: Estrategia para la Especificación de Requisitos de Calidad del Software

Autor: Ing. Javier D Saldarini

2020
Icon

Titulo: Maddog: Modelo para la adopción de DevOps en ámbitos gubernamentales

Autor: Ing. Carlos Acosta Parra

2019
Icon

Titulo: Definición de Métricas de Calidad para Productos de Software pertenecientes al Dominio del Mercado Farmacéutico

Autor: Lic. Alejandra Velia Lopez

2019
Icon

Titulo: Un Método de Evaluación para Modelo de Gestión de Calidad en Empresas de Software y Servicios Informaticos

Autor: Ing. Walter Lucero

2019
Icon

Titulo: Alloy para la Definición, Verificación y Validación de Modelos en Desarrollos Ágiles sobre Entity Framework

Autor: María Belén Bonino

2018
Icon

Titulo: Estrategias para Interconectar el Dominio del Problema con el Dominio del Programa en Sistemas Multiparadigmas

Autor: Enrique Alfredo Miranda

2018
Icon

Titulo: Modelo ontológico para la interoperabilidad de políticas de calidad de servicio entre controladores de Redes Definidas por Software

Autor: Ing. Juan Carlos Calloni

2018
Icon

Titulo: Análisis de Metodologías para Administración de Proyectos E-Learning

Autor: Lic. Hugo José Viano

2018
Icon

Titulo: Análisis de Métricas de Usabilidad en Sistemas de Información Web

Autor: Lic. Jesús Francisco Aguirre

2017
Icon

Titulo: Ingeniería dirigida por modelos para generar automáticamente servicios backend con sus bases de datos

Autor: Lic. Sebastian Schwartz

2016
Icon

Titulo: Patrón de Diseño Beacon Action Manager para comunicar Aplicaciones Móviles (IoT)

Autor: Lic. Yanina Soledad Boccardo

2016
Icon

Titulo: Formalización de Patrones de Comportamiento desde Perfiles UML y especificaciones OCL

Autor: Lic. Alberto Alejandro Cortez

2015
Icon

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

2015
Icon

Titulo: ONTOLOGÍA PARA LA INTEROPERABILIDAD DE MODELOS DE SIMULACIÓN EN EL DOMINIO HIDROLÓGICO

Autor: Lic. Mónica del Carmen Gil

2015
Icon

Titulo: Un Modelo para Optimizar la Gestión del Avalúo Fiscal

Autor: Érica Daniela Bonilla

2015
Icon

Titulo: MEMPN: Método para la Evaluación de Modelos Conceptuales de Procesos de Negocio

Autor: Esp. Carlos H. Salgado

2013
Icon

Titulo: Definición de un perfil UML para modelar un sistema de eventos discretos y su posterior simulación

Autor: Andrea A. Giubergia

2013
Icon

Titulo: Transformación de Workflows Científicos a Modelos de Negocio en BPMN2 utilizando QVT

Autor: Lic. Corina Natalia Abdelahad

2013
Icon

Titulo: CALIDAD DE DATOS COMO VALOR ESTRATÉGICO DE LA INFORMACIÓN EN E-BUSINESS

Autor: Lic. Marta Elena Cabrera Villafañe

2013
Icon

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

2013
Icon

Titulo: Optimización de un Protocolo Dining Cryptographers Asíncrono

Autor: Ing. Pablo Marcelo García

2013
Icon

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

Autor: Marcelo Fabio Roldán

2012
Icon

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

2010
Icon

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

2010
Icon

Titulo: Análisis de las propiedades y atributos propios de sitios de gobierno electrónico

Autor: Ing. Marcelo Castro

2010
Icon

Titulo: Uso de transformaciones de modelos para la definición de procesos de negocio

Autor: Lic. Mauro César Argañaraz Campos

2009
Icon

Titulo: Especificación Formal en RSL de una Infraestructura abierta y estándar de Servicios Web de SIG

Autor: Lic. Oscar Alfredo Testa

2009
Icon

Titulo: Agrupamiento Conceptual Jer´rquico Basado en Distancias

Autor: MG. Ana Funes

2008
Icon

Titulo: Un Modelo Genérico para el Modelo de Negocio y su Formalización en Object-Z

Autor: Marcela Elena Daniele

2007
Icon

Titulo: Nueva Metodología De Diseño De Sistemas Reconfigurables Basada En Sistemas Orientados A Objetos

Autor: Julio Daniel Dondo Gazzano

2007
Icon

Titulo: Aplicaciones del paradigma del Tríptico. Formalización de un Dominio de Transporte

Autor: Paganini

2007
Icon

Titulo: ESPECIFICACIÓN FORMAL DE REQUERIMIENTOS DE UN SISTEMA DE VIAJES

Autor: Sebastián Marcos Figueroa

2007
Icon

Titulo: Formalization of a Reverse Engineering Strategy

Autor: Gustavo Villavicenio

2003
Icon

Titulo: Transforming RSL into PVS

Autor: LIC. Aristides Dasso

2002
Icon

Titulo: Formal Foundations for Semi-Formal Notations

Autor: Lic. Ana Funes

2002
Icon

Icon