The Community for Technology Leaders
Formal Engineering Methods, International Conference on (1998)
Brisbane, Australia
Dec. 9, 1998 to Dec. 11, 1998
ISBN: 0-8186-9198-0
Invited Speaker I
Session 1: Real-Time Concurrency
Session 2A: Animation and Model Checking
Session 2B: Foundations

A Calculus Based on the Agent Place Model (Abstract)

K Taguchi , Kyushu University
K. Araki , Kyushu University
pp. 56
Invited Speaker II

Towards Industrially Applicable Formal Methods: Three Small Steps, and One Giant Leap (Abstract)

John McDermid , University of York
Andy Galloway , University of York
Simon Burton , University of York
John Clark , University of York
Ian Toyn , University of York
Nigel Tracey , University of York
Sam Valentine , University of York
pp. 76
Session 3: Systems
Invited Speaker III

From Monolithic to Modular Formal Specification (Abstract)

Gordon Rose , University of Queensland
pp. 122
Session 4: Controllers

Selective Integration of Formal Methods in the Development of Electronic Control Units (Abstract)

Mirko Conrad , Daimler-Benz AG
Dieter Hötzer , Research Institute for Automotive Engineering and Vehicle Engines
pp. 144
Session 5: Test Sets
Invited Speaker IV
Session 6: Applications

Formal Specification of CORBA Services using Object-Z (Abstract)

Detlef Kreuz , Technical University of Hamburg-Harburg
pp. 180
Session 7: Testing Applications
Panel Session

Author Index (PDF)

pp. 235
81 ms
(Ver 3.3 (11022016))