Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal
En este trabajo los sistemas de software son especificados por medio de un grafo y las propiedades que debe cumplir son expresadas como fórmulas de la lógica modal KPI. Ambos, sistema y propiedades, son traducidos a relaciones de un álgebra Fork. Con estas relaciones resultantes se puede alimentar a...
Guardado en:
Autores principales: | , |
---|---|
Formato: | Objeto de conferencia |
Lenguaje: | Español |
Publicado: |
2001
|
Materias: | |
Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/23538 |
Aporte de: |
id |
I19-R120-10915-23538 |
---|---|
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 Models Algebras Fork Software Lógica Modal sistemas especificados |
spellingShingle |
Ciencias Informáticas Models Algebras Fork Software Lógica Modal sistemas especificados Medel, Ricardo Baum, Gabriel Alfredo Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal |
topic_facet |
Ciencias Informáticas Models Algebras Fork Software Lógica Modal sistemas especificados |
description |
En este trabajo los sistemas de software son especificados por medio de un grafo y las propiedades que debe cumplir son expresadas como fórmulas de la lógica modal KPI. Ambos, sistema y propiedades, son traducidos a relaciones de un álgebra Fork. Con estas relaciones resultantes se puede alimentar al sistema RELVIEW, el cual permite verificar automáticamente si dichas propiedades se verifican en el sistema diseñado. |
format |
Objeto de conferencia Objeto de conferencia |
author |
Medel, Ricardo Baum, Gabriel Alfredo |
author_facet |
Medel, Ricardo Baum, Gabriel Alfredo |
author_sort |
Medel, Ricardo |
title |
Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal |
title_short |
Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal |
title_full |
Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal |
title_fullStr |
Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal |
title_full_unstemmed |
Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal |
title_sort |
aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal |
publishDate |
2001 |
url |
http://sedici.unlp.edu.ar/handle/10915/23538 |
work_keys_str_mv |
AT medelricardo aplicaciondealgebrasforkenlaverificacionautomaticadesistemasespecificadosenlogicamodal AT baumgabrielalfredo aplicaciondealgebrasforkenlaverificacionautomaticadesistemasespecificadosenlogicamodal |
bdutipo_str |
Repositorios |
_version_ |
1764820465773182977 |