Chargement en cours…

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...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Mikhail, Rana Farid
Autres auteurs: Berndt, Donald J., Kandel, Abraham
Format: Électronique eBook
Langue:Inglés
Publié: Singapore ; Hackensack, NJ : World Scientific, ©2010.
Collection:Series in machine perception and artificial intelligence ; v. 76.
Sujets:
Accès en ligne:Texto completo