Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5. EUROVAV 1999: Oslo, Norway
- Anca I. Vermesan, Frans Coenen:
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 Lera, David Escorial:
KBS First Prototype V&V Process Plan as a Way to Produce Reliable Requirements. EUROVAV 1999: 11-24 - Mieczyslaw L. Owoc, Malgorzata Ochmanska, Tomasz Gladysz:
On Principles of Knowledge Validation. EUROVAV 1999: 25-35 - Éric Grégoire:
Progressive Instantiation for the Logical Validation of Nonmonotonic KBs. EUROVAV 1999: 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. EUROVAV 1999: 53-65 - Silvie Spreeuwenberg, Rik Gerrits:
A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base. EUROVAV 1999: 67-78 - Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Stéphane Loiseau:
Constraints for Validation of Conceptual Graphs. EUROVAV 1999: 79-90
Ontologies
- Trevor J. M. Bench-Capon, Dean M. Jones:
PRONTO - Ontology-based Evaluation of Knowledge Based Systems. EUROVAV 1999: 93-109
Safety Critical KBS
- Giovanna Dondossola:
Formal Methods for the Engineering and Certification of Safety-critical Knowledge-based Systems. EUROVAV 1999: 113-129 - Rune Steinberg, Roar A. Fjellheim, Stale A. Olsen:
Design Patterns for Safety-critical Knowledge Based Systems. EUROVAV 1999: 131-145
Knoeledge Revision and Refinement
- Robin Boswell, Susan Craw:
Organising Knowledge Refinement Operators. EUROVAV 1999: 149-161 - Florence Dupin de Saint-Cyr, Stéphane Loiseau:
Validation and Refinement versus Revision. EUROVAV 1999: 163-176 - Jan Vanthienen, Ana María Moreno García:
Illustrating Knowledge Base Restructuring and Verification in a Real World Application. EUROVAV 1999: 177-191 - Nirmalie Wiratunga, Susan Craw:
Incorporating Backtracking Search with Knowledge Refinement. EUROVAV 1999: 193-205
Applications
- Francisco Loforte Ribeiro:
Verification and Validation of a Multistrategy Knowledge-Based System. EUROVAV 1999: 207-220 - Jorge Santos, Carlos Ramos, Zita A. Vale, Albino Marques:
Validation and Verification of Knowlege-Based Systems for Power Systzem Control Centres. EUROVAV 1999: 221-235 - Florence Sellini, Pierre-Alain Yvars:
A Priori Verification of Product Models in Mechanical Design. EUROVAV 1999: 237-251 - Michael Schroeder:
Verification of Business Processes for a Correspondence Handling Center Using CCS. EUROVAV 1999: 253-264
Certification
- Jeffrey M. Voas:
User Participation-based Software Certification. EUROVAV 1999: 267-276 - Anca I. Vermesan, Jarle Sjøvag, Per Martinsen, Keith Bell:
Verification and Validation in Support for Software Certification Methods. EUROVAV 1999: 277-293
The Wider Picture
- Frans Coenen, Barry Eaglestone, Mick J. Ridley:
Verification, Validation and Integrity in Knowledge and Database Systems: Future Directions. EUROVAV 1999: 297-312 - Antoni Ligeza:
Intelligent Data and Knowledge Analysis and Verification: Towards a Taxonomy of Some Specific Problems. EUROVAV 1999: 313-325 - Nayyer Masood, Barry Eaglestone:
Ontology-based Verification and Validation of Federated Database Systems. EUROVAV 1999: 327-341 - Anca I. Vermesan, Frode Høgberg:
Applicability of Conventional Software Verification and Validation to Knowledge-based Components: A Qualitative Assessment. EUROVAV 1999: 343-357
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-10 18:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
