Automated Database Applications Testing: Specification Representation for Automated Reasoning

· ·
· Series in Machine Perception and Artificial Intelligence Кніга 76 · World Scientific
Электронная кніга
212
Старонкі
Падыходзячыя

Пра гэту электронную кнігу

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

Знайдзіце больш

Ацаніце гэту электронную кнігу

Падзяліцеся сваімі меркаваннямі.

Чытанне інфармацыb

Смартфоны і планшэты
Усталюйце праграму "Кнігі Google Play" для Android і iPad/iPhone. Яна аўтаматычна сінхранізуецца з вашым уліковым запісам і дазваляе чытаць у інтэрнэце або па-за сеткай, дзе б вы ні былі.
Ноўтбукі і камп’ютары
У вэб-браўзеры камп’ютара можна слухаць аўдыякнігі, купленыя ў Google Play.
Электронныя кнiгi i iншыя прылады
Каб чытаць на такіх прыладах для электронных кніг, як, напрыклад, Kobo, трэба спампаваць файл і перанесці яго на сваю прыладу. Выканайце падрабязныя інструкцыі, прыведзеныя ў Даведачным цэнтры, каб перанесці файлы на прылады, якія падтрымліваюцца.

Працяг серыі

Яшчэ ад Rana Farid Mikhail

Падобныя электронныя кнігі