2. ICFEM 1998: Brisbane, Queensland, Australia

Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, 9-11 December, 1998, Brisbane, Queensland, Australia, Proceedings. IEEE Computer Society, online publication: http://computer.org/proceedings/icfem/9198/9198toc.htm

Invited Speaker

Manfred Broy, Ingolf Krüger:
Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts. 2-
Electronic Edition (IEEE Computer Society DL) BibTeX

Real-Time Concurrency

Jin Song Dong, Brendan P. Mahony:
Active Objects in TCOZ. 16-25
Electronic Edition (IEEE Computer Society DL) BibTeX
Yi Deng, Jiacun Wang, Rakesh Sinha:
Incremental Architectural Modeling and Verification of Real-Time Concurrent Systems. 26-
Electronic Edition (IEEE Computer Society DL) BibTeX

Animation and Model Checking

Hélène Waeselynck, Salimeh Behnia:
B Model Animation for External Verification. 36-45
Electronic Edition (IEEE Computer Society DL) BibTeX
Paul Ammann, Paul E. Black, William Majurski:
Using Model Checking to Generate Tests from Specifications. 46-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session 2B: Foundations

Kenji Taguchi, Keijiro Araki:
A Calculus Based on the Agent-Place Model. 56-63
Electronic Edition (IEEE Computer Society DL) BibTeX
Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony:
Defining Differentiation and Integration in Z. 64-
Electronic Edition (IEEE Computer Society DL) BibTeX

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-
Electronic Edition (IEEE Computer Society DL) BibTeX

Systems

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

Invited Speaker

Gordon A. Rose:
From Monolithic to Modular Formal Specification. 122-
Electronic Edition (IEEE Computer Society DL) BibTeX

Controllers

Enrico Tronci:
Automatic Synthesis of Controllers from Formal Specifications. 134-143
Electronic Edition (IEEE Computer Society DL) BibTeX
Mirko Conrad, Dieter Hötzer:
Selective Integration of Formal Methods in the Development of Electronic Control Units. 144-
Electronic Edition (IEEE Computer Society DL) BibTeX

Test Sets

Zhiqing Shao, Yongqiang Sun, Guoxin Song, Huiqun Yu:
Proving Inductive Theorems Using Witnessed Test Sets. 158-164
Electronic Edition (IEEE Computer Society DL) BibTeX
Jason McDonald, Paul A. Strooper:
Translating Object-Z Specifications to Passive Test Oracles. 165-
Electronic Edition (IEEE Computer Society DL) BibTeX

Invited Speaker

John M. Rushby:
Ubiquitous Abstraction: A New Approach to Mechanized Formal Verification. 176-
Electronic Edition (IEEE Computer Society DL) BibTeX

Applications

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

Testing Applications

Luiz A. Paula Lima Jr., Ana R. Cavalli:
Application of Embedded Testing Methods to Service Validation. 212-221
Electronic Edition (IEEE Computer Society DL) BibTeX
Ian MacColl, Leesa Murray, Paul A. Strooper, David A. Carrington:
Specification-Based Class Testing: A Case Study. 222-
Electronic Edition (IEEE Computer Society DL) BibTeX