2. ICFEM 1998: Brisbane, Queensland, Australia

Invited Speaker

• Manfred Broy, Ingolf Krüger:
  Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts. 2-
  

Real-Time Concurrency

• Jin Song Dong, Brendan P. Mahony:
  Active Objects in TCOZ. 16-25
  
• Yi Deng, Jiacun Wang, Rakesh Sinha:
  Incremental Architectural Modeling and Verification of Real-Time Concurrent Systems. 26-
  

Animation and Model Checking

• Hélène Waeselynck, Salimeh Behnia:
  B Model Animation for External Verification. 36-45
  
• Paul Ammann, Paul E. Black, William Majurski:
  Using Model Checking to Generate Tests from Specifications. 46-
  

Session 2B: Foundations

• Kenji Taguchi, Keijiro Araki:
  A Calculus Based on the Agent-Place Model. 56-63
  
• Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony:
  Defining Differentiation and Integration in Z. 64-
  

Invited Speaker

• John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel Tracey, Samuel H. Valentine:
  Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. 76-
  

Systems

• J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers:
  A Process Algebra Based Verification of a Production System. 90-99
  
• Tomasz Janowski, Hongjun Zheng, Gustavo Giménez Lugo:
  Market-Driven Symbolic Execution of Methods of Manufacturing Enterprises. 100-109
  
• Kung-Kiu Lau, S. Liu, Mario Ornaghi, Alan Wills:
  Interacting Frameworks in Catalysis. 110-
  

Invited Speaker

• Gordon A. Rose:
  From Monolithic to Modular Formal Specification. 122-
  

Controllers

• Enrico Tronci:
  Automatic Synthesis of Controllers from Formal Specifications. 134-143
  
• Mirko Conrad, Dieter Hötzer:
  Selective Integration of Formal Methods in the Development of Electronic Control Units. 144-
  

Test Sets

• Zhiqing Shao, Yongqiang Sun, Guoxin Song, Huiqun Yu:
  Proving Inductive Theorems Using Witnessed Test Sets. 158-164
  
• Jason McDonald, Paul A. Strooper:
  Translating Object-Z Specifications to Passive Test Oracles. 165-
  

Invited Speaker

• John M. Rushby:
  Ubiquitous Abstraction: A New Approach to Mechanized Formal Verification. 176-
  

Applications

• Detlef Kreuz:
  Formal Specification of CORBA Services Using Object-Z. 180-189
  
• Martin Büchi:
  The B Bank: A Complete Case Study. 190-199
  
• N. Petalidis, D. S. Gill:
  The Formal Specification of the Fieldbus Foundation Link Scheduler in E-LOTOS. 200-
  

Testing Applications

• Luiz A. Paula Lima Jr., Ana R. Cavalli:
  Application of Embedded Testing Methods to Service Validation. 212-221
  
• Ian MacColl, Leesa Murray, Paul A. Strooper, David A. Carrington:
  Specification-Based Class Testing: A Case Study. 222-