Invited Speaker

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

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
• 
  Jan van Katwijk, Eugène Dürr, S. J. Goldsack: Hybrid Object-Oriented Real-Time Software Development with VDM⁺⁺. 17-

Method Integration 1

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

Protocols

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

Testing

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

Invited Speaker

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

Verification

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

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
• 
  Jin Song Dong, Neale Fulton, Lin Zucconi, John Colton: Formalizing Process Scheduling Requirements for an Aircraft Operational Flight Program. 161-

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-

Embedded Systems

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

Method Integration 2

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

Applications

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

Requirements to Specifications

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

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-

Combining State and Process Algebras

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

Experience 2

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

last updated on Tue May 21 02:03:31 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page