Recently Viewed

New

Automated Database Applications Testing: Specification Representation For Automated Reasoning by Rana Farid Mikhail 9789812837288

No reviews yet Write a Review
RRP: £85.00
Booksplease Price: £74.60
Booksplease saves you 12%

  Bookmarks: Included free with every order
  Delivery: We ship to over 200 countries from the UK
  Range: Millions of books available
  Reviews: Booksplease rated "Excellent" on Trustpilot

  FREE UK DELIVERY: When You Buy 3 or More Books - Use code: FREEUKDELIVERY in your cart!

SKU:
9789812837288
MPN:
9789812837288
Available from Booksplease!
Global delivery available
Global delivery available
Global delivery available
Global delivery available
Global delivery available
Availability: Usually dispatched within 3 working days

Frequently Bought Together:

Total: Inc. VAT
Total: Ex. VAT

Description

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.

Book Information
ISBN 9789812837288
Author Rana Farid Mikhail
Format Hardback
Page Count 212
Imprint World Scientific Publishing Co Pte Ltd
Publisher World Scientific Publishing Co Pte Ltd

Reviews

No reviews yet Write a Review

Booksplease  Reviews