Hoppa till sidans huvudinnehåll

Del 76

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,Al Rana Farid Mikhail Et,AL RANA FARID MIKHAIL ET

1 719 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

Tillhör följande kategorier

Hoppa över listan

Mer från samma serie

Del 86

Graph-based Keyword Spotting

Stauffer Michael, STAUFFER MICHAEL, Michael Stauffer, Andreas Fischer, Kaspar Riesen, Switzerland) Stauffer, Michael (Univ Of Applied Sciences & Arts Northwestern, Switzerland) Fischer, Andreas (Univ Of Fribourg, Switzerland) Riesen, Kaspar (Univ Of Bern, Switzerland & Univ Of Applied Sciences & Arts Northwestern

Inbunden

1 909 kr

Hoppa över listan

Du kanske också är intresserad av

Del 62

Graph-theoretic Techniques For Web Content Mining

Adam Schenker, Horst Bunke, Mark Last, Abraham Kandel, Usa) Schenker, Adam (Univ Of South Florida, Horst (-) Bunke, Israel) Last, Mark (Ben-gurion Univ Of The Negev, Usa) Kandel, Abraham (Univ Of South Florida, SCHENKER ADAM

Inbunden

2 999 kr

Del 65

Fighting Terror In Cyberspace

LAST MARK, Mark Last, Abraham Kandel, Israel) Last, Mark (Ben-gurion Univ Of The Negev, Usa) Kandel, Abraham (Univ Of South Florida

Inbunden

1 789 kr