Mikhail Rana Rarid, Berndt Donald, Kandel Abraham:
Automated Database Applications Testing: Specification Representation for Automated Reasoning

Specification Representation for Automated Reasoning
World Scientific Publishing Co Pte Ltd (Singapore), 2010
Hardback, 212 pagesSize: 237x160 mm
ISBN-13: 9789812837288
ISBN-10: 9812837280

Our price: £53.60
List price: £67.00
You save: 20%
 

Usually ships within 2 weeks.

Will be shipped from: United Kingdom
 Add to Shopping Basket 

Automated Database Applications Testing: Specification Representation for Automated Reasoning

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.

More information from Wikipedia:

Rana Rarid Mikhail
Donald Berndt
Abraham Kandel
© 2006-2012 Eruditor Ltd and its partners

Authors’ Name Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Share |