| Título: | Triptico de la ingeniería del software |
| Autores: |
Paganini, José Humberto Figueroa, Sebastián Marcos Rodríguez, Juan C. Liberatori, Héctor Huanca, José Eduardo |
| Fecha: |
2012-08-15 2009-05 2009 |
| Publicador: | Unversidad Nacional de La Plata |
| Fuente: |
 |
| Tipo: |
Objeto de conferencia Objeto de conferencia |
| Tema: |
RAISE RSL Lógico tríptico del software SOFTWARE ENGINEERING Ciencias Informáticas base de datos |
| Descripción: |
El 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, tiene como fase más importante a la primera de ellas, que especifica el espacio donde será eventualmente aplicado un producto software particular.
Especificar según la metodología RAISE es expresar mediante formulaciones lógico matemáticas las entidades y sus relaciones en un dominio; logrando una sintaxis precisa y una semántica única para ello se emplea el lenguaje formal RSL (RAISE Specification Language) El presente proyecto encara, por un lado, el análisis de la metodología RAISE, su vinculación a los procesos de Verificación y Validación del software y eventuales extensiones de la metodología a campos de la Lógica Modal y teoría de Probabilidades. Por otro se realizarán aplicaciones a casos concretos de diseños efectuados bajo el paradigma del Tríptico, con énfasis en la Ingeniería del Dominio Eje: Ingeniería de Software y Base de Datos |
| 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 |