Catalog > Science > Informatique > 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

Support

Couverture du 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

Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !

Langue Anglais ● Format PDF ● Pages 212 ● ISBN 9789812837295 ● Taille du fichier 3.7 MB ● Maison d’édition World Scientific Publishing Company ● Lieu Singapore ● Pays SG ● Publié 2010 ● Téléchargeable 24 mois ● Devise EUR ● ID 2447743 ● Protection contre la copie Adobe DRM

Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

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

75 745 Ebooks dans cette catégorie

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du Robert Rybaric: Microsoft Power Platform Up and Running

Robert Rybaric: Microsoft Power Platform Up and Running

The author of ‘Microsoft Power Platform Up and Running’ is an experienced subject expert on technology, so the book is engaging, well-illustrated, and aims to make it easier to implement the technolo …

Couverture du 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 …

Couverture du 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 …

Couverture du Swati Gupta & Arun (Panipat Inst of Engg and Tech, India) Kumar Rana: Internet of Things

Swati Gupta & Arun (Panipat Inst of Engg and Tech, India) Kumar Rana: Internet of Things

Internet of things (Io T) is the connection and communication of physical objects (smart devices) over the internet. In this recent age, people’s daily lives are dependent on the internet through the …

Couverture du Pradipta Kumar Banerji & Satyajit Chakrabarti: Interdisciplinary Research in Technology and Management

Pradipta Kumar Banerji & Satyajit Chakrabarti: Interdisciplinary Research in Technology and Management

The conference on ‘Interdisciplinary Research in Technology and Management” was a bold experiment in deviating from the traditional approach of conferences which focus on a specific topic or theme. B …

Couverture du Zheng Yan: Encyclopedia of Mobile Phone Behavior

Zheng Yan: Encyclopedia of Mobile Phone Behavior

Couverture du Jean-Loup Richet: Cybersecurity Policies and Strategies for Cyberwarfare Prevention

Jean-Loup Richet: Cybersecurity Policies and Strategies for Cyberwarfare Prevention

Page suivante >>>