Keijiro Araki, Andy Galloway, Kenji Taguchi
Proceedings of the First International Conference on Integrated Formal Methods
IFM, 1999.

@proceedings{IFM-1999,
	address       = "York, England, United Kingdom",
	editor        = "Keijiro Araki and Andy Galloway and Kenji Taguchi",
	isbn          = "1-85233-107-0",
	publisher     = "{Springer-Verlag}",
	title         = "{Proceedings of the First International Conference on Integrated Formal Methods}",
	year          = 1999,
}

Contents (24 items)

6 ×#specification
4 ×#composition
4 ×#refinement
3 ×#integration
3 ×#process
3 ×#using
2 ×#algebra
2 ×#behaviour
2 ×#calculus
2 ×#csp

IFM-1999-He #framework #hardware

A Common Framework for Mixed Hardware/Software Systems (JH), pp. 3–25.

IFM-1999-Hennessy #calculus #message passing #process #proving

Proof Systems for Message-Passing Process Calculi (MH), p. 26.

IFM-1999-Suhl #csp #integration #named

RT-Z: An Integration of Z and timed CSP (CS), pp. 29–48.

IFM-1999-SmithH #realtime #towards

Towards Real-Time Object-Z (GS, IJH), pp. 49–65.

IFM-1999-MahonyD #overview #semantics

Overview of the Semantics of TCOZ (BPM, JSD), pp. 66–85.

IFM-1999-JulliandMM #composition #verification

Modular Verification of Dynamic Properties for Reactive Systems (JJ, PAM, HM), pp. 89–108.

IFM-1999-PolHJ #behaviour #composition #specification

Modular Formal Specification of Data and Behaviour (JvdP, JH, EDdJ), pp. 109–128.

IFM-1999-GibsonHM #integration #problem #requirements

Integration Problems in Telephone Feature Requirements (JPG, GWH, DM), pp. 129–148.

IFM-1999-StoddartD #calculus #modelling #refinement

The Refinement of Event Calculus Models (BS, SD), pp. 151–169.

IFM-1999-Fidge #behaviour #modelling

Modelling Discrete Behaviour in a Continuous-Time Formalism (CJF), pp. 170–188.

IFM-1999-DongL #semantics

An Object Semantic Model of SOFL (JSD, SL), pp. 189–208.

IFM-1999-BussowG #composition #framework #integration #tool support

A Modular Framework for the Integration of Heterogeneous Notations and Tools (RB, WG), pp. 211–230.

IFM-1999-Deiss #approach

An Approach to the Combination of Formal Description Techniques: Statecharts and TLA (TD), pp. 231–250.

IFM-1999-Grosse-Rhode #algebra #comparison #composition #protocol #specification

A Compositional Comparison of Specifications of the Alternating Bit Protocol in CCS and UNITY Based on Algebra Transformation Systems (MGR), pp. 253–272.

IFM-1999-BoltonDW #data type #on the #process #refinement #simulation

On the Refinement and Simulation of Data Types and Processes (CB, JD, JW), pp. 273–292.

IFM-1999-DerrickB #component #specification #using

Specifying Component and Context Specification Using Promotion (JD, EAB), pp. 293–312.

IFM-1999-FischerW #model checking #specification

Model-Checking CSP-OZ Specifications with FDR (CF, HW), pp. 315–334.

IFM-1999-MacCollC #csp #interactive #specification

Specifying Interactive Systems in Object-Z and CSP (IM, DAC), pp. 335–352.

IFM-1999-Paige #communication #concurrent #refinement #specification #using

Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication (RFP), pp. 353–372.

IFM-1999-ReedSG #deduction #development #formal method #model checking #reasoning

Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development (JNR, JES, FG), pp. 375–394.

IFM-1999-Mery #automaton #requirements

Requirements for a Temporal B — Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems (DM), pp. 395–414.

IFM-1999-LanoA #distributed #refinement

Reactive System Refinement of Distributed Systems in B (KL, KA), pp. 415–434.

IFM-1999-TreharneS #algebra #process #using

Using a Process Algebra to Control B Operations (HT, SS), pp. 437–456.

IFM-1999-BanachP #simulation

Retrenchment and Punctured Simulation (RB, MP), pp. 457–476.