5. EUROVAV 1999: Oslo, Norway

Anca I. Vermesan, Frans Coenen (Eds.): 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. Kluwer 1999, ISBN 0-7923-8645-0

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
Mieczyslaw L. Owoc, Malgorzata Ochmanska, Tomasz Gladysz: On Principles of Knowledge Validation. 25-35
Éric Grégoire: Progressive Instantiation for the Logical Validation of Nonmonotonic KBs. 37-51
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
Silvie Spreeuwenberg, Rik Gerrits: A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base. 67-78
Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Stéphane Loiseau: Constraints for Validation of Conceptual Graphs. 79-90

Ontologies

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

Safety Critical KBS

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

Knoeledge Revision and Refinement

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

Applications

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

Certification

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

The Wider Picture

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

Acknowlegement: The information on this page was contributed by Hendrik Decker

Last update Wed May 22 04:02:17 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page