1. ICFEM 1997: Hiroshima, Japan

First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, November 12-14, 1997, Hiroshima, Japan, Proceedings. IEEE Computer Society, online publication: http: //computer.org/proceedings/icfem/8002/8002toc.htm

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