𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Model-Based Verification and Validation of Properties

✍ Scribed by Gregor Engels; Jochen M. Küster; Reiko Heckel; Marc Lohmann

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
865 KB
Volume
82
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification and validation of Bayesian
Verification and validation of Bayesian knowledge-bases
✍ Eugene Santos Jr. 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 218 KB

Knowledge-base V&V primarily addresses the question: ``Does my knowledge-base contain the right answer and can I arrive at it?'' One of the main goals of our work is to properly encapsulate the knowledge representation and allow the expert to work with manageable-sized chunks of the knowledge-base.

Verification and validation of the SACHE
Verification and validation of the SACHEM conceptual model
✍ M. LE GOC; C. FRYDMAN; L. TORRES 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 611 KB

We present a method for transforming a KADS conceptual model (informal) into an operational model (formal) based on high-level Petri nets. The KADS model we consider specifies the functional architecture of the knowledge-based system called SACHEM, designed for blast furnace control. The operational

State-of-the-practice in knowledge-based
State-of-the-practice in knowledge-based system verification and validation
✍ David Hamilton; Keith Kelley; Chris Culbert 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 790 KB

The majority of the work in knowledge-based system verification and validation (KBS V& V) has focused on developing techniques and concepts for performing V& V on expert systems. Little information is available on what V& V practices are currently in use by expert system developers. This article des