Automated Database Applications Testing: Specification Representation For Automated Reasoning: Volume 76 (Series In Machine Perception And Artificial Intelligence)

by Abraham Kandel (Contributor), Abraham Kandel (Contributor), Donald J Berndt (Contributor), Rana Farid Mikhail (Author)

• New

  Illustrated
  2010

  $113.37

  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.