default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd ICFEM 1998: Brisbane, Queensland, Australia
- Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings. IEEE Computer Society 1998, ISBN 0-8186-9198-0
Invited Speaker
- Manfred Broy, Ingolf Krüger:
Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts. 2-15
Real-Time Concurrency
- Jin Song Dong, Brendan P. Mahony:
Active Objects in TCOZ. 16-25 - Yi Deng, Jiacun Wang, Rakesh Sinha:
Incremental Architectural Modeling and Verification of Real-Time Concurrent Systems. 26-35
Animation and Model Checking
- Hélène Waeselynck, Salimeh Behnia:
B Model Animation for External Verification. 36-45 - Paul Ammann, Paul E. Black, William Majurski:
Using Model Checking to Generate Tests from Specifications. 46-55
Session 2B: Foundations
- Kenji Taguchi, Keijiro Araki:
A Calculus Based on the Agent-Place Model. 56-63 - Colin J. Fidge
, Ian J. Hayes, Brendan P. Mahony:
Defining Differentiation and Integration in Z. 64-75
Invited Speaker
- John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel J. Tracey, Samuel H. Valentine:
Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. 76-89
Systems
- J. J. T. Kleijn, Jacobus E. Rooda, Michel A. Reniers:
A Process Algebra Based Verification of a Production System. 90-99 - Tomasz Janowski, Hongjun Zheng, Gustavo Giménez Lugo:
Market-Driven Symbolic Execution of Methods of Manufacturing Enterprises. 100-109 - Kung-Kiu Lau, Shaoying Liu, Mario Ornaghi, Alan Wills:
Interacting Frameworks in Catalysis. 110-121
Invited Speaker
- Gordon A. Rose:
From Monolithic to Modular Formal Specification. 122-133
Controllers
- Enrico Tronci:
Automatic Synthesis of Controllers from Formal Specifications. 134-143 - Mirko Conrad, Dieter Hötzer:
Selective Integration of Formal Methods in the Development of Electronic Control Units. 144-157
Test Sets
- Zhiqing Shao, Yongqiang Sun, Guoxin Song, Huiqun Yu:
Proving Inductive Theorems Using Witnessed Test Sets. 158-164 - Jason McDonald, Paul A. Strooper:
Translating Object-Z Specifications to Passive Test Oracles. 165-175
Invited Speaker
- John M. Rushby:
Ubiquitous Abstraction: A New Approach to Mechanized Formal Verification. 176-179
Applications
- Detlef Kreuz:
Formal Specification of CORBA Services Using Object-Z. 180-189 - Martin Büchi:
The B Bank: A Complete Case Study. 190-199 - N. Petalidis, D. S. Gill:
The Formal Specification of the Fieldbus Foundation Link Scheduler in E-LOTOS. 200-211
Testing Applications
- Luiz A. Paula Lima Jr., Ana R. Cavalli:
Application of Embedded Testing Methods to Service Validation. 212-221 - Ian MacColl, Leesa Murray, Paul A. Strooper, David A. Carrington:
Specification-Based Class Testing: A Case Study. 222-233
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-16 21:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
