Automated Database Applications Testing: Specification Representation For Automated Reasoning
Rana Farid Mikhail, Abraham Kandel, Donald J Berndt
ISBN 10: 9812837280 ISBN 13: 9789812837288
Published by World Scientific Publishing Co Pte Ltd, SG, 2010
New
Hardback
From
Rarewaves.com UK, London, United Kingdom
Seller rating 5 out of 5 stars
AbeBooks Seller since June 11, 2025
This specific item is no longer available.
About this Item
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. Seller Inventory # LU-9789812837288
Synopsis:
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.
From the Back Cover: 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.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Automated Database Applications Testing: ...
Publisher: World Scientific Publishing Co Pte Ltd, SG
Publication Date: 2010
Binding: Hardback
Condition: New
Edition: Illustrated.
Top Search Results from the AbeBooks Marketplace
Stock Image
Automated Database Applications Testing: Specification Representation For Automated Reasoning (Machine Perception and Artificial Intelligence)
Seller: suffolkbooks, Center moriches, NY, U.S.A.
Seller rating 4 out of 5 stars
paperback. Condition: Very Good. Fast Shipping - Safe and Secure 7 days a week! Seller Inventory # 3TWDDA005BFN
Quantity: 5 available
Stock Image
Automated Database Applications Testing Specification Representation for Automated Reasoning
Published by
World Scientific Publishing Co Pte Ltd, 2010
ISBN 10: 9812837280
ISBN 13: 9789812837288
New
Softcover
Seller: TextbookRush, Grandview Heights, OH, U.S.A.
Seller rating 4 out of 5 stars
Condition: Brand New. Ships SAME or NEXT business day. We Ship to APO/FPO addr. Choose EXPEDITED shipping and receive in 2-5 business days within the United States. See our member profile for customer support contact info. We have an easy return policy. Seller Inventory # 52651435
Quantity: 1 available
Seller Image
Automated Database Applications Testing : Specification Representation for Automated Reasoning
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 6092888
Quantity: 9 available
Seller Image
Automated Database Applications Testing : Specification Representation for Automated Reasoning
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 6092888-n
Quantity: 9 available
Stock Image
AUTOMATED DATABASE APPLICATIONS .(V72)
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-24943
Quantity: 5 available
Seller Image
Automated Database Applications Testing : Specification Representation for Automated Reasoning
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 6092888-n
Quantity: 9 available
Stock Image
Automated Database Applications Testing: Specification Representation For Automated Reasoning (Machine Perception and Artificial Intelligence)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Apr0412070095099
Quantity: Over 20 available
Stock Image
Automated Database Applications Testing: Specification Representation for Automated Reasoning
Published by
World Scientific Publishing Company, 2010
ISBN 10: 9812837280
ISBN 13: 9789812837288
New
HRD
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # CW-9789812837288
Quantity: 15 available
Stock Image
Automated Database Applications Testing: Specification Representation For Automated Reasoning
Published by
World Scientific Publishing Co Pte Ltd, 2010
ISBN 10: 9812837280
ISBN 13: 9789812837288
New
HRD
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # CW-9789812837288
Quantity: 15 available
Stock Image
Automated Database Applications Testing: Specification Representation For Automated Reasoning (Machine Perception and Artificial Intelligence)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9789812837288_new
Quantity: Over 20 available