1. IFM 1999: York, UK

Keijiro Araki, Andy Galloway, Kenji Taguchi (Eds.): 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 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, J. 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 Schneider: Using a Process Algebra to Control B Operations. 437-456
Richard Banach, Michael Poppleton: Retrenchment and Punctured Simulation. 457-476

Last update Fri May 17 19:12:46 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page