Automated Database Applications Testing: Specification Representation for Automated Reasoning

by Donald Berndt, Rana Farid Mikhail, Abraham Kandel

Book Overview

This book introduces SpecDB, an intelligent database created to represent and host software specifications in a machine-readable format, based on the principles of artificial intelligence and unit... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 9812837280
• ISBN13: 9789812837288
• Release Date: January 2010
• Publisher: World Scientific Publishing Company
• Length: 212 Pages
• Weight: 1.00 lbs.
• Dimensions: 0.8" x 6.1" x 9.0"