Donald J Berndt – författare
Visar alla böcker från författaren . Handla med fri frakt och snabb leverans.
1 produkt
1 produkt
Del 76 - Series In Machine Perception And Artificial Intelligence
Automated Database Applications Testing: Specification Representation For Automated Reasoning
Inbunden, Engelska, 2010
1 400 kr
Skickas inom 5-8 vardagar
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.