Del 76 - Series In Machine Perception And Artificial Intelligence
Automated Database Applications Testing: Specification Representation For Automated Reasoning
Inbunden, Engelska, 2010
AvRana Farid Mikhail,Donald J Berndt,Abraham Kandel,Usa) Mikhail, Rana Farid (Univ Of South Florida,Usa) Berndt, Donald J (Univ Of South Florida,Usa) Kandel, Abraham (Univ Of South Florida,Donald J. Berndt,AL RANA FARID MIKHAIL ET,Al Rana Farid Mikhail Et
1 759 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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.
Produktinformation
- Utgivningsdatum2010-01-20
- Mått160 x 237 x 19 mm
- Vikt506 g
- FormatInbunden
- SpråkEngelska
- SerieDel 76 i Series In Machine Perception And Artificial Intelligence
- Antal sidor212
- FörlagWorld Scientific Publishing Co Pte Ltd
- ISBN9789812837288
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 32
Del 58
Computational Web Intelligence: Intelligent Technology For Web Applications
ZHANG Y-Q, Yan-qing Zhang, Abraham Kandel, Yi Yu Yao, Tsau Young Lin, Usa) Zhang, Yan-qing (Georgia State Univ, Usa) Kandel, Abraham (Univ Of South Florida, Canada) Yao, Yi Yu (Univ Of Regina, Usa) Lin, Tsau Young (San Jose State Univ, Yan-Qing Zhang
3 139 kr
Del 57
Del 56
Del 83
Del 63
Del 62
Del 65