| Título: | Tríptico de la ingenería del software |
| Autores: |
Paganini, José Humberto Vega, Ariel Figueroa, Sebastián Marcos Liberatori, Héctor Rodríguez, Juan C. |
| Fecha: |
2012-08-13 2010-05 2010 |
| Publicador: | Unversidad Nacional de La Plata |
| Fuente: |
 |
| Tipo: |
Objeto de conferencia Objeto de conferencia |
| Tema: |
Raise RSL Lógica Tríptico del software Base de datos deductivas SOFTWARE ENGINEERING Ciencias Informáticas |
| Descripción: |
El presente proyecto contempla los siguientes aspectos; i) el empleo para la construcción de software del paradigma del Tríptico de la Ingeniería del Software, compuesto por la Ingeniería del Dominio, Ingeniería de Requisitos y el Diseño del Software, ii) el estudio análisis posibles complementaciones del Método RAISE en general y el Lenguaje de Especificación Formal RSL en particular; iii) y el estudio de aplicaciones de la Lógica Computacional cómo una ciencia formativa y básica del contexto de las Ciencias de la Computación.
El grupo de investigación y desarrollo a cargo del presente proyecto, se encuentra trabajando en esta temática desde 2007; elaborando las tesis finales de Maestría en Ingeniería del Software de dos de sus miembros; y presentando el presente proyecto en el WICC 2009 en San Juan.
En la actualidad se complementan los estudios del método lógico matemático RAISE con análisis y desarrollos en Lógica de Predicados, Lógica Modal y Análisis Funcional para sus aplicaciones en bases de Datos Deductivas y en el análisis ontológico de la Ingeniería del Software. Eje: ingeniería de software |
| Idioma: | Español |
1 Ajuste de las variables que gobiernan los modelos de comportamiento de HDM-4 para vías no pavimentadas de la región de Antofagasta (Chile) por Rojas Cazaluade, Oscar Orlando | 6 Alternativas para el fraccionamiento de un Parque Industrial por Borrego, Juan Antonio |
2 La Agrimensura como base de investigaciones arqueológicas por Alfageme, Marcelo O.,Papagni, Jorge H. | 7 La propiedad horizontal por López, María Inés |
3 Anteproyecto de saneamiento y loteo por Antolín, Ricardo Gabriel,Williams, Enrique Oliver | 8 Laguna "San Antonio" por Milone, Ricardo Raúl |
4 Balneario Municipal de la ciudad de Diamante por Battistessa, Gustavo J.,Palomeque, José F. | 9 Estudio catastral de tierras en el partido de San Fernando por Miquelarena, Carlos Alberto |
5 | 10 |