{"product_id":"automated-database-applications-testing-specification-representation-for-automated-reasoning","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":"World Scientific Publishing Co Pte Ltd","offers":[{"title":"Default Title","offer_id":54239836406104,"sku":"9789812837288","price":97.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0278\/1295\/4195\/files\/9789812837288_f6a6527b-4262-4d09-a505-ae7a9ebcf9fd.jpg?v=1777609836","url":"https:\/\/agendabookshop.com\/products\/automated-database-applications-testing-specification-representation-for-automated-reasoning","provider":"Agenda Bookshop","version":"1.0","type":"link"}