Advances in Computers (eBook)

Marvin Zelkowitz (Herausgeber)

eBook Download: PDF

1999 | 1. Auflage
320 Seiten
Elsevier Science (Verlag)
978-0-08-056681-8 (ISBN)

Infos

Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in hardware and software and in computer theory, design, and applications. It has also provided contributors with a medium in which they can examine their subjects in greater depth and breadth than that allowed by standard journal articles. As a result, many articles have become standard references that continue to be of significant, lasting value despite the rapid growth taking place in the field.

Inhalt

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

Produkt-Details

• Erscheint lt. Verlag: 14.9.1999
• Sprache: englisch
• Themenwelt: Sachbuch/Ratgeber
• Themenwelt: Informatik ► Grafik / Design ► Digitale Bildverarbeitung
• Themenwelt: Informatik ► Office Programme ► Outlook
• Themenwelt: Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
• Themenwelt: Mathematik / Informatik ► Informatik ► Software Entwicklung
• Themenwelt: Mathematik / Informatik ► Informatik ► Theorie / Studium
• Themenwelt: Mathematik / Informatik ► Mathematik
• ISBN-10: 0-08-056681-2 / 0080566812
• ISBN-13: 978-0-08-056681-8 / 9780080566818