B.J. Dorr, P.W. Jordan, and J.W. Benoit, A Survey of Current Paradigms in Machine Translation. J.S. Fitzgerald, Formality in Specification and Modeling: Developments in Software Engineering Practice. M.L. Staples and J.M. Bieman, 3-D Visualization of Software Structure. A. von Mayrhauser and R. Mraz, Using Domain Models for System Testing. W.G. Bail, Exception-Handling Design Patterns. N.B. Abu-Ghazaleh and P.A. Wilsey, SIMD Machines--A Survey. J.R. Agre, L.P. Clare, and S. Sastry, A Taxonomy of Distributed Real-Time Control Systems. Subject Index. Author Index.