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

Document

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

Baum, Gabriel Alfredo et al · SEDICI UNLP · 2002

Acceso abierto al texto completo

Lectura rápida. Revisá los datos básicos del recurso y luego accedé al contenido desde el botón principal. En esta ficha solo se muestra la información necesaria para identificar la obra, citarla y abrirla.

Autor / responsable

Baum, Gabriel Alfredo et al

Editorial

SEDICI UNLP

Año

2002

Idioma

Español

Acceso al recurso

Entrá al contenido desde la opción principal o elegí otra fuente disponible.

SEDICI UNLP SEDICI UNLP OAI-PMH

Entrar por SEDICI UNLP

Acceso principal

Acceso abierto al texto completo

Texto completo identificado como acceso abierto.

Abrir texto

Resumen

Descripción general del contenido del recurso.

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. Eje: Ingeniería de software Red de Universidades con Carreras en Informática (RedUNCI)

Cómo citar

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Baum, G. A. E. A. (2002). Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/23020

MLA

Baum, Gabriel Alfredo et al. Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional. SEDICI UNLP, 2002. http://sedici.unlp.edu.ar/handle/10915/23020.

Chicago

Baum, Gabriel Alfredo et al. 2002. Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/23020.

Harvard

Baum, G. A. E. A. 2002, Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/23020 [Accessed 5 Aug. 2026].

Compartir e imprimir

Guardá la ficha, copiá su enlace permanente o imprimila como PDF.

Exportar referencia

Si usás un gestor bibliográfico, podés exportar el registro en los formatos más comunes.

RIS BibTeX

Detalles del recurso

Información bibliográfica útil para confirmar que se trata del material correcto.

Título: Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional

Autor / colaboradores: Baum, Gabriel Alfredo et al

Editorial: SEDICI UNLP

Año de publicación: 2002

Idioma: Español

Materias

Explorá otros recursos relacionados a partir de estas materias.

Ciencias Informáticas; Ingeniería de software; SOFTWARE ENGINEERING; Formal methods; Métodos formales; calculo relacional; Algebras Fork