𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Software validation of a wordperfect® based information management tool

✍ Scribed by Peter Bosshard; Hubert Moll; Fritz Erni; Jean Thomas Clerc


Book ID
103620039
Publisher
Elsevier Science
Year
1994
Tongue
English
Weight
533 KB
Volume
26
Category
Article
ISSN
0169-7439

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


KJ3—a tool assisting formal validation o
✍ CHIH-HUNG WU; SHIE-JUE LEE 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 783 KB

This paper presents the design and implementation of KJ3 (Knowledge Judgment, version 3) which is an assisting tool for formal validation of knowledge-based systems (KBSs). The KJ3 project is motivated by two main obstacles to knowledge validation, the lack of a uniform representation and a comprehe