Proceedings of the First International Conference on Integrated Formal Methods
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

FM
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.