Catalog > Ciência > Ciência da Computação > Rana Farid Mikhail & Donald J Berndt: AUTOMATED DATABASE APPLICATIONS ...(V72) (PDF)

Rana Farid Mikhail & Donald J Berndt
AUTOMATED DATABASE APPLICATIONS …(V72) [PDF ebook]
Specification Representation for Automated Reasoning

Apoio

Capa do Rana Farid Mikhail & Donald J Berndt: AUTOMATED DATABASE APPLICATIONS ...(V72) (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.

€144.99

Compre este e-book e ganhe mais 1 GRÁTIS!

Língua Inglês ● Formato PDF ● Páginas 212 ● ISBN 9789812837295 ● Tamanho do arquivo 3.7 MB ● Editora World Scientific Publishing Company ● Cidade Singapore ● País SG ● Publicado 2010 ● Carregável 24 meses ● Moeda EUR ● ID 2447743 ● Proteção contra cópia Adobe DRM

Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

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

75.745 Ebooks nesta categoria

Capa do Daniel (German Sport University Cologne, Germany) Memmert & Dominik Raabe: Data Analytics in Football

Daniel (German Sport University Cologne, Germany) Memmert & Dominik Raabe: Data Analytics in Football

Data Analytics in Football provides students, researchers, and coaches with a firm grounding in the principles of modern performance analysis. It offers an insight into the use of positional data, ex …

Capa do Nicholas Bernhardt Zeman: Essential Skills for 3D Modeling, Rendering, and Animation

Nicholas Bernhardt Zeman: Essential Skills for 3D Modeling, Rendering, and Animation

The Key to Fully Understanding the Basics of a 3D World Prominently used in games, movies, and on television, 3D graphics are tools of creation used to enhance how material and light come together to …

Capa do Haripriya Dhall & Bijay Kumar Sahoo: Microsoft Power Platform A Deep Dive

Haripriya Dhall & Bijay Kumar Sahoo: Microsoft Power Platform A Deep Dive

With "Microsoft’s Power Platform A Deep Dive, " you can learn more about how Microsoft’s Power Platform creates and fosters opportunities for users to enhance their technical skills and boo …

Capa do B. V. (Galgotias University, Greater Noida, India) Babu & Ashish M. (Sultan Qaboos University, Sultanate of Oman) Gujarathi: Evolutionary Computation

B. V. (Galgotias University, Greater Noida, India) Babu & Ashish M. (Sultan Qaboos University, Sultanate of Oman) Gujarathi: Evolutionary Computation

Edited by professionals with years of experience, this book provides an introduction to the theory of evolutionary algorithms and single- and multi-objective optimization, and then goes on to discuss …

Capa do Chandrasekar Vuppalapati: Building Enterprise IoT Applications

Chandrasekar Vuppalapati: Building Enterprise IoT Applications

Mc Kinsey Global Institute predicts Internet of Things (Io T) could generate up to $11.1 trillion a year in economic value by 2025. Gartner Research Company expects 20 billion inter-connected devices …

Capa do Debotosh Bhattacharjee & Siddhartha Bhattacharyya: Handbook of Research on Recent Developments in Intelligent Communication Application

Debotosh Bhattacharjee & Siddhartha Bhattacharyya: Handbook of Research on Recent Developments in Intelligent Communication Application

Capa do Brock Dubbels: Transforming Gaming and Computer Simulation Technologies across Industries

Brock Dubbels: Transforming Gaming and Computer Simulation Technologies across Industries

Capa do S. Bharath Bhushan & Sam Goundar: Architecture and Security Issues in Fog Computing Applications

S. Bharath Bhushan & Sam Goundar: Architecture and Security Issues in Fog Computing Applications

As the progression of the internet continues, society is finding easier, quicker ways of simplifying their needs with the use of technology. With the growth of lightweight devices, such as smart phon …

Capa do Brij B. Gupta & Deepak Gupta: Handbook of Research on Multimedia Cyber Security

Brij B. Gupta & Deepak Gupta: Handbook of Research on Multimedia Cyber Security

Because it makes the distribution and transmission of digital information much easier and more cost effective, multimedia has emerged as a top resource in the modern era. In spite of the opportunitie …

Capa do Deepika Prakash & Naveen Prakash: Novel Approaches to Information Systems Design

Deepika Prakash & Naveen Prakash: Novel Approaches to Information Systems Design

Though traditionally information systems have been centralized, these systems are now distributed over the web. This requires a re-investigation into the way information systems are modeled and desig …

Próxima página >>>