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

Autores
Paganini, José Humberto; Vega, Ariel; Figueroa, Sebastián Marcos; Liberatori, Héctor; Rodríguez, Juan C.
Año de publicación
2010
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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.
Eje: ingeniería de software
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
Raise
SOFTWARE ENGINEERING
RSL
Lógica
Tríptico del software
Base de datos deductivas
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/19523

id SEDICI_d4833a26a6a4e96b8eb9a1cea44fd94b
oai_identifier_str oai:sedici.unlp.edu.ar:10915/19523
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Tríptico de la ingenería del software : Análisis, desarrollo y aplicaciones de metodología raisePaganini, José HumbertoVega, ArielFigueroa, Sebastián MarcosLiberatori, HéctorRodríguez, Juan C.Ciencias InformáticasRaiseSOFTWARE ENGINEERINGRSLLógicaTríptico del softwareBase de datos deductivasEl 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.Eje: ingeniería de softwareRed de Universidades con Carreras en Informática (RedUNCI)2010-05info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf367-369http://sedici.unlp.edu.ar/handle/10915/19523spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T10:53:55Zoai:sedici.unlp.edu.ar:10915/19523Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 10:53:55.88SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Tríptico de la ingenería del software : Análisis, desarrollo y aplicaciones de metodología raise
title Tríptico de la ingenería del software : Análisis, desarrollo y aplicaciones de metodología raise
spellingShingle Tríptico de la ingenería del software : Análisis, desarrollo y aplicaciones de metodología raise
Paganini, José Humberto
Ciencias Informáticas
Raise
SOFTWARE ENGINEERING
RSL
Lógica
Tríptico del software
Base de datos deductivas
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
dc.creator.none.fl_str_mv Paganini, José Humberto
Vega, Ariel
Figueroa, Sebastián Marcos
Liberatori, Héctor
Rodríguez, Juan C.
author Paganini, José Humberto
author_facet Paganini, José Humberto
Vega, Ariel
Figueroa, Sebastián Marcos
Liberatori, Héctor
Rodríguez, Juan C.
author_role author
author2 Vega, Ariel
Figueroa, Sebastián Marcos
Liberatori, Héctor
Rodríguez, Juan C.
author2_role author
author
author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
Raise
SOFTWARE ENGINEERING
RSL
Lógica
Tríptico del software
Base de datos deductivas
topic Ciencias Informáticas
Raise
SOFTWARE ENGINEERING
RSL
Lógica
Tríptico del software
Base de datos deductivas
dc.description.none.fl_txt_mv 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.
Eje: ingeniería de software
Red de Universidades con Carreras en Informática (RedUNCI)
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.
publishDate 2010
dc.date.none.fl_str_mv 2010-05
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/19523
url http://sedici.unlp.edu.ar/handle/10915/19523
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
367-369
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1844615795892551680
score 13.070432