WWWelcome to ViVa

Introduction to the project, method, toolset, implementation, references.

The ViVa ESPRIT project is developing a method/toolset product to be used for verification and validation (V&V) of knowledge-based systems (KBS). The product is implemented as an intranet application using a WWW browser for the user interface. ... Read more ...

Run the ViVaWeb (the method/toolset product)

Netscape 3.0 is required. The toolset targets KBSs developed as Kappa Applications (now PowerModel, by Intellicorp). Example data is from a small "Family relationships" KBS example. Later we will open up for creation of your own trial KBS. You need a username/password in order to access the product, just ask for it by e-mail to
vivawww@cri.dk.

Take a look at a demo

The Consortium
CRI - Computer Resources International A/S (DK) Siemens AG Österreich (A) Softlab Austria GmbH (A) Université de Savoie (F)

vivawww@cri.dk Last update: 3 April 1997.