Tríptico de la ingenería del software : Análisis, desarrollo y aplicaciones de metodología raise

El presente proyecto contempla los siguientes aspectos; i) el empleo para la construcción de software del paradigma del 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, ii) el estudio análisis posibles complementacion...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Paganini, José Humberto, Vega, Ariel, Figueroa, Sebastián Marcos, Liberatori, Héctor, Rodríguez, Juan C.
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2010
Materias:
Ciencias Informáticas
Raise
SOFTWARE ENGINEERING
RSL
Lógica
Tríptico del software
Base de datos deductivas
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/19523
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-19523
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
Tríptico del software
Base de datos deductivas
spellingShingle Ciencias Informáticas
Raise
SOFTWARE ENGINEERING
RSL
Lógica
Tríptico del software
Base de datos deductivas
Paganini, José Humberto
Vega, Ariel
Figueroa, Sebastián Marcos
Liberatori, Héctor
Rodríguez, Juan C.
Tríptico de la ingenería del software : Análisis, desarrollo y aplicaciones de metodología raise
topic_facet Ciencias Informáticas
Raise
SOFTWARE ENGINEERING
RSL
Lógica
Tríptico del software
Base de datos deductivas
description El presente proyecto contempla los siguientes aspectos; i) el empleo para la construcción de software del paradigma del 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, ii) el estudio análisis posibles complementaciones del Método RAISE en general y el Lenguaje de Especificación Formal RSL en particular; iii) y el estudio de aplicaciones de la Lógica Computacional cómo una ciencia formativa y básica del contexto de las Ciencias de la Computación. El grupo de investigación y desarrollo a cargo del presente proyecto, se encuentra trabajando en esta temática desde 2007; elaborando las tesis finales de Maestría en Ingeniería del Software de dos de sus miembros; y presentando el presente proyecto en el WICC 2009 en San Juan. En la actualidad se complementan los estudios del método lógico matemático RAISE con análisis y desarrollos en Lógica de Predicados, Lógica Modal y Análisis Funcional para sus aplicaciones en bases de Datos Deductivas y en el análisis ontológico de la Ingeniería del Software.
format Objeto de conferencia
Objeto de conferencia
author Paganini, José Humberto
Vega, Ariel
Figueroa, Sebastián Marcos
Liberatori, Héctor
Rodríguez, Juan C.
author_facet Paganini, José Humberto
Vega, Ariel
Figueroa, Sebastián Marcos
Liberatori, Héctor
Rodríguez, Juan C.
author_sort Paganini, José Humberto
title Tríptico de la ingenería del software : Análisis, desarrollo y aplicaciones de metodología raise
title_short Tríptico de la ingenería del software : Análisis, desarrollo y aplicaciones de metodología raise
title_full Tríptico de la ingenería del software : Análisis, desarrollo y aplicaciones de metodología raise
title_fullStr Tríptico de la ingenería del software : Análisis, desarrollo y aplicaciones de metodología raise
title_full_unstemmed Tríptico de la ingenería del software : Análisis, desarrollo y aplicaciones de metodología raise
title_sort tríptico de la ingenería del software : análisis, desarrollo y aplicaciones de metodología raise
publishDate 2010
url http://sedici.unlp.edu.ar/handle/10915/19523
work_keys_str_mv AT paganinijosehumberto tripticodelaingeneriadelsoftwareanalisisdesarrolloyaplicacionesdemetodologiaraise
AT vegaariel tripticodelaingeneriadelsoftwareanalisisdesarrolloyaplicacionesdemetodologiaraise
AT figueroasebastianmarcos tripticodelaingeneriadelsoftwareanalisisdesarrolloyaplicacionesdemetodologiaraise
AT liberatorihector tripticodelaingeneriadelsoftwareanalisisdesarrolloyaplicacionesdemetodologiaraise
AT rodriguezjuanc tripticodelaingeneriadelsoftwareanalisisdesarrolloyaplicacionesdemetodologiaraise
bdutipo_str Repositorios
_version_ 1764820464208707586

Ejemplares similares