Vor Ort
Merkzettel Warenkorb
  • Produktbild: Validation and Verification of Knowledge Based Systems
  • Produktbild: Validation and Verification of Knowledge Based Systems

Validation and Verification of Knowledge Based Systems Theory, Tools and Practice

189,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.09.1999

Herausgeber

Anca Vermesan + weitere

Verlag

Springer Us

Seitenzahl

366

Maße (L/B/H)

23,4/15,6/2,2 cm

Gewicht

719 g

Auflage

1999

Sprache

Englisch

ISBN

978-0-7923-8645-2

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.09.1999

Herausgeber

Verlag

Springer Us

Seitenzahl

366

Maße (L/B/H)

23,4/15,6/2,2 cm

Gewicht

719 g

Auflage

1999

Sprache

Englisch

ISBN

978-0-7923-8645-2

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Validation and Verification of Knowledge Based Systems
  • Produktbild: Validation and Verification of Knowledge Based Systems
  • KBS First Prototype V&V Process Plan as a Way to Produce Reliable Requirements.- On Principles of Knowledge Validation.- Progressive Instantiation for the Logical Validation of Nonmonotonic KBs.- Computer Algebra based Verification and Knowledge Extraction in RBS. Application to Medical Fitness Criteria.- A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base.- Constraints for Validation of Conceptual Graphs.- PRONTO - Ontology-based Evaluation of Knowledge Based Systems.- Formal Methods for the engineering and certification of safetycritical Knowledge Based Systems.- Design pattern for safety-critical knowledge-based systems.- Organising Knowledge Refinement Operators.- Validation and refinement versus revision.- Illustrating Knowledge Base Restructuring and Verification in a Real World Application.- Incorporating backtracking search with knowledge refinement.- Verification and validation of a multistrategy knowledge-based system.- Validation and Verification of Knowledge-Based Systems for Power System Control Centres.- A priori Verification of Product Models in Mechanical Design.- Verification of Business Processes for a Correspondence Handling Center Using CCS.- User Participation-based Software Certification.- Verification and Validation in Support for Software Certification Methods.- Validation, Verification and Integrity in Knowledge and Data Base Systems: Future Directions.- Intelligent Data and Knowledge Analysis and Verification; Towards a Taxonomy of Specific Problems.- Ontology-based Verification and Validation of Federated Database Systems.- Applicability of Conventional Software Verification and validation to Knowledge Based Components: A Qualitative Assessment.