Incorporando Alloy en desarrollos basados en metodologías agiles

Autores
Bonino, María Belén; Garis, Ana Gabriela; Riesco, Daniel Eduardo
Año de publicación
2015
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
Las Metodologías Ágiles (MA) son ampliamente elegidas en proyectos de software actuales. No obstante, frecuentemente deben afrontar problemas inherentes a su falta de formalidad; tales como la dificultad de recoger, entender y mantener los requerimientos del sistema. Alloy es un lenguaje formal, soportado por una amigable herramienta de verificación y validación. Estas caracterísiticas pueden ser aprovechadas en favor de las MA. La línea de investigación se enfoca puntualmente en la adopción de Alloy dentro de las MA mas populares. Esto incluye analizar no solo los beneficios, sino también la forma en que dicho lenguaje puede ser incorporado en el proceso de desarrollo de software.
Eje: Ingeniería de Software
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
Languages
Alloy
Formal methods
metodologías ágiles
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/45839
Acceder
id SEDICI_0fd8be12cdfa594d7c77d56d33f92bcb
oai_identifier_str oai:sedici.unlp.edu.ar:10915/45839
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Incorporando Alloy en desarrollos basados en metodologías agilesBonino, María BelénGaris, Ana GabrielaRiesco, Daniel EduardoCiencias InformáticasLanguagesAlloyFormal methodsmetodologías ágilesLas Metodologías Ágiles (MA) son ampliamente elegidas en proyectos de software actuales. No obstante, frecuentemente deben afrontar problemas inherentes a su falta de formalidad; tales como la dificultad de recoger, entender y mantener los requerimientos del sistema. Alloy es un lenguaje formal, soportado por una amigable herramienta de verificación y validación. Estas caracterísiticas pueden ser aprovechadas en favor de las MA. La línea de investigación se enfoca puntualmente en la adopción de Alloy dentro de las MA mas populares. Esto incluye analizar no solo los beneficios, sino también la forma en que dicho lenguaje puede ser incorporado en el proceso de desarrollo de software.Eje: Ingeniería de SoftwareRed de Universidades con Carreras en Informática (RedUNCI)2015-04info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/45839spainfo: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-29T11:02:30Zoai:sedici.unlp.edu.ar:10915/45839Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 11:02:30.659SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Incorporando Alloy en desarrollos basados en metodologías agiles
title Incorporando Alloy en desarrollos basados en metodologías agiles
spellingShingle Incorporando Alloy en desarrollos basados en metodologías agiles
Bonino, María Belén
Ciencias Informáticas
Languages
Alloy
Formal methods
metodologías ágiles
title_short Incorporando Alloy en desarrollos basados en metodologías agiles
title_full Incorporando Alloy en desarrollos basados en metodologías agiles
title_fullStr Incorporando Alloy en desarrollos basados en metodologías agiles
title_full_unstemmed Incorporando Alloy en desarrollos basados en metodologías agiles
title_sort Incorporando Alloy en desarrollos basados en metodologías agiles
dc.creator.none.fl_str_mv Bonino, María Belén
Garis, Ana Gabriela
Riesco, Daniel Eduardo
author Bonino, María Belén
author_facet Bonino, María Belén
Garis, Ana Gabriela
Riesco, Daniel Eduardo
author_role author
author2 Garis, Ana Gabriela
Riesco, Daniel Eduardo
author2_role author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
Languages
Alloy
Formal methods
metodologías ágiles
topic Ciencias Informáticas
Languages
Alloy
Formal methods
metodologías ágiles
dc.description.none.fl_txt_mv Las Metodologías Ágiles (MA) son ampliamente elegidas en proyectos de software actuales. No obstante, frecuentemente deben afrontar problemas inherentes a su falta de formalidad; tales como la dificultad de recoger, entender y mantener los requerimientos del sistema. Alloy es un lenguaje formal, soportado por una amigable herramienta de verificación y validación. Estas caracterísiticas pueden ser aprovechadas en favor de las MA. La línea de investigación se enfoca puntualmente en la adopción de Alloy dentro de las MA mas populares. Esto incluye analizar no solo los beneficios, sino también la forma en que dicho lenguaje puede ser incorporado en el proceso de desarrollo de software.
Eje: Ingeniería de Software
Red de Universidades con Carreras en Informática (RedUNCI)
description Las Metodologías Ágiles (MA) son ampliamente elegidas en proyectos de software actuales. No obstante, frecuentemente deben afrontar problemas inherentes a su falta de formalidad; tales como la dificultad de recoger, entender y mantener los requerimientos del sistema. Alloy es un lenguaje formal, soportado por una amigable herramienta de verificación y validación. Estas caracterísiticas pueden ser aprovechadas en favor de las MA. La línea de investigación se enfoca puntualmente en la adopción de Alloy dentro de las MA mas populares. Esto incluye analizar no solo los beneficios, sino también la forma en que dicho lenguaje puede ser incorporado en el proceso de desarrollo de software.
publishDate 2015
dc.date.none.fl_str_mv 2015-04
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/45839
url http://sedici.unlp.edu.ar/handle/10915/45839
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
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_ 1844615892353155072
score 13.070432

Publicaciones similares