| 929 | -- | 931 | . Guest Editor s Introduction Formal Methods in Software Engineering |
| 932 | -- | 948 | Andrew P. Moore. The Specification and Verified Decomposition of System Requirements Using CSP |
| 949 | -- | 964 | F. Keith Hanna, Neil Daeche, Mark Longley. Specification and Verification Using Dependent Types |
| 965 | -- | 979 | Andy Podgurski, Lori A. Clarke. A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance |
| 980 | -- | 992 | Mark Moriconi, Timothy C. Winkler. Approximate Reasoning About the Semantic Effects of Program Changes |
| 993 | -- | 1004 | Albert John Camilleri. Mechanizing CSP Trace Theory in Higher Order Logic |
| 1005 | -- | 1023 | David M. Goldschlag. Mechanically Verifying Concurrent Programs with the Boyer-Moore Prover |
| 1024 | -- | 1043 | Douglas R. Smith. KIDS: A Semiautomatic Program Development System |
| 1044 | -- | 1057 | Stephen J. Garland, John V. Guttag, James J. Horning. Debugging Larch Shared Language Specifications |
| 1058 | -- | 1075 | David Guaspari, Carla Marceau, Wolfgang Polak. Formal Verification of Ada Programs |
| 1076 | -- | 1088 | Jeannette M. Wing. Using Larch to Specify Avalon/C++ Objects |
| 1089 | -- | 1103 | K. T. Narayana, Sanjeev Dharap. Formal Specification of a Look Manager |