Click Here to Download: https://ouo.io/1i9mOf Automated Database Applications Testing: Specification Representation For Automated Reasoning By: Mikhail Rana Farid Publisher: World Scientific Print ISBN: 9789812837288, 9812837280 eText ISBN: 9789812837295, 9812837299 Format: PDF Available from $ 152.00 USD SKU 9789812837295 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.
