Automated database applications testing: specification representation for automated reasoning
Auteur :
Mikhail, Rana Farid / Berndt, Donald J / Kandel, Abraham
Éditeur :
World Scientific Publishing Co Pte Ltd
ISBN :
9789812837288
Date de publication :
20 janv. 2010
Langue :
Anglais
Pays d'origine :
Singapour
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.