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

Autores
Paganini, José Humberto; Liberatori, Héctor; Figueroa, Sebastián Marcos
Año de publicación
2012
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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.
Eje: Ingeniería de software
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
RAISE
SOFTWARE ENGINEERING
RSL
lógica triptico del software álgebra abstracta
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/18878

id SEDICI_3d27359b1157b9ec77eee8678c05505d
oai_identifier_str oai:sedici.unlp.edu.ar:10915/18878
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Tríptico de la ingeniería del software : Análisis desarrollo y aplicaciones de metodología RAISEPaganini, José HumbertoLiberatori, HéctorFigueroa, Sebastián MarcosCiencias InformáticasRAISESOFTWARE ENGINEERINGRSLlógica triptico del software álgebra abstractaEl 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.Eje: Ingeniería de softwareRed de Universidades con Carreras en Informática (RedUNCI)2012info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf420-423http://sedici.unlp.edu.ar/handle/10915/18878spainfo:eu-repo/semantics/altIdentifier/isbn/978-950-766-082-5info: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:41Zoai:sedici.unlp.edu.ar:10915/18878Institucionalhttp://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:41.404SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Tríptico de la ingeniería del software : Análisis desarrollo y aplicaciones de metodología RAISE
title Tríptico de la ingeniería del software : Análisis desarrollo y aplicaciones de metodología RAISE
spellingShingle Tríptico de la ingeniería del software : Análisis desarrollo y aplicaciones de metodología RAISE
Paganini, José Humberto
Ciencias Informáticas
RAISE
SOFTWARE ENGINEERING
RSL
lógica triptico del software álgebra abstracta
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
dc.creator.none.fl_str_mv Paganini, José Humberto
Liberatori, Héctor
Figueroa, Sebastián Marcos
author Paganini, José Humberto
author_facet Paganini, José Humberto
Liberatori, Héctor
Figueroa, Sebastián Marcos
author_role author
author2 Liberatori, Héctor
Figueroa, Sebastián Marcos
author2_role author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
RAISE
SOFTWARE ENGINEERING
RSL
lógica triptico del software álgebra abstracta
topic Ciencias Informáticas
RAISE
SOFTWARE ENGINEERING
RSL
lógica triptico del software álgebra abstracta
dc.description.none.fl_txt_mv 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.
Eje: Ingeniería de software
Red de Universidades con Carreras en Informática (RedUNCI)
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.
publishDate 2012
dc.date.none.fl_str_mv 2012
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/18878
url http://sedici.unlp.edu.ar/handle/10915/18878
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/isbn/978-950-766-082-5
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
420-423
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_ 1844615792965976064
score 13.070432