default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st IFM 1999: York, UK
- Keijiro Araki, Andy Galloway, Kenji Taguchi:
Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999. Springer 1999, ISBN 1-85233-107-0
Invited Talks
- Jifeng He:
A Common Framework for Mixed Hardware/Software Systems. 3-25 - Matthew Hennessy:
Proof Systems for Message-Passing Process Calculi. 26
Z/Object-Z + CSP + Real Time
- Carsten Sühl:
RT-Z: An Integration of Z and timed CSP. 29-48 - Graeme Smith
, Ian J. Hayes:
Towards Real-Time Object-Z. 49-65 - Brendan P. Mahony, Jin Song Dong:
Overview of the Semantics of TCOZ. 66-85
Temporal Logic
- Jacques Julliand, Pierre-Alain Masson, Hassan Mountassir:
Modular Verification of Dynamic Properties for Reactive Systems. 89-108 - Jaco van de Pol, Jozef Hooman, Edwin D. de Jong:
Modular Formal Specification of Data and Behaviour. 109-128 - J. Paul Gibson, Geoff W. Hamilton, Dominique Méry:
Integration Problems in Telephone Feature Requirements. 129-148
Z/Object-Z + Behaviour 1
- Bill Stoddart, Steve Dunne:
The Refinement of Event Calculus Models. 151-169 - Colin J. Fidge:
Modelling Discrete Behaviour in a Continuous-Time Formalism. 170-188 - Jin Song Dong, Shaoying Liu:
An Object Semantic Model of SOFL. 189-208
State Charts
- Robert Büssow, Wolfgang Grieskamp:
A Modular Framework for the Integration of Heterogeneous Notations and Tools. 211-230 - Thomas Deiß:
An Approach to the Combination of Formal Description Techniques: Statecharts and TLA. 231-250
Semantic Models and Refinement
- Martin Große-Rhode:
A Compositional Comparison of Specifications of the Alternating Bit Protocol in CCS and UNITY Based on Algebra Transformation Systems. 253-272 - Christie Bolton, Jim Davies, Jim Woodcock:
On the Refinement and Simulation of Data Types and Processes. 273-292 - John Derrick, Eerke A. Boiten:
Specifying Component and Context Specification Using Promotion. 293-312
Z/Object-Z + Behaviour 2
- Clemens Fischer, Heike Wehrheim:
Model-Checking CSP-OZ Specifications with FDR. 315-334 - Ian MacColl, David A. Carrington:
Specifying Interactive Systems in Object-Z and CSP. 335-352 - Richard F. Paige:
Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication. 353-372
(Abstract + Action) Systems
- Joy N. Reed, Jane E. Sinclair, F. Guigand:
Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development. 375-394 - Dominique Méry:
Requirements for a Temporal B - Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems. 395-414 - Kevin Lano, Kelly Androutsopoulos:
Reactive System Refinement of Distributed Systems in B. 415-434
The B Method: Behaviour and Retrenchment
- Helen Treharne, Steve A. Schneider:
Using a Process Algebra to Control B Operations. 437-456 - Richard Banach, Michael Poppleton:
Retrenchment and Punctured Simulation. 457-476
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-08 22:48 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:
