Bokus

Rana Farid Mikhail – författare

Visar alla böcker från författaren Rana Farid Mikhail. Handla med fri frakt och snabb leverans.

1 produkter

  1. Rana Farid Mikhail, Donald Berndt, Abraham Kandel - AUTOMATED DATABASE APPLICATIONS TESTING: SPECIFICATION REPRESENTATION FOR AUTOMATED REASONING, Inbunden. Tillgänglighet: Lägg i varukorg

    AUTOMATED DATABASE APPLICATIONS TESTING: SPECIFICATION REPRESENTATION FOR AUTOMATED REASONING

    Av Rana Farid Mikhail, Donald Berndt m. fl.

    Inbunden, 2010

    1442 kr

    Lägg i varukorg

    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 …