1. IFM 1999: York, UK

@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
• 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