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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Medel, Ricardo, Baum, Gabriel Alfredo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2001
Materias:
Ciencias Informáticas
Models
Algebras Fork
Software
Lógica Modal
sistemas especificados
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23538
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
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

Ejemplares similares