Program Supervision : Yakl and Pegase+ Reference and User Manual - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 2003

Program Supervision : Yakl and Pegase+ Reference and User Manual

Abstract

This document describes concepts and tools that we have developed for the program supervision task. The first part is a reference manual, which introduces the concepts involved in this task as well as the proposed knowledge language and inference engine to achieve this task. The second part is a user's manual, which details both the Yakl description language and the Pegase+ engine. It also provides examples and methodological recommendations to develop a program supervision system with Yakl and Pegase+.
Fichier principal
Vignette du fichier
RR-5066.pdf (2.08 Mo) Télécharger le fichier

Dates and versions

inria-00071518 , version 1 (23-05-2006)

Identifiers

  • HAL Id : inria-00071518 , version 1

Cite

Sabine Moisan. Program Supervision : Yakl and Pegase+ Reference and User Manual. RR-5066, INRIA. 2003. ⟨inria-00071518⟩
141 View
31201 Download

Share

Gmail Facebook Twitter LinkedIn More