| 673 | -- | 674 | Jeannette M. Wing, Jim Woodcock. Guest Editors Introduction-Special Issues for FM 99: The First World Congress On Formal Methods in the Development of Computing Systems |
| 675 | -- | 686 | Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor. Is Proof More Cost-Effective Than Testing? |
| 687 | -- | 701 | Anne Elisabeth Haxthausen, Jan Peleska. Formal Development and Verification of a Distributed Railway Control System |
| 702 | -- | 712 | Volkmar Lotz, Volker Kessler, Georg Walter. A Formal Security Model for Microprocessor Hardware |
| 713 | -- | 728 | Ana Cavalcanti, David A. Naumann. A Weakest Precondition Semantics for Refinement of Object-Oriented Programs |
| 729 | -- | 741 | Hervé Marchand, Mazen Samaan. Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology |
| 742 | -- | 759 | Mor Peleg, Dov Dori. The Model Multiplicity Problem: Experimenting with Real-Time Specification Methods |
| 760 | -- | 785 | Fabio Casati, Silvana Castano, Maria Grazia Fugini, Isabelle Mirbel, Barbara Pernici. Using Patterns to Design Rules in Workflows |
| 786 | -- | 796 | Michelle Cartwright, Martin J. Shepperd. An Empirical Investigation of an Object-Oriented Software System |
| 797 | -- | 814 | Norman E. Fenton, Niclas Ohlsson. Quantitative Analysis of Faults and Failures in a Complex Software System |