Automated database applications testing : specification representation for automated reasoning /
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 auto...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Singapore ; Hackensack, NJ :
World Scientific,
©2010.
|
| Series: | Series in machine perception and artificial intelligence ;
v. 76. |
| Subjects: | |
| Online Access: |
Full text (Emmanuel users only) |