Model Driven Development Of Advanced User Interfaces

MDD, which uses models as primary tools in the development process, is now an important paradigm in software creation. This book provides an outstanding overview as well as deep insights into the emerging topic of MDD s application to advanced user interfaces. " Cover......Page 1 Types of Reduced A-Sources......Page 3 Examples......Page 5 Problems of Unconditional Optimization......Page 6 Main Definitions......Page 9 Conclusions......Page 11 Diagnosis of Iteration-Free Circuits......Page 12 Global Shannon Function h^l_U for Two-Valued Finite Information Systems......Page 14 Conclusions......Page 15 Problems......Page 16 Main Result......Page 4 Basic Notions......Page 7 Complexity of Decision Trees for Diagnosis of Faults......Page 10 Front Matter......Page 2 Introduction......Page 13 Decision Tables......Page 18 Diagnosis of One-Gate Circuit......Page 21 Problems of Conditional Optimization......Page 8 Approximate Algorithm for α-Decision Tree Optimization......Page 17 Three Cups and Small Ball......Page 20 Conclusions......Page 22 Problem of Three Post-Offices......Page 24 Recognition of Digits......Page 26 Traveling Salesman Problem with Four Cities......Page 27 Traveling Salesman Problem with n ≥ 4 Cities......Page 29 Data Table with Experimental Data......Page 30 Conclusions......Page 31 Part I: Tools......Page 32 Decision Tables, Trees, Rules and Tests......Page 33 Monotone Boolean Functions......Page 35 Set of Tests......Page 36 Set of Decision Rules......Page 39 Set of Decision Trees......Page 42 Relationships among Decision Trees, Rules and Tests......Page 44 Conclusions......Page 46 Lower Bounds......Page 47 Upper Bounds......Page 53 Conclusions......Page 56 Approximate Algorithms for Optimization of Tests and Decision Rules......Page 57 Set Cover Problem......Page 58 Tests: From Decision Table to Set Cover Problem......Page 60 From Set Cover Problem to Decision Table......Page 62 Approximate Algorithm for Decision Tree Optimization......Page 65 Optimization of Decision Trees......Page 69 Optimization of Decision Rules......Page 71 Optimization of Tests......Page 74 Conclusions......Page 77 Examples Connected with Applications......Page 78 Main Notions......Page 81 Relationships among Decision Trees, Rules and Tests......Page 83 Lower Bounds......Page 85 Upper Bounds......Page 86 Optimization of Tests......Page 87 Optimization of Decision Rules......Page 88 Approximate Algorithms for Decision Tree Optimization......Page 90 Example......Page 92 Conclusions......Page 95 Main Notions......Page 96 Relationships among α-Trees, α-Rules and α-Tests......Page 98 Lower Bounds......Page 100 Upper Bounds......Page 105 Approximate Algorithm for α-Decision Rule Optimization......Page 109 Approximate Algorithm for α-Decision Tree Optimization......Page 112 Algorithms for α-Test Optimization......Page 115 Conclusions......Page 117 Part II: Applications......Page 119 Supervised Learning......Page 120 Classifiers Based on Decision Trees......Page 121 Use of Greedy Algorithms......Page 122 Use of Dynamic Programming Approach......Page 123 Simplification of Rule System......Page 124 Pruning......Page 125 Lazy Learning Algorithms......Page 126 Lazy Decision Trees and Rules......Page 127 Lazy Learning Algorithm Based on Decision Rules......Page 129 Lazy Learning Algorithm Based on Reducts......Page 131 Conclusions......Page 132 Basic Notions......Page 134 Local Approach to Study of Decision Trees and Rules......Page 136 Local Shannon Functions for Arbitrary Information Systems......Page 137 Restricted Binary Information Systems......Page 139 Local Shannon Functions for Finite Information Systems......Page 142 Infinite Information Systems......Page 143 Global Shannon Function h^l_U for Two-Valued Finite Information Systems......Page 147 Conclusions......Page 148 Decision Trees and Rules over Quasilinear Information Systems......Page 150 Quasilinear Information Systems......Page 151 Linear Information Systems......Page 152 Optimization Problems over Quasilinear Information Systems......Page 154 Some Definitions......Page 155 Problems of Unconditional Optimization of Absolute Values......Page 156 Problems of Conditional Optimization......Page 157 Main Definitions......Page 158 Relationships between Depth of Deterministic and Nondeterministic Acyclic Programs......Page 159 Conclusions......Page 160 Problem of Recognition of Words......Page 161 A-Sources......Page 162 Types of Reduced A-Sources......Page 163 Main Result......Page 164 Examples......Page 165 Basic Notions......Page 167 Complexity of Decision Trees for Diagnosis of Faults......Page 170 Diagnosis of Iteration-Free Circuits......Page 172 Approach to Circuit Construction and Diagnosis......Page 175 Back Matter......Page 177 Model-Driven Development (MDD) has become an important paradigm in software development. It uses models as primary artifacts in the development process. This book provides an outstanding overview as well as deep insights into the area of model-driven development of user interfaces, which is an emerging topic in the intersection of Human-Computer-Interaction and Software-Engineering. The idea of this book is based on the very successful workshop series of “Model-Driven Development of Advanced User Interfaces (MDDAUI)”. It has been written by the leading researchers and practitioners in the field of model-driven development of user interfaces and offer a variety of solutions and examples for • Architectures and environments for the generation of user interfaces • User interface development for specific domains and purposes • Model-driven development in the context of ambient intelligence • Concepts supporting model-driven development of user interfaces