{"product_id":"9789812837288","title":"Automated Database Applications Testing: Specification Representation For Automated Reasoning","description":"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.","brand":"Rana Farid Mikhail","offers":[{"title":"Default Title","offer_id":47542683992382,"sku":"9789812837288","price":3303.68,"currency_code":"ZAR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4357\/7662\/products\/9789812837288.jpg?v=1707795514","url":"https:\/\/exclusivebooks.co.za\/products\/9789812837288","provider":"Exclusive Books Online","version":"1.0","type":"link"}