1. ICFEM 1997: Hiroshima, Japan

Invited Speaker

Object-Orientation

Method Integration 1

Protocols

Testing

Invited Speaker

Verification

Experience 1

Invited Speaker

Embedded Systems

Method Integration 2

Applications

Requirements to Specifications

Invited Speaker

Combining State and Process Algebras

Experience 2