Advances in Computers (eBook)

Front Cover 1
Advances in Computers, Volume 49 4
Copyright Page 5
Contents 6
Contributors 10
Preface 14
Chapter 1. A Survey of Current Paradigms in Machine Translation 16
1. Introduction 17
2. The History of MT 18
3. Translation Challenges 20
4. Architectures 29
5. Paradigms of MT Research Systems 35
6. Evaluation of MT Systems 55
7. Summary and Conclusions 69
References 70
Chapter 2. Formality in Specification and Modeling: Developments in Software Engineering Practice 84
1. Introduction 85
2. Modeling, Abstraction and Formality 86
3. An Example of a Model-oriented Specification 87
4. Analysis Techniques for Formal Models 94
5. Lessons from Industrial Applications 103
References 106
Chapter 3. 3-D Visualization of Software Structure 110
1. Introduction 111
2. Software Visualization 113
3. Impact Analysis 122
4. Scalability of Software Visualization 129
5. Change Impact Viewer 134
6. Evaluation of Results 143
7. Conclusions and Future Work 153
References 155
Chapter 4. Using Domain Models for System Testing 158
1. Introduction 159
2. System Testing Approaches 160
3. Industrial Application—Robot Tape Library 168
4. Building the Domain Model 170
5. Test Generation Process 188
6. Sleuth Test Generation Example 191
7. Reuse Scenarios and Experiences 195
8. Conclusions and Further Work 201
References 203
Chapter 5. Exception-handling Design Patterns 206
1. Introduction 206
2. Exception-handling Concepts 208
3. Exception-handling Life Cycle 210
4. Exception-handling Design Strategies 212
5. Ineffective Exception-handling Design Patterns 236
References 252
Chapter 6. Managing Control Asynchrony on SIMD Machines—a Ssurvey 254
1. Introduction 255
2. Background 258
3. The Evolution of the SIMD Paradigm 268
4. Beyond the SIMD Control Organization. 277
5. The Concurrent-interpretation Model 293
6. Concluding Remarks 308
References 310
Chapter 7. A Taxonomy of Distributed Real-time Control Systems 318
1. Introduction 319
2. Trends Affecting Control System Architectures 319
3. Taxonomies for DRCS 331
4. DRCS Taxonomy 337
5. Benefits and Limitations of a DRCS 358
6. Conclusions 359
Acknowledgments 361
References 361
AppendixA 363
Author Index 368
Subject Index 380
Contents of Volumes in this Series 390