che-chandler.de
|
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
AUTOMATED DATABASE APPLICATIONS ...(V72)
Specification Representation for Automated Reasoning
Sofort lieferbar | Lieferzeit: Sofort lieferbar I
ISBN-13:
9789812837295
Veröffentl:
2010
Seiten:
212
Autor:
Rana Farid Mikhail
eBook Typ:
PDF
eBook Format:
Reflowable
Kopierschutz:
Adobe DRM [Hard-DRM]
Sprache:
Englisch
Beschreibung:
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.