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.
| ISBN-13: | 9789812837288 |
| ISBN-10: | 9812837280 |
| Publisher: | World Scientific |
| Publication date: | 2010 |
| Pages: | 195 |
| Product dimensions: | Height: 9 Inches, Length: 6 Inches, Weight: 1 Pounds, Width: 0.48 Inches |
| Author: | Rana Farid Mikhail, Donald J. Berndt, Abraham Kandel |
| Language: | en |
| Binding: | Paperback |
Discover more books in the same category
