1. ICFEM 1997: Hiroshima, Japan

Invited Speaker

• C. Jones: Whither Formal Methods: A Plea to Investigate New Applications. 5- BibTeX

Object-Orientation

• Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Emanuel S. Grant, Minika Saksena: Towards a Rigorous Object-Oriented Analysis and Design Method. 7-16 BibTeX
• Jan van Katwijk, Eugène Dürr, S. J. Goldsack: Hybrid Object-Oriented Real-Time Software Development with VDM⁺⁺. 17- BibTeX

Method Integration 1

• Dirk Scholz, Carsta Petersohn: Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language. 28-37 BibTeX
• Daniel M. Berry, M. Weber: A Pragmatic, Rigorous Integration of Structural and Behavioral Modeling Notations. 38- BibTeX

Protocols

• Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi: Formal Automatic Verification of Authentication Crytographic Protocols. 50-59 BibTeX
• Bruno Mermet, Dominique Méry: Incremental Specification of Telecommunication Services. 60-69 BibTeX
• Birgit Geppert, Frank Rößler: Generic Engineering of Communication Protocols - Current Experience and Future Issues. 70- BibTeX

Testing

• Harbhajan Singh, Mirko Conrad, Sadegh Sadeghipour: Test Case Design Based on Z and the Classification-Tree Method. 81-90 BibTeX
• Ioannis Parissis: A Formal Approach to Testing LUSTRE Specifications. 91-100 BibTeX
• Lionel Van Aertryck, Marc V. Benveniste, Daniel Le Métayer: CASTING: A Formally Based Software Test Generation Method. 101- BibTeX

Invited Speaker

• Richard A. Kemmerer: Formally Specifying and Verifying Real-Time Systems. 112- BibTeX

Verification

• Peter A. Lindsay, David Hemer: Using CARE to Construct Verified Software. 122-131 BibTeX
• Jinyun Xue, Ruth Davis: A Simple Program whose Derivation and Proof is Also. 132-139 BibTeX
• David Cyrluk, John M. Rushby, Mandayam K. Srivas: Systematic Formal Verification of Interpreters. 140- BibTeX

Experience 1

• Richard L. Ford, William R. Bevier, Richard T. Simon, Lawrence M. Smith: The Specification-Based Testing of a Trusted Kernel: MK++. 151-160 BibTeX
• Jin Song Dong, Neale Fulton, Lin Zucconi, John Colton: Formalizing Process Scheduling Requirements for an Aircraft Operational Flight Program. 161- BibTeX

Invited Speaker

• Kokichi Futatsugi, Ataru T. Nakagawa: An Overview of CAFE Specification Environment - An Algebraic Approach for Creating, Verifying, and Maintaining Formal Specifications over Networks. 170- BibTeX

Embedded Systems

• F. Lattemann, Egbert Lehmann: A Methodological Approach to the Requirement Specification of Embedded Systems. 183-191 BibTeX
• Mats Per Erik Heimdahl, Jeffrey M. Thompson: Specification and Analysis of System Level Inter-Component Communication. 192- BibTeX

Method Integration 2

• Jan Philipps, Bernhard Rumpe: Refinement of Information Flow Architectures. 203-212 BibTeX
• Kung-Kiu Lau, Mario Ornaghi, Alan Wills: Frameworks in Catalysis: Pictorial Notation and Formal Semantics. 213- BibTeX

Applications

• Mark d'Inverno, Michael Luck: Development and Application of a Formal Agent Framework. 222-231 BibTeX
• Milica Barjaktarovic: Formal Specification and Verification of the MISSI Sender and Local Cache using SPIN. 232- BibTeX

Requirements to Specifications

• Lingzi Jin, Hong Zhu: Automatic Generation of Formal Specification from Requirements Definition. 243-251 BibTeX
• Christian Peper, Reinhard Gotzhein, Martin Kronenburg: A Generic Approach to the Formal Specification of Requirements. 252- BibTeX

Invited Speaker

• Dines Bjørner, S. Koussoube, R. Noussi, G. Satchok: Michael Jackson's Problem Frames: Towards Methodological Principles of Selecting and Applying Formal Software Development Techniques and Tools. 263- BibTeX

Combining State and Process Algebras

• Andy Galloway, Bill Stoddart: An Operational Semantics for ZCCS. 272- BibTeX
• Kenji Taguchi, Keijiro Araki: The State-Based CCS Semantics for Concurrent Z Specification. 283-292 BibTeX
• Graeme Smith, John Derrick: Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP. 293- BibTeX

Experience 2

• Henri Habrias, B. Griech: Formal Specification of Dynamic Constraints with the B Method. 304-314 BibTeX
• Lionel C. Briand, Sandro Morasca: Software Measurement and Formal Methods: A Case Study Centered on TRIO+ Specifications. 315- BibTeX