Automated Database Applications Testing: Specification Representation for Automated Reasoning by RANA FARID MIKHAILAutomated Database Applications Testing: Specification Representation for Automated Reasoning by RANA FARID MIKHAIL

Automated Database Applications Testing: Specification Representation for Automated Reasoning

byRANA FARID MIKHAIL

Hardcover | January 20, 2010

Pricing and Purchase Info

$140.95

Earn 705 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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 testing database operations. SpecDB is demonstrated via two automated intelligent tools. The first automatically generates database constraints from a rule-base in SpecDB. The second is a reverse engineering tool that logs the actual execution of the program from the code.
Title:Automated Database Applications Testing: Specification Representation for Automated ReasoningFormat:HardcoverDimensions:212 pages, 9.41 × 7.24 × 0.98 inPublished:January 20, 2010Publisher:World Scientific PublishingLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:9812837280

ISBN - 13:9789812837288

Reviews