| dc.creator | Paganini, José Humberto | |
| dc.creator | Figueroa, Sebastián Marcos | |
| dc.creator | Rodríguez, Juan C. | |
| dc.creator | Liberatori, Héctor | |
| dc.creator | Huanca, José Eduardo | |
| dc.date | 2009-05 | |
| dc.date | 2009 | |
| dc.date | 2012-08-15T14:52:17Z | |
| dc.identifier | http://sedici.unlp.edu.ar/handle/10915/19738 | |
| dc.description | 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 | |
| dc.description | Eje: Ingeniería de Software y Base de Datos | |
| dc.description | Red de Universidades con Carreras en Informática (RedUNCI) | |
| dc.format | application/pdf | |
| dc.format | 278-280 | |
| dc.language | es | |
| dc.relation | XI Workshop de Investigadores en Ciencias de la Computación | |
| dc.rights | http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
| dc.rights | Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) | |
| dc.subject | Ciencias Informáticas | |
| dc.title | Triptico de la ingeniería del software : Análisis desarrollo y aplicaciones de metodología raise | |
| dc.type | Objeto de conferencia | |
| dc.type | Objeto de conferencia | |
