| 1997 | A Formal Approach to Testing LUSTRE Specifications. Ioannis Parissis |
| 1997 | A Generic Approach to the Formal Specification of Requirements. Christian Peper, Reinhard Gotzhein, Martin Kronenburg |
| 1997 | A Methodological Approach to the Requirement Specification of Embedded Systems. Frank Lattemann, Egbert Lehmann |
| 1997 | A Pragmatic, Rigorous Integration of Structural and Behavioral Modeling Notations. Daniel M. Berry, M. Weber |
| 1997 | A Simple Program whose Derivation and Proof is Also. Jinyun Xue, Ruth Davis |
| 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 | Automatic Generation of Formal Specification from Requirements Definition. Lingzi Jin, Hong Zhu |
| 1997 | CASTING: A Formally Based Software Test Generation Method. Lionel Van Aertryck, Marc V. Benveniste, Daniel Le Métayer |
| 1997 | Development and Application of a Formal Agent Framework. Mark d'Inverno, Michael Luck |
| 1997 | First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings |
| 1997 | Formal Automatic Verification of Authentication Crytographic Protocols. Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi |
| 1997 | Formal Specification and Verification of the MISSI Sender and Local Cache using SPIN. Milica Barjaktarovic |
| 1997 | Formal Specification of Dynamic Constraints with the B Method. Henri Habrias, B. Griech |
| 1997 | Formalizing Process Scheduling Requirements for an Aircraft Operational Flight Program. Jin Song Dong, Neale Fulton, Lin Zucconi, John Colton |
| 1997 | Formally Specifying and Verifying Real-Time Systems. Richard A. Kemmerer |
| 1997 | Frameworks in Catalysis: Pictorial Notation and Formal Semantics. Kung-Kiu Lau, Mario Ornaghi, Alan Wills |
| 1997 | Generic Engineering of Communication Protocols - Current Experience and Future Issues. Birgit Geppert, Frank Rößler |
| 1997 | Hybrid Object-Oriented Real-Time Software Development with VDM Jan van Katwijk, Eugène Dürr, Stephen J. Goldsack |
| 1997 | Incremental Specification of Telecommunication Services. Bruno Mermet, Dominique Méry |
| 1997 | Michael Jackson's Problem Frames: Towards Methodological Principles of Selecting and Applying Formal Software Development Techniques and Tools. Dines Bjørner, S. Koussoube, R. Noussi, G. Satchok |
| 1997 | Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP. Graeme Smith, John Derrick |
| 1997 | Refinement of Information Flow Architectures. Jan Philipps, Bernhard Rumpe |
| 1997 | Software Measurement and Formal Methods: A Case Study Centered on TRIO+ Specifications. Lionel C. Briand, Sandro Morasca |
| 1997 | Specification and Analysis of System Level Inter-Component Communication. Mats Per Erik Heimdahl, Jeffrey M. Thompson |
| 1997 | Systematic Formal Verification of Interpreters. David Cyrluk, John M. Rushby, Mandayam K. Srivas |
| 1997 | Test Case Design Based on Z and the Classification-Tree Method. Harbhajan Singh, Mirko Conrad, Sadegh Sadeghipour |
| 1997 | The Specification-Based Testing of a Trusted Kernel: MK++. Richard L. Ford, William R. Bevier, Richard T. Simon, Lawrence M. Smith |
| 1997 | The State-Based CCS Semantics for Concurrent Z Specification. Kenji Taguchi, Keijiro Araki |
| 1997 | Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language. Dirk Scholz, Carsta Petersohn |
| 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 | Using CARE to Construct Verified Software. Peter A. Lindsay, David Hemer |
| 1997 | Whither Formal Methods: A Plea to Investigate New Applications. Cliff B. Jones |