5. EUROVAV 1999: Oslo, Norway

@proceedings{DBLP:conf/eurovav/1999,
  editor    = {Anca I. Vermesan and
               Frans Coenen},
  title     = {Validation and Verification of Knowledge Based Systems - Theory,
               Tools and Practice, Collected papers from EUROVAV '99, 5th European
               Symposium on Validation and Verification of Knowledge Based Systems,June
               9-11, 199, Oslo, Norway},
  booktitle = {EUROVAV},
  publisher = {Kluwer},
  year      = {1999},
  isbn      = {0-7923-8645-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Theory and Techniques

• Jesús Cardeñosa, David Escorial: KBS First Prototype V&V Process Plan as a Way to Produce Reliable Requirements. 11-24 BibTeX
• Mieczyslaw L. Owoc, Malgorzata Ochmanska, Tomasz Gladysz: On Principles of Knowledge Validation. 25-35 BibTeX
• Éric Grégoire: Progressive Instantiation for the Logical Validation of Nonmonotonic KBs. 37-51 BibTeX
• Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma: Computer Algebra Based Verification and Knowledge Extraction in RBS - Application to Medical Fitness Criteria. 53-65 BibTeX
• Silvie Spreeuwenberg, Rik Gerrits: A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base. 67-78 BibTeX
• Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Stéphane Loiseau: Constraints for Validation of Conceptual Graphs. 79-90 BibTeX

Ontologies

• Trevor J. M. Bench-Capon, Dean M. Jones: PRONTO - Ontology-based Evaluation of Knowledge Based Systems. 93-109 BibTeX

Safety Critical KBS

• Giovanna Dondossola: Formal Methods for the Engineering and Certification of Safety-critical Knowledge-based Systems. 113-129 BibTeX
• Rune Steinberg, Roar A. Fjellheim, Stale A. Olsen: Design Patterns for Safety-critical Knowledge Based Systems. 131-145 BibTeX

Knoeledge Revision and Refinement

• Robin Boswell, Susan Craw: Organising Knowledge Refinement Operators. 149-161 BibTeX
• Florence Dupin de Saint-Cyr, Stéphane Loiseau: Validation and Refinement versus Revision. 163-176 BibTeX
• Jan Vanthienen, Ana María Moreno García: Illustrating Knowledge Base Restructuring and Verification in a Real World Application. 177-191 BibTeX
• Nirmalie Wiratunga, Susan Craw: Incorporating Backtracking Search with Knowledge Refinement. 193-205 BibTeX

Applications

• Francisco Loforte Ribeiro: Verification and Validation of a Multistrategy Knowledge-Based System. 207-220 BibTeX
• Jorge Santos, Carlos Ramos, Zita A. Vale, Albino Marques: Validation and Verification of Knowlege-Based Systems for Power Systzem Control Centres. 221-235 BibTeX
• Florence Sellini, Pierre-Alain Yvars: A Priori Verification of Product Models in Mechanical Design. 237-251 BibTeX
• Michael Schroeder: Verification of Business Processes for a Correspondence Handling Center Using CCS. 253-264 BibTeX

Certification

• Jeffrey M. Voas: User Participation-based Software Certification. 267-276 BibTeX
• Anca I. Vermesan, Jarle Sjøvag, Per Martinsen, Keith Bell: Verification and Validation in Support for Software Certification Methods. 277-293 BibTeX

The Wider Picture

• Frans Coenen, Barry Eaglestone, Mick J. Ridley: Verification, Validation and Integrity in Knowledge and Database Systems: Future Directions. 297-312 BibTeX
• Antoni Ligeza: Intelligent Data and Knowledge Analysis and Verification: Towards a Taxonomy of Some Specific Problems. 313-325 BibTeX
• Nayyer Masood, Barry Eaglestone: Ontology-based Verification and Validation of Federated Database Systems. 327-341 BibTeX
• Anca I. Vermesan, Frode Høgberg: Applicability of Conventional Software Verification and Validation to Knowledge-based Components: A Qualitative Assessment. 343-357 BibTeX