Data & IT
Automated Database Applications Testing: Specification Representation For Automated Reasoning
Rana Farid Mikhail • Donald J Berndt • Abraham Kandel
Inbunden
1839:-
Uppskattad leveranstid 7-11 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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.
- Format: Inbunden
- ISBN: 9789812837288
- Språk: Engelska
- Antal sidor: 212
- Utgivningsdatum: 2010-01-20
- Förlag: World Scientific Publishing Co Pte Ltd