| 1997 | Incremental Specification of Telecommunication Services. | Bruno Mermet, Dominique Mry |
| 1997 | Using CARE to Construct Verified Software. | Peter A. Lindsay, David Hemer |
| 1997 | Frameworks in Catalysis: Pictorial Notation and Formal Semantics. | Kung-Kiu Lau, Mario Ornaghi, Alan Wills |
| 1997 | A Methodological Approach to the Requirement Specification of Embedded Systems. | Frank Lattemann, Egbert Lehmann |
| 1997 | Formally Specifying and Verifying Real-Time Systems. | Richard A. Kemmerer |
| 1997 | Hybrid Object-Oriented Real-Time Software Development with VDM | Jan van Katwijk, Eugne Drr, Stephen J. Goldsack |
| 1997 | Whither Formal Methods: A Plea to Investigate New Applications. | Cliff B. Jones |
| 1997 | Automatic Generation of Formal Specification from Requirements Definition. | Lingzi Jin, Hong Zhu |
| 1997 | Specification and Analysis of System Level Inter-Component Communication. | Mats Per Erik Heimdahl, Jeffrey M. Thompson |
| 1997 | Formal Specification of Dynamic Constraints with the B Method. | Henri Habrias, B. Griech |
| 1997 | Generic Engineering of Communication Protocols - Current Experience and Future Issues. | Birgit Geppert, Frank Rler |
| 1997 | An Operational Semantics for ZCCS. | Andy Galloway, Bill Stoddart |
| 1997 | An Overview of CAFE Specification Environment - An Algebraic Approach for Creating, Verifying, and Maintaining Formal Specifications over Networks. | Kokichi Futatsugi, Ataru T. Nakagawa |
| 1997 | Towards a Rigorous Object-Oriented Analysis and Design Method. | Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Emanuel S. Grant, Minika Saksena |
| 1997 | The Specification-Based Testing of a Trusted Kernel: MK++. | Richard L. Ford, William R. Bevier, Richard T. Simon, Lawrence M. Smith |
| 1997 | Formalizing Process Scheduling Requirements for an Aircraft Operational Flight Program. | Jin Song Dong, Neale Fulton, Lin Zucconi, John Colton |
| 1997 | Development and Application of a Formal Agent Framework. | Mark d'Inverno, Michael Luck |
| 1997 | Formal Automatic Verification of Authentication Crytographic Protocols. | Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi |
| 1997 | Systematic Formal Verification of Interpreters. | David Cyrluk, John M. Rushby, Mandayam K. Srivas |
| 1997 | Software Measurement and Formal Methods: A Case Study Centered on TRIO+ Specifications. | Lionel C. Briand, Sandro Morasca |
| 1997 | Michael Jackson's Problem Frames: Towards Methodological Principles of Selecting and Applying Formal Software Development Techniques and Tools. | Dines Bjrner, S. Koussoube, R. Noussi, G. Satchok |
| 1997 | A Pragmatic, Rigorous Integration of Structural and Behavioral Modeling Notations. | Daniel M. Berry, M. Weber |
| 1997 | Formal Specification and Verification of the MISSI Sender and Local Cache using SPIN. | Milica Barjaktarovic |
| 1997 | CASTING: A Formally Based Software Test Generation Method. | Lionel Van Aertryck, Marc V. Benveniste, Daniel Le Mtayer |