Triptico de la ingeniería del software : Análisis desarrollo y aplicaciones de metodología raise
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...
Guardado en:
Autores principales: | , , , , |
---|---|
Formato: | Objeto de conferencia |
Lenguaje: | Español |
Publicado: |
2009
|
Materias: | |
Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/19738 |
Aporte de: |
id |
I19-R120-10915-19738 |
---|---|
record_format |
dspace |
institution |
Universidad Nacional de La Plata |
institution_str |
I-19 |
repository_str |
R-120 |
collection |
SEDICI (UNLP) |
language |
Español |
topic |
Ciencias Informáticas RAISE base de datos SOFTWARE ENGINEERING RSL Lógico tríptico del software |
spellingShingle |
Ciencias Informáticas RAISE base de datos SOFTWARE ENGINEERING RSL Lógico tríptico del software Paganini, José Humberto Figueroa, Sebastián Marcos Rodríguez, Juan C. Liberatori, Héctor Huanca, José Eduardo Triptico de la ingeniería del software : Análisis desarrollo y aplicaciones de metodología raise |
topic_facet |
Ciencias Informáticas RAISE base de datos SOFTWARE ENGINEERING RSL Lógico tríptico del software |
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 |
format |
Objeto de conferencia Objeto de conferencia |
author |
Paganini, José Humberto Figueroa, Sebastián Marcos Rodríguez, Juan C. Liberatori, Héctor Huanca, José Eduardo |
author_facet |
Paganini, José Humberto Figueroa, Sebastián Marcos Rodríguez, Juan C. Liberatori, Héctor Huanca, José Eduardo |
author_sort |
Paganini, José Humberto |
title |
Triptico de la ingeniería del software : Análisis desarrollo y aplicaciones de metodología raise |
title_short |
Triptico de la ingeniería del software : Análisis desarrollo y aplicaciones de metodología raise |
title_full |
Triptico de la ingeniería del software : Análisis desarrollo y aplicaciones de metodología raise |
title_fullStr |
Triptico de la ingeniería del software : Análisis desarrollo y aplicaciones de metodología raise |
title_full_unstemmed |
Triptico de la ingeniería del software : Análisis desarrollo y aplicaciones de metodología raise |
title_sort |
triptico de la ingeniería del software : análisis desarrollo y aplicaciones de metodología raise |
publishDate |
2009 |
url |
http://sedici.unlp.edu.ar/handle/10915/19738 |
work_keys_str_mv |
AT paganinijosehumberto tripticodelaingenieriadelsoftwareanalisisdesarrolloyaplicacionesdemetodologiaraise AT figueroasebastianmarcos tripticodelaingenieriadelsoftwareanalisisdesarrolloyaplicacionesdemetodologiaraise AT rodriguezjuanc tripticodelaingenieriadelsoftwareanalisisdesarrolloyaplicacionesdemetodologiaraise AT liberatorihector tripticodelaingenieriadelsoftwareanalisisdesarrolloyaplicacionesdemetodologiaraise AT huancajoseeduardo tripticodelaingenieriadelsoftwareanalisisdesarrolloyaplicacionesdemetodologiaraise |
bdutipo_str |
Repositorios |
_version_ |
1764820464626040837 |