Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal

Document

Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal

Medel, Ricardo et al · SEDICI UNLP · 2001

Open-Access-Volltext

Schnellübersicht. Prüfen Sie die grundlegenden Angaben und öffnen Sie den Inhalt über die Hauptschaltfläche. Die Seite zeigt nur die Informationen, die zum Identifizieren, Zitieren und Öffnen des Werks nötig sind.

Autor / Verantwortliche

Medel, Ricardo et al

Verlag

SEDICI UNLP

Jahr

2001

Sprache

Español

Zugriff auf die Ressource

Öffnen Sie den Inhalt über die Hauptoption oder wählen Sie eine andere verfügbare Quelle.

SEDICI UNLP SEDICI UNLP OAI-PMH

Entrar por SEDICI UNLP

Hauptzugriff

Open-Access-Volltext

Texto completo identificado como acceso abierto.

Text öffnen

Übersicht

Descripción general del contenido del recurso.

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

Zitieren

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

APA 7

Medel, R. E. A. (2001). Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/23538

MLA

Medel, Ricardo et al. Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal. SEDICI UNLP, 2001. http://sedici.unlp.edu.ar/handle/10915/23538.

Chicago

Medel, Ricardo et al. 2001. Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/23538.

Harvard

Medel, R. E. A. 2001, Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/23538 [Accessed 5 Aug. 2026].

Teilen und drucken

Speichern Sie den Datensatz, kopieren Sie den Permalink oder drucken Sie ihn als PDF.

Referenz exportieren

Exportieren Sie den Datensatz in gängigen Formaten für Literaturverwaltungsprogramme.

RIS BibTeX

Ressourcendetails

Bibliografische Angaben zur Prüfung, ob es sich um das richtige Material handelt.

Titel: Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal

Autor / Mitwirkende: Medel, Ricardo et al

Verlag: SEDICI UNLP

Erscheinungsjahr: 2001

Sprache: Español

Schlagwörter

Entdecken Sie über diese Schlagwörter weitere verwandte Ressourcen.

Ciencias Informáticas; Models; Algebras Fork; Software; Lógica Modal; sistemas especificados