Automated Database Applications Testing: Specification Representation For Automated Reasoning
Rana Farid Mikhail · Donald J Berndt · Abraham Kandel
sij 2010. · Series In Machine Perception And Artificial IntelligenceKnjiga 76 · World Scientific
E-knjiga
212
str.
family_home
Ispunjava uvjete
info
Odlomak
reportOcjene i recenzije nisu potvrđene Saznajte više
O ovoj e-knjizi
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.
Audioknjige kupljene na Google Playu možete slušati pomoću web-preglednika na računalu.
Elektronički čitači i ostali uređaji
Za čitanje na uređajima s elektroničkom tintom, kao što su Kobo e-čitači, trebate preuzeti datoteku i prenijeti je na svoj uređaj. Slijedite detaljne upute u centru za pomoć za prijenos datoteka na podržane e-čitače.