Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Software Design, Testing & Engineering   Quality Control

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


Blowout Sale! Save 81% on the Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice by Springer at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. Knowledge-based (KB) technology is being applied to complex problem-solving and critical tasks in many application domains. Concerns have naturally


Product Description

Knowledge-based (KB) technology is being applied to complex problem-solving and critical tasks in many application domains. Concerns have naturally arisen as to the dependability of knowledge-based systems (KBS). As with any software, attention to quality and safety must be paid throughout development of a KBS and rigorous verification and validation (V&V) techniques must be employed. Research in V&V of KBS has emerged as a distinct field only in the last decade and is intended to address issues associated with quality and safety aspects of KBS and to credit such applications with the same degree of dependability as conventional applications. In recent years, V&V of KBS has been the topic of annual workshops associated with the main AI conferences, such as AAAI, IJACI and ECAI.
Validation and Verification of Knowledge Based Systems contains a collection of papers, dealing with all aspects of KBS V&V, presented at the Fifth European Symposium on Verification and Validation of Knowledge Based Systems and Components (EUROVAV'99 - which was held in Oslo in the summer of 1999, and was sponsored by Det Norske Veritas and the British Computer Society's Specialist Group on Expert Systems (SGES).

Additional Information

Manufacturer:Springer
Publisher:Springer
Studio:Springer
EAN:9780792386452
Item Weight:1.64 pounds
Item Size:0.88 x 9.21 x 9.21 inches
Package Weight:1.64 pounds
Package Size:6.58 x 1.03 x 1.03 inches

Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice by Springer

Buy Now:
Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice

Brand: Springer
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$279.99
$54.33
You Save: 81%


Quantity:  

 


View More In Quality Control.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


ean: 9780134494159, isbn: 0134494156,
Test-Driven Development (TDD) is at the heart of low-defect agile software development, enabling incremental development and emergent design without degrading quality. By allowing software teams to create comprehensive regression tests that immediate...

ean: 9780201854800, isbn: 0201854805,
Cleanroom software engineering is a process for developing and certifying high-reliability software. Combining theory-based engineering technologies in project management, incremental development, software specification and design, correctness verifi...

mpn: 9780201631814, ean: 9780201631814, isbn: 0201631814,
Zero-defect software is the Holy Grail of all software developers. It has proved to be an elusive goal - until now. The Inspection techniques illustrated in this book have brought clear benefits in terms of lower (or even zero) defects, higher produc...

ean: 9780077076405, isbn: 0077076400,
Software failure in high-profile areas, such as aerospace, defence and medicine frequently makes the headlines because of the potentially disastrous consequences. The huge and recent growth in the use of software development has particularly serious ...

ean: 9780071502443, isbn: 0071502440,
Effectively forecast, manage, and control software across the entire project lifecycleAccurately size, estimate, and administer software projects with real-world guidance from an industry expert. Fully updated to cover the latest tools and techniques...

ean: 9780201709452, isbn: 0201709457,
Software quality assurance (SQA) systems are vital for software developers in the software and the electronics industries as well as for information systems divisions in organizations. This book, based on many years of consulting and teaching exper...

ean: 9780201604443, isbn: 0201604442,
"While it is usually helpful to launch improvement programs, many such programs soon get bogged down in detail. They either address the wrong problems, or they keep beating on the same solutions, wondering why things don't improve. This is when you n...

ean: 9781119240761, isbn: 111924076X,
Design quality SAS software and evaluate SAS software qualitySAS Data Analytic Development is the developer’s compendium for writing better-performing software and the manager’s guide to building comprehensive software performance requirements. T...

mpn: 9781491916438, ean: 9781491916438, isbn: 1491916435,
Graphite has become one of the most powerful monitoring tools available today, due to its ease of use, rapid graph prototyping abilities, and a friendly rendering API. With this practical guide, system administrators and engineers will learn how to u...

ean: 9783540667100, isbn: 3540667105,
As the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolution of software. Partial evaluation is an attractive technology for modern software construction since...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.