Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional

En este trabajo se propone aplicar el cálculo de relaciones binarias a fin de mejorar la eficiencia del método de verificación de sistemas de software propuesto en [14] y [15]. En dicho método el diseño arquitectónico del sistema es especificado gráficamente, mientras que las propiedades a verificar...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Baum, Gabriel Alfredo, Medel, Ricardo
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	2002
Materias:	Ciencias Informáticas Ingeniería de software SOFTWARE ENGINEERING Formal methods Métodos formales calculo relacional Algebras Fork
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/23020
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-23020
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 Ingeniería de software SOFTWARE ENGINEERING Formal methods Métodos formales calculo relacional Algebras Fork
spellingShingle	Ciencias Informáticas Ingeniería de software SOFTWARE ENGINEERING Formal methods Métodos formales calculo relacional Algebras Fork Baum, Gabriel Alfredo Medel, Ricardo Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional
topic_facet	Ciencias Informáticas Ingeniería de software SOFTWARE ENGINEERING Formal methods Métodos formales calculo relacional Algebras Fork
description	En este trabajo se propone aplicar el cálculo de relaciones binarias a fin de mejorar la eficiencia del método de verificación de sistemas de software propuesto en [14] y [15]. En dicho método el diseño arquitectónico del sistema es especificado gráficamente, mientras que las propiedades a verificar son expresadas como fórmulas de una lógica modal híbrida o de la lógica Fork. La aplicación de reglas de reducción a dichas fórmulas Fork permite la implementación de algoritmos eficientes para su verificación.
format	Objeto de conferencia Objeto de conferencia
author	Baum, Gabriel Alfredo Medel, Ricardo
author_facet	Baum, Gabriel Alfredo Medel, Ricardo
author_sort	Baum, Gabriel Alfredo
title	Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional
title_short	Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional
title_full	Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional
title_fullStr	Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional
title_full_unstemmed	Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional
title_sort	aportes para al verificación eficiente de sistemas utilizando el cálculo relacional
publishDate	2002
url	http://sedici.unlp.edu.ar/handle/10915/23020
work_keys_str_mv	AT baumgabrielalfredo aportesparaalverificacioneficientedesistemasutilizandoelcalculorelacional AT medelricardo aportesparaalverificacioneficientedesistemasutilizandoelcalculorelacional
bdutipo_str	Repositorios
_version_	1764820467991969792

Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional

Ejemplares similares