Automated Database Applications Testing: Specification Representation For Automated Reasoning

Name: Automated Database Applications Testing: Specification Representation For Automated Reasoning
Author: Usa) Rana Farid (Univ Of South Florida Mikhail

Usa) Rana Farid (Univ Of South Florida Mikhail, Usa) Donald J (Univ Of South Florida Berndt, Usa) Abraham (Univ Of South Florida Kandel

World Scientific Publishing Co Pte Ltd

Knihu koupíte v 1 e-shopu

Bookshop.cz

2 497 Kč

Není skladem

Do obchodu

Krátký popis

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.

Výběr knih vydavatele World Scientific Publishing Co Pte Ltd