Front Cover; Advances in Computers, Volume 49; Copyright Page; Contents; Contributors; Preface; Chapter 1. A Survey of Current Paradigms in Machine Translation; 1. Introduction; 2. The History of MT; 3. Translation Challenges; 4. Architectures; 5. Paradigms of MT Research Systems; 6. Evaluation of MT Systems; 7. Summary and Conclusions; References; Chapter 2. Formality in Specification and Modeling: Developments in Software Engineering Practice; 1. Introduction; 2. Modeling, Abstraction and Formality; 3. An Example of a Model-oriented Specification; 4. Analysis Techniques for Formal Models.

5. Lessons from Industrial ApplicationsReferences; Chapter 3. 3-D Visualization of Software Structure; 1. Introduction; 2. Software Visualization; 3. Impact Analysis; 4. Scalability of Software Visualization; 5. Change Impact Viewer; 6. Evaluation of Results; 7. Conclusions and Future Work; References; Chapter 4. Using Domain Models for System Testing; 1. Introduction; 2. System Testing Approaches; 3. Industrial Application-Robot Tape Library; 4. Building the Domain Model; 5. Test Generation Process; 6. Sleuth Test Generation Example; 7. Reuse Scenarios and Experiences.

8. Conclusions and Further WorkReferences; Chapter 5. Exception-handling Design Patterns; 1. Introduction; 2. Exception-handling Concepts; 3. Exception-handling Life Cycle; 4. Exception-handling Design Strategies; 5. Ineffective Exception-handling Design Patterns; References; Chapter 6. Managing Control Asynchrony on SIMD Machines-a Ssurvey; 1. Introduction; 2. Background; 3. The Evolution of the SIMD Paradigm; 4. Beyond the SIMD Control Organization.; 5. The Concurrent-interpretation Model; 6. Concluding Remarks; References; Chapter 7. A Taxonomy of Distributed Real-time Control Systems.

1. Introduction2. Trends Affecting Control System Architectures; 3. Taxonomies for DRCS; 4. DRCS Taxonomy; 5. Benefits and Limitations of a DRCS; 6. Conclusions; Acknowledgments; References; AppendixA; Author Index; Subject Index; Contents of Volumes in this Series.