Automated Database Applications Testing: Specification Representation For Automated Reasoning
Price for Eshop: 898 Kč (€ 35.9)
VAT 0% included
New
E-book delivered electronically online
E-Book information
World Scientific Publishing Company
2010
212
978-981-4469-13-5
981-4469-13-0
Annotation
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.
Ask question
You can ask us about this book and we'll send an answer to your e-mail.