Ebook > Sciences > Computer Science > Application Software > Kandel Abraham Kandel & Berndt Donald J Berndt: Automated Database Applications Testing: Specification Representation For Automated Reasoning (PDF)

Kandel Abraham Kandel & Berndt Donald J Berndt
Automated Database Applications Testing: Specification Representation For Automated Reasoning [PDF ebook]

Support

Cover of Kandel Abraham Kandel & Berndt Donald J Berndt: Automated Database Applications Testing: Specification Representation For Automated Reasoning (PDF)

This book introduces Spec DB, 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. Spec DB is demonstrated via two automated intelligent tools. The first automatically generates database constraints from a rule-base in Spec DB. The second is a reverse engineering tool that logs the actual execution of the program from the code.

€43.10

Buy this ebook and get 1 more FREE!

Language English ● Format PDF ● Pages 212 ● ISBN 9789814469135 ● Publisher World Scientific Publishing Company ● Published 2010 ● Downloadable 3 times ● Currency EUR ● ID 8153302 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Kandel Abraham Kandel Berndt Donald J. Berndt Mikhail Rana Farid Mikhail

16,459 Ebooks in this category

Cover of Richard Urwin: Artificial Intelligence for Developers in easy steps

Richard Urwin: Artificial Intelligence for Developers in easy steps

Artificial Intelligence for Developers in easy steps is for coders who want to enhance their skillset quickly and easily. Artificial Intelligence (AI) is here to stay, and this guide reveals how AI …

Cover of Various: Programming Kotlin

Various: Programming Kotlin

Explore the world of Kotlin with this curated collection. Designed for both beginners and experienced developers, this bundle offers essential knowledge and practical skills for developing …

Cover of Anita Gehlot & Lovi Raj Gupta: Getting Started for Internet of Things with Launch Pad and ESP8266

Anita Gehlot & Lovi Raj Gupta: Getting Started for Internet of Things with Launch Pad and ESP8266

Getting Started for Internet of Things with Launch Pad and ESP8266 provides a platform to get started with the Ti launch pad and Io T modules for Internet of Things applications. The book provides …

Cover of C. Ravindranath Pandian: Software Metrics

C. Ravindranath Pandian: Software Metrics

<P> The modern field of software metrics emerged from the computer modeling and ‘statistical thinking’ services of the 1980s. As the field evolved, metrics programs were integrated with project …

Cover of Pam Lahoud & Pedro Lopes: Learn T-SQL Querying

Pam Lahoud & Pedro Lopes: Learn T-SQL Querying

Troubleshoot query performance issues, identify anti-patterns in code, and write efficient T-SQL queries Key Features

Discover T-SQL functionalities and services that help you interact w …

Cover of Saad Motahhir: Smart Embedded Systems and Applications

Saad Motahhir: Smart Embedded Systems and Applications

This book covers a wide range of challenges, technologies and state-of-the-art for the design, development and realization of smart and complex embedded systems and their applications; i.e., software …

Cover of Fabrizio Riguzzi: Foundations of Probabilistic Logic Programming

Fabrizio Riguzzi: Foundations of Probabilistic Logic Programming

Since its birth, the field of Probabilistic Logic Programming has seen a steady increase of activity, with many proposals for languages and algorithms for inference and learning. This book aims at …

Cover of Dusan Stojanovic: Data Structures and Algorithms with Go

Dusan Stojanovic: Data Structures and Algorithms with Go

Go, designed by Google, is a modern, open-source language known for its simplicity, readability, and efficiency. It excels at building web applications, network tools, and cloud services. Its clear …

Cover of Preston Zhang: Practical Guide for Oracle SQL, T-SQL and MySQL

Preston Zhang: Practical Guide for Oracle SQL, T-SQL and MySQL

SQL is a widely used to access most databases, therefore database developers and system administrators should be familiar with it. This hands-on SQL book will help beginner and intermediate user …

Cover of John Killingbeck: Microcomputer Algorithms

John Killingbeck: Microcomputer Algorithms

Although the computing facilities available to scientists are becoming more powerful, the problems they are addressing are increasingly complex. The mathematical methods for simplifying the computing …