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 BibTeX

@proceedings{DBLP:conf/ifm/1999,
  editor    = {Keijiro Araki and
               Andy Galloway and
               Kenji Taguchi},
  title     = {Integrated Formal Methods, Proceedings of the 1st International
               Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29
               June 1999},
  booktitle = {IFM},
  publisher = {Springer},
  year      = {1999},
  isbn      = {1-85233-107-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talks

Jifeng He: A Common Framework for Mixed Hardware/Software Systems. 3-25 BibTeX
Matthew Hennessy: Proof Systems for Message-Passing Process Calculi. 26 BibTeX

Z/Object-Z + CSP + Real Time

Carsten Sühl: RT-Z: An Integration of Z and timed CSP. 29-48 BibTeX
Graeme Smith, Ian J. Hayes: Towards Real-Time Object-Z. 49-65 BibTeX
Brendan P. Mahony, Jin Song Dong: Overview of the Semantics of TCOZ. 66-85 BibTeX

Temporal Logic

Jacques Julliand, Pierre-Alain Masson, Hassan Mountassir: Modular Verification of Dynamic Properties for Reactive Systems. 89-108 BibTeX
Jaco van de Pol, Jozef Hooman, Edwin D. de Jong: Modular Formal Specification of Data and Behaviour. 109-128 BibTeX
J. Paul Gibson, Geoff Hamilton, Dominique Méry: Integration Problems in Telephone Feature Requirements. 129-148 BibTeX

Z/Object-Z + Behaviour 1

Bill Stoddart, Steve Dunne: The Refinement of Event Calculus Models. 151-169 BibTeX
Colin J. Fidge: Modelling Discrete Behaviour in a Continuous-Time Formalism. 170-188 BibTeX
Jin Song Dong, Shaoying Liu: An Object Semantic Model of SOFL. 189-208 BibTeX

State Charts

Robert Büssow, Wolfgang Grieskamp: A Modular Framework for the Integration of Heterogeneous Notations and Tools. 211-230 BibTeX
Thomas Deiß: An Approach to the Combination of Formal Description Techniques: Statecharts and TLA. 231-250 BibTeX

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 BibTeX
Christie Bolton, Jim Davies, Jim Woodcock: On the Refinement and Simulation of Data Types and Processes. 273-292 BibTeX
John Derrick, Eerke A. Boiten: Specifying Component and Context Specification Using Promotion. 293-312 BibTeX

Z/Object-Z + Behaviour 2

Clemens Fischer, Heike Wehrheim: Model-Checking CSP-OZ Specifications with FDR. 315-334 BibTeX
Ian MacColl, David A. Carrington: Specifying Interactive Systems in Object-Z and CSP. 335-352 BibTeX
Richard F. Paige: Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication. 353-372 BibTeX

(Abstract + Action) Systems

Joy N. Reed, J. E. Sinclair, F. Guigand: Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development. 375-394 BibTeX
Dominique Méry: Requirements for a Temporal B - Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems. 395-414 BibTeX
Kevin Lano, Kelly Androutsopoulos: Reactive System Refinement of Distributed Systems in B. 415-434 BibTeX

The B Method: Behaviour and Retrenchment

Helen Treharne, Steve Schneider: Using a Process Algebra to Control B Operations. 437-456 BibTeX
Richard Banach, Michael Poppleton: Retrenchment and Punctured Simulation. 457-476 BibTeX