Tríptico de la ingeniería del software : Análisis desarrollo y aplicaciones de metodología RAISE

Mostrar todas las versiones(2)

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

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Paganini, José Humberto, Liberatori, Héctor, Figueroa, Sebastián Marcos
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2012
Materias:
Ciencias Informáticas
RAISE
SOFTWARE ENGINEERING
RSL
lógica triptico del software álgebra abstracta
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/18878
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-18878
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
SOFTWARE ENGINEERING
RSL
lógica triptico del software álgebra abstracta
spellingShingle Ciencias Informáticas
RAISE
SOFTWARE ENGINEERING
RSL
lógica triptico del software álgebra abstracta
Paganini, José Humberto
Liberatori, Héctor
Figueroa, Sebastián Marcos
Tríptico de la ingeniería del software : Análisis desarrollo y aplicaciones de metodología RAISE
topic_facet Ciencias Informáticas
RAISE
SOFTWARE ENGINEERING
RSL
lógica triptico del software álgebra abstracta
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, 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 extensiones de la metodología a campos de la Lógica Modal y Temporal, con el análisis tendiente a lograr justificaciones desde el Álgebra Abstracta, el Análisis Funcional; y aportes desde la Lingüística. 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
Liberatori, Héctor
Figueroa, Sebastián Marcos
author_facet Paganini, José Humberto
Liberatori, Héctor
Figueroa, Sebastián Marcos
author_sort Paganini, José Humberto
title Tríptico de la ingeniería del software : Análisis desarrollo y aplicaciones de metodología RAISE
title_short Tríptico de la ingeniería del software : Análisis desarrollo y aplicaciones de metodología RAISE
title_full Tríptico de la ingeniería del software : Análisis desarrollo y aplicaciones de metodología RAISE
title_fullStr Tríptico de la ingeniería del software : Análisis desarrollo y aplicaciones de metodología RAISE
title_full_unstemmed Tríptico de la ingeniería del software : Análisis desarrollo y aplicaciones de metodología RAISE
title_sort tríptico de la ingeniería del software : análisis desarrollo y aplicaciones de metodología raise
publishDate 2012
url http://sedici.unlp.edu.ar/handle/10915/18878
work_keys_str_mv AT paganinijosehumberto tripticodelaingenieriadelsoftwareanalisisdesarrolloyaplicacionesdemetodologiaraise
AT liberatorihector tripticodelaingenieriadelsoftwareanalisisdesarrolloyaplicacionesdemetodologiaraise
AT figueroasebastianmarcos tripticodelaingenieriadelsoftwareanalisisdesarrolloyaplicacionesdemetodologiaraise
bdutipo_str Repositorios
_version_ 1764820463374041092

Ejemplares similares