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
TABLE OF CONTENTS
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 Clark , University of York
Ian Toyn , University of York
Nigel Tracey , University of York
Simon Burton , University of York
Andy Galloway , University of York
John McDermid , 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)

Dieter Hötzer , Research Institute for Automotive Engineering and Vehicle Engines
Mirko Conrad , Daimler-Benz AG
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
95 ms
(Ver )