Utilizando contratos de reuso con alloy

El desarrollo de sistemas de software confiables exige la utilización de herramientas que posibiliten razonar rigurosamente acerca de su corrección y consistencia. Este tipo de análisis revela su importancia crítica cuando los sistemas evolucionan en el tiempo, sufriendo modificaciones que pueden al...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Castro, Pablo Francisco, Baum, Gabriel Alfredo
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	2001
Materias:	Ciencias Informáticas SOFTWARE ENGINEERING Ingeniería de Software Formal methods Métodos Formales Teoría de la Computación Theory of Computation
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/23258
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-23258
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 SOFTWARE ENGINEERING Ingeniería de Software Formal methods Métodos Formales Teoría de la Computación Theory of Computation
spellingShingle	Ciencias Informáticas SOFTWARE ENGINEERING Ingeniería de Software Formal methods Métodos Formales Teoría de la Computación Theory of Computation Castro, Pablo Francisco Baum, Gabriel Alfredo Utilizando contratos de reuso con alloy
topic_facet	Ciencias Informáticas SOFTWARE ENGINEERING Ingeniería de Software Formal methods Métodos Formales Teoría de la Computación Theory of Computation
description	El desarrollo de sistemas de software confiables exige la utilización de herramientas que posibiliten razonar rigurosamente acerca de su corrección y consistencia. Este tipo de análisis revela su importancia crítica cuando los sistemas evolucionan en el tiempo, sufriendo modificaciones que pueden alterar seriamente su eficacia o aún volverlos totalmente inútiles. El establecimiento del Proceso Unificado y el lenguaje UML como un estándar representan un avance, aunque insuficiente para alcanzar dichos objetivos. Más aún, el problema de la evolución ha recibido poco o ningún tratamiento en dicho contexto. En este trabajo se presenta una alternativa para avanzar en esa dirección, a través de la utilización de contratos de reuso[4] -expresados en UML- para describir evoluciones y su traducción a un lenguaje formal de primer orden, llamado Alloy[2], que provee herramientas para verificar algunas propiedades fundamentales de estos contratos. La traducción propuesta es sencilla, eficiente, modular, y provee bases ciertas para un proceso de evolución incremental de los diseños.
format	Objeto de conferencia Objeto de conferencia
author	Castro, Pablo Francisco Baum, Gabriel Alfredo
author_facet	Castro, Pablo Francisco Baum, Gabriel Alfredo
author_sort	Castro, Pablo Francisco
title	Utilizando contratos de reuso con alloy
title_short	Utilizando contratos de reuso con alloy
title_full	Utilizando contratos de reuso con alloy
title_fullStr	Utilizando contratos de reuso con alloy
title_full_unstemmed	Utilizando contratos de reuso con alloy
title_sort	utilizando contratos de reuso con alloy
publishDate	2001
url	http://sedici.unlp.edu.ar/handle/10915/23258
work_keys_str_mv	AT castropablofrancisco utilizandocontratosdereusoconalloy AT baumgabrielalfredo utilizandocontratosdereusoconalloy
bdutipo_str	Repositorios
_version_	1764820466023792643

Utilizando contratos de reuso con alloy

Ejemplares similares