News Help Institutional access
Back to results
Bibliographic record · Consultation and access
Document

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

Baum, Gabriel Alfredo et al · SEDICI UNLP · 2002

Open-access full text
Quick overview. Review the resource’s basic details, then access the content using the main button. This page shows only the information needed to identify, cite, and open the work.
Author / responsible party
Baum, Gabriel Alfredo et al
Publisher
SEDICI UNLP
Year
2002
Language
Spanish

Resource access

Open the content from the main option or choose another available source.

SEDICI UNLP SEDICI UNLP OAI-PMH
Entrar por SEDICI UNLP
Main access

Open-access full text

Texto completo identificado como acceso abierto.
Open text

Summary

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)

How to cite

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

Share and print

Save the record, copy its permanent link, or print it as a PDF.

Export reference

You can export the record in common formats for use in a reference manager.

RIS BibTeX

Resource details

Bibliographic information to help confirm that this is the correct material.

Title
Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional
Author / contributors
Baum, Gabriel Alfredo et al
Publisher
SEDICI UNLP
Publication year
2002
Language
Spanish

Subjects

Explore related resources through these subjects.

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