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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Paganini, José Humberto, Figueroa, Sebastián Marcos, Rodríguez, Juan C., Liberatori, Héctor, Huanca, José Eduardo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2009
Materias:
RSL
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