1. Home
  2. Proceedings
  3. ICFEM
  4. ICFEM 1998
Default Cover Image

Formal Engineering Methods, International Conference on

Dec. 9 1998 to Dec. 11 1998

Brisbane, Australia

ISBN: 0-8186-9198-0

Table of Contents

Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241)Freely available from IEEE.pp. i-i
Proving inductive theorems using witnessed test setsFull-text access may be available. Sign in or learn about subscription options.pp. 158-164
by Zhiqing Shao, Yongqiang Sun, Guoxin Song, Huiqun Yu
Message from the General ChairFreely available from IEEE.pp. viii
ICFEM'98 CommitteesFreely available from IEEE.pp. ix
Steering CommitteeFreely available from IEEE.pp. x
Program CommitteeFreely available from IEEE.pp. xi
Invited Speaker I
Interaction Interfaces - Towards a Scientific Foundation of a Methodological usage of Message Sequence ChartsFull-text access may be available. Sign in or learn about subscription options.pp. 2
by Manfred Broy, Ingolf Krüger
Session 1: Real-Time Concurrency
Active Objects in TCOZFull-text access may be available. Sign in or learn about subscription options.pp. 16
by J.S. Dong, B. Mahony
Session 1: Real-Time Concurrency
Incremental Architectural Modeling and Verification of Real-Time Concurrent SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 26
by Y. Deng, J. Wang, R. Sinha
Session 2A: Animation and Model Checking
B Model Animation for External VerificationFull-text access may be available. Sign in or learn about subscription options.pp. 36
by Helene Waeselynck, Salimeh Behnia
Session 2A: Animation and Model Checking
Using Model Checking to Generate Tests from SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 46
by Paul E. Ammann, Paul E. Black, William Majurski
Session 2B: Foundations
A Calculus Based on the Agent Place ModelFull-text access may be available. Sign in or learn about subscription options.pp. 56
by K Taguchi, K. Araki
Session 2B: Foundations
Defining Differentiation and Integration in ZFull-text access may be available. Sign in or learn about subscription options.pp. 64
by C.J. Fidge, I.J. Hayes, B.P. Mahony
Invited Speaker II
Towards Industrially Applicable Formal Methods: Three Small Steps, and One Giant LeapFull-text access may be available. Sign in or learn about subscription options.pp. 76
by John McDermid, Andy Galloway, Simon Burton, John Clark, Ian Toyn, Nigel Tracey, Sam Valentine
Session 3: Systems
A Process Algebra Based Verification of a Production SystemFull-text access may be available. Sign in or learn about subscription options.pp. 90
by J.J.T. Kleijn, M.A. Reniers, J.E. Rooda
Session 3: Systems
Market-Driven Symbolic Execution of Models of Manufacturing EnterprisesFull-text access may be available. Sign in or learn about subscription options.pp. 100
by Tomasz Janowski, Zheng Hongjun, Gustavo Gimenez Lugo
Session 3: Systems
Interacting Frameworks in CatalysisFull-text access may be available. Sign in or learn about subscription options.pp. 110
by K.-K. Lau, S. Liu, M. Ornaghi, A. Wills
Invited Speaker III
From Monolithic to Modular Formal SpecificationFull-text access may be available. Sign in or learn about subscription options.pp. 122
by Gordon Rose
Session 4: Controllers
Automatic Synthesis of Controllers from Formal SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 134
by Enrico Tronci
Session 4: Controllers
Selective Integration of Formal Methods in the Development of Electronic Control UnitsFull-text access may be available. Sign in or learn about subscription options.pp. 144
by Mirko Conrad, Dieter Hötzer
Session 5: Test Sets
Translating Object-Z Specifications to Passive Test OraclesFull-text access may be available. Sign in or learn about subscription options.pp. 165
by Jason McDonald, Paul Strooper
Invited Speaker IV
Ubiquitous Abstraction: A New Approach to Mechanized Formal VerificationFull-text access may be available. Sign in or learn about subscription options.pp. 176
by John Rushby
Session 6: Applications
Formal Specification of CORBA Services using Object-ZFull-text access may be available. Sign in or learn about subscription options.pp. 180
by Detlef Kreuz
Session 6: Applications
The B Bank: A Complete Case StudyFull-text access may be available. Sign in or learn about subscription options.pp. 190
by Martin Büchi
Session 6: Applications
The Formal Specification of the Fieldbus Foundation Link Scheduler in E-LOTOSFull-text access may be available. Sign in or learn about subscription options.pp. 200
by N Petalidis, D.S. Gill
Session 7: Testing Applications
Application of Embedded Testing Methods to Service ValidationFull-text access may be available. Sign in or learn about subscription options.pp. 212
by Luiz Paula Lima, Jr., Ana R. Cavalli
Session 7: Testing Applications
Specification-Based Class Testing: A Case StudyFull-text access may be available. Sign in or learn about subscription options.pp. 222
by Ian MacColl, Leesa Murray, Paul Strooper, David Carrington
Panel Session
Specification's Tower of BabelFull-text access may be available. Sign in or learn about subscription options.pp. 234
Panel Session
Author IndexFreely available from IEEE.pp. 235
Showing 29 out of 29