✦ 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
DOI: 10.1016/0169-7439(94)90009-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Comparison of Tool-Based and Paper-Bas

A Comparison of Tool-Based and Paper-Based Software Inspection

✍ F. MacDonald; J. Miller 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 136 KB

Standard program for metrological valida

Standard program for metrological validation of information measurement system software

✍ B. D. Kolpak; Yu. R. Kalitsinskii; A. M. Krichevets 📂 Article 📅 1991 🏛 Springer US 🌐 English ⚖ 343 KB

Dynamic modeling and validation of a tri

Dynamic modeling and validation of a tripod-based machine tool

✍ Z. M. Bi; S. Y. T. Lang; Marcel Verner 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 842 KB

Petri-Netz-Maschine a software tool for

Petri-Netz-Maschine a software tool for analysis and validation of Petri nets

✍ Peter H Starke 📂 Article 📅 1985 🏛 Elsevier Science ⚖ 111 KB

KJ3—a tool assisting formal validation o

KJ3—a tool assisting formal validation of knowledge-based systems

✍ 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

Information as a management tool: An eva

Information as a management tool: An evaluation of the Pemigewasset Wilderness management plan

✍ Cindy M. Brown; John M. Halstead; Albert E. Luloff 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 538 KB