Software engineering and development

Software engineering is one of the most knowledge intensive jobs. Thus, having a good knowledge management (KM) strategy in these organisations is very important. This book examines software processes from a knowledge perspective flow, in order to identify the particular knowledge needs of such processes to then be in a better position for proposing systems or strategies to address those needs. Its possible benefits are illustrated through the results of a study in a software maintenance process within a small software organisation. Furthermore, software product line architecture is regarded as one of the crucial piece of entity in software product lines. The authors of this book discuss the state of the art of software product line engineering from the perspectives of business, architecture, process and organisation. In recent years, domain-specific languages have been proposed for modelling applications on a high level of abstraction. Although the usage of domain-specific languages offers clear advantages, their design is a highly complex task. This book presents a pragmatic way for designing and using domain-specific languages. Other chapters in this book examine the development of numerical methodologies for inverse determination of material constitutive model parameters, discuss some of the reasons for the irrelevancy of software engineering to the robotic community, review the evolution of robotic software over time, and propose the use of Ant Colony Optimisation, a kind of metaheuristic algorithm, to find general property violations in concurrent systems using a explicit state model checker. SOFTWARE ENGINEERING AND DEVELOPMENT......Page 3 SOFTWARE ENGINEERING AND DEVELOPMENT......Page 5 CONTENTS......Page 7 PREFACE......Page 9 EXPERT COMMENTARIES......Page 15 1. Introduction ......Page 17 2. Upper Bounds for Indexing Data Structures ......Page 18 3. Lower Bounds for Indexing Data Structures ......Page 20 4. Generalizations ......Page 21 5. Concluding Remarks ......Page 23 References......Page 24 1. Introduction......Page 27 2. The Main Stages in the Evolution of Robotic Software......Page 28 3. Towards a Heterogeneity-Based Robotic Software Development System......Page 30 4. Results, Conclusions, and Future Work......Page 33 References......Page 34 SHORT COMMUNICATIONS......Page 37 Abstract......Page 39 1. Introduction......Page 40 2. DSLs......Page 41 3. Case Study – Part 1......Page 43 4. A Pragmatic Approach to DSL Development......Page 44 5. Case Study – Part 2......Page 45 6. Discussion......Page 48 References......Page 49 Abstract......Page 51 Introduction......Page 52 Background......Page 53 A General View of the Kofi Methodology......Page 56 Applying the KoFI Methodology......Page 71 Related Work......Page 75 Acknowledgements......Page 77 References......Page 78 Abstract......Page 83 1.1. Introduction......Page 84 1.2. Businesss of Software Product line Engineering......Page 87 1.3. Institutionalization of Software Product Line Engineering......Page 91 1.4. Software Product Line Architecture......Page 96 References......Page 102 Abstract......Page 107 Introduction......Page 108 Parameter Identification......Page 110 Conclusion......Page 134 References......Page 135 Abstract......Page 139 Introduction......Page 140 Learning Theory......Page 141 Chemistry Learning......Page 143 Case Study: Molecular Visualization Educational Software......Page 150 Conclusions......Page 160 References......Page 161 Abstract......Page 165 Introduction......Page 166 Applications......Page 167 Software Development Process Models for Supercomputing and Grid Applications......Page 168 Component Based Software Development......Page 171 Software Reuse Guidelines......Page 173 Component Model for Supercomputing and Grid Applications......Page 178 Testing and Evaluation......Page 181 Conclusion......Page 185 References......Page 186 Abstract......Page 189 Significance of Evaluation......Page 190 Metaphor as an Evaluative Approach......Page 191 Software as an Instructor......Page 193 Software as a Facilitator of Learning......Page 195 Software as a Virtual Class......Page 196 References......Page 197 RESEARCH AND REVIEW STUDIES......Page 199 1. Introduction ......Page 201 2. Challenges of Testing EDS ......Page 202 What Is Event-Driven Software?......Page 204 Related Work......Page 205 References......Page 206 Abstract......Page 207 1. Introduction ......Page 208 2. Background ......Page 210 3. Problem Formalization ......Page 216 4. Algorithmic Proposal ......Page 217 5. Experiments ......Page 222 6. Discussion ......Page 230 References......Page 232 INDEX......Page 237 Software engineering is one of the most knowledge intensive jobs. Thus, having a good knowledge management (KM) strategy in these organizations is very important. This book examines software processes from a knowledge perspective flow, in order to identify the particular knowledge needs of such processes to then be in a better position for proposing systems or strategies to address those needs. Its possible benefits are illustrated through the results of a study in a software maintenance process within a small software organization. Furthermore, software product line architecture is regarded as one of the crucial piece of entity in software product lines. The authors of this book discuss the state of the art of software product line engineering from the perspectives of business, architecture, process and organization. In recent years, domain-specific languages have been proposed for modelling applications on a high level of abstraction. Although the usage of domain-specific languages offers clear advantages, their design is a highly complex task. This book presents a pragmatic way for designing and using domain-specific languages. Other chapters in this book examine the development of numerical methodologies for inverse determination of material constitutive model parameters, discuss some of the reasons for the irrelevancy of software engineering to the robotic community, review the evolution of robotic software over time, and propose the use of Ant Colony Optimization, a kind of metaheuristic algorithm, to find general property violations in concurrent systems using a explicit state model checker.