{"product_id":"automated-database-applications-testing-specification-representation-for-automated-reasoning-9789812837288","title":"Automated Database Applications Testing: Specification Representation for Automated Reasoning","description":"\u003cp\u003e • Author(s): Mikhail | Rana Rarid\u003cbr\u003e • Publisher: World Scientific Publishing Company\u003cbr\u003e • Publisher Imprint: World Scientific Publishing Company\u003cbr\u003e • BISAC: Artificial Intelligence - General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cb\u003eFrom the Inside Flap\u003c\/b\u003e\u003cbr\u003eThis 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.\u003c\/p\u003e","brand":"MIXIG","offers":[{"title":"Hardcover","offer_id":45091073523863,"sku":"9789812837288","price":10463.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9789812837288.webp?v=1767267488","url":"https:\/\/atlanticbooks.com\/products\/automated-database-applications-testing-specification-representation-for-automated-reasoning-9789812837288","provider":"Atlantic Books","version":"1.0","type":"link"}