Automated Database Applications Testing: Specification Representation for Automated Reasoning (Series in Machine Perception and Artifical Intelligence)

Automated Database Applications Testing: Specification Representation for Automated Reasoning (Series in Machine Perception and Artifical Intelligence)
\n\n

Automated Database Applications Testing: Specification Representation for Automated Reasoning (Series in Machine Perception and Artifical Intelligence) Description

\n\n

This book SpecDB, an intelligent database created to represent and host software specifications in a format readable by machine, based on the principles of artificial intelligence and activities of database unit tests. SpecDB displayed by two intelligent automated tools. The 1st automatically generate database constraints from a fundamental rule in SpecDB. The other is a reverse engineering tool that records the powerful implementation of the program from the code. Automated Database Applications Testing: Specification Representation for Automated Reasoning (Series in Machine Perception and Artifical Intelligence)

\n\nAutomated Database Applications Testing: Specification Representation for Automated Reasoning (Series in Machine Perception and Artifical Intelligence) Ebook

Leave a comment