Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering 30 dages retur
DRM-beskyttet
PDF version af Automated Database Applications Testing: Specification Representation For Automated Reasoning af Berndt Berndt Donald J, Kandel Kandel Abraham, Mikhail Mikhail Rana Farid

Automated Database Applications Testing: Specification Representation For Automated Reasoning

Af
E-bog
  • Format
  • E-bog, PDF
  • Engelsk
  • 212 sider
Er ikke web-tilgængelig
E-bogen er DRM-beskyttet og kræver et særligt læseprogram

Normalpris

kr. 399,95

Medlemspris

kr. 339,95
Som medlem af Saxo Premium 20 timer køber du til medlemspris, får fri fragt og 20 timers streaming/md. i Saxo-appen. De første 7 dage er gratis for nye medlemmer, derefter koster det 99,-/md. og kan altid opsiges. Løbende medlemskab, der forudsætter betaling med kreditkort. Fortrydelsesret i medfør af Forbrugeraftaleloven. Mindstepris 0 kr. Læs mere

Beskrivelse

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.

Læs hele beskrivelsen
Detaljer

Anmeldelser

Vær den første!

Log ind for at skrive en anmeldelse.

Findes i disse kategorier...

Se andre, der handler om...

Software engineering Database design & theory