AUTOMATED DATABASE APPLICATIONS ...(V72)
Specification Representation for Automated Reasoning| By: | Mikhail Rana Farid; Berndt Donald J; Kandel Abraham |
| Publisher: | World Scientific Publishing |
| Print ISBN: | 9789812837288 |
| eText ISBN: | 9789812837295 |
| Edition: | 0 |
| Format: | Page Fidelity |
Lifetime - $182.40
eBook Features
Instant Access
Purchase and read your book immediately
Read Offline
Access your eTextbook anytime and anywhere
Study Tools
Built-in study tools like highlights and more
Read Aloud
Listen and follow along as Bookshelf reads to you
Details
Table of Contents
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.