Wolfgang Grieskamp, Thomas Santen, Bill Stoddart
Proceedings of the Second International Conference on Integrated Formal Methods
IFM, 2000.

@proceedings{IFM-2000,
	address       = "Dagstuhl Castle, Germany",
	editor        = "Wolfgang Grieskamp and Thomas Santen and Bill Stoddart",
	isbn          = "3-540-41196-8",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Second International Conference on Integrated Formal Methods}",
	volume        = 1945,
	year          = 2000,
}

Contents (24 items)

4 ×#process
4 ×#specification
4 ×#verification
3 ×#formal method
3 ×#towards
2 ×#approach
2 ×#composition
2 ×#development
2 ×#diagrams
2 ×#semantics

IFM-2000-Hoare

Assertions (CARH), pp. 1–2.

IFM-2000-BaumeisterZ

State-Based Extensions of CASL (HB, AVZ), pp. 3–24.

IFM-2000-HaxthausenY

Linking DC Together with TRSL (AEH, XY), pp. 25–44.

IFM-2000-FischerC #dependence #diagrams #formal method #verification

Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes (JF, SC), pp. 45–60.

IFM-2000-ButlerF #process

A Process Compensation Language (MJB, CF), pp. 61–76.

IFM-2000-BoltonD #graph #process

Activity Graphs and Processes (CB, JD), pp. 77–96.

IFM-2000-SmithH #realtime #specification

Structuring Real-Time Object-Z Specifications (GS, IJH), pp. 97–115.

IFM-2000-Jonkers #interface #named #specification #towards

ISpec: Towards Practical and Sound Interface Specifications (HBMJ), pp. 116–135.

IFM-2000-Ameur #development #formal method #process

Cooperation of Formal Methods in an Engineering Based Software Development Process (YAA), pp. 136–155.

IFM-2000-PetreS #component

Developing Control Systems Components (LP, KS), pp. 156–175.

IFM-2000-BryansBBD #analysis #design #specification

Specification and Analysis of Automata-Based Designs (JB, LB, HB, JD), pp. 176–193.

IFM-2000-DerrickS #csp #refinement

Structural Refinement in Object-Z/CSP (JD, GS), pp. 194–213.

IFM-2000-Dingel #development #distributed #parallel #source code #towards

Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs (JD), pp. 214–234.

IFM-2000-BertC #finite

Construction of Finite Labelled Transistion Systems from B Abstract Systems (DB, FC), pp. 235–254.

IFM-2000-ReeveR

μ-Charts and Z: Hows, Whys, and Wherefores (GR, SR), pp. 255–276.

IFM-2000-Bowen #animation #hardware #logic programming #semantics #specification

Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language (JPB), pp. 277–296.

IFM-2000-Schulte #formal method #question #why

Why Doesn’t Anyone Use Formal Methods? (WS), pp. 297–298.

IFM-2000-Chen #how

How to Write a Healthiness Condition (YC), pp. 299–317.

IFM-2000-KlaudelP #composition #concurrent #petri net #semantics

A Concurrent and Compositional Petri Net Semantics of Preemption (HK, FP), pp. 318–337.

IFM-2000-RusuBJ #approach #generative #testing

An Approach to Symbolic Test Generation (VR, LdB, TJ), pp. 338–357.

IFM-2000-MeyerS #approach #behaviour #consistency #uml #using #verification

Behavioral Conformance Verification in an Integrated Approach Using UML and B (EM, TS), pp. 358–379.

IFM-2000-CansellMM #diagrams #verification

Predicate Diagrams for the Verification of Reactive Systems (DC, DM, SM), pp. 380–397.

IFM-2000-MassonMJ #composition #verification

Modular Verification for a Class of PLTL Properties (PAM, HM, JJ), pp. 398–419.

IFM-2000-HermannsKMS #algebra #model checking #probability #process #towards

Towards Model Checking Stochastic Process Algebra (HH, JPK, JMK, MS), pp. 420–439.