Limit search to available items
Book Cover
Author International Conference on Integrated Formal Methods (4th : 2004 : Canterbury, England)

Title Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings / Eerke A. Boiten, John Derrick, Graeme Smith (eds.)
Published New York, NY : Springer-Verlag Berlin Heidelberg, 2004


Location Call no. Vol. Availability
 W'PONDS  004.0151 Int/Ico 2004  AVAILABLE
Description xi, 540 pages : illustrations ; 24 cm
4 3/4 in
Series Lecture notes in computer science, 0302-9743 ; 2999
Lecture notes in computer science ; 2999
Lecture notes in computer science. 0302-9743 ; 2999
Contents Machine derived contents note: Invited Talks -- SLAM and Static Driver Verifier: Technology Transfer of Formal -- Methods inside Microsoft 1 -- Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani -- Design Verification for Control Engineering 21 -- Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom Kelsey, -- Ursula Martin -- Integrating Model Checking and Theorem Proving in a Reflective -- Functional Language 36 -- Tom Melham -- Tutorial -- A Tutorial Introduction to Designs in Unifying Theories of -- Programming 40 -- Jim Woodcock, Ana Cavalcanti -- Contributed Papers -- An Integration of Program Analysis and Automated -- Theorem Proving 67 -- Bill J. Ellis, Andrew Ireland -- Verifying Controlled Components 87 -- Steve Schneider, Helen Treharne -- Efficient CSPz Data Abstraction 108 -- Adalberto Farias, Alexandre Mota, Augusto Sampaio -- State/Event-Based Software Model Checking 128 -- Sagar Chaki, Edmund M. Clarke, Joel Ouaknine, -- Natasha Sharygina, Nishant Sinha -- Formalising Behaviour Trees with CSP 148 -- Kirsten Winter -- Generating MSCs from an Integrated Formal -- Specification Language 168 -- Jin Song Dong, Shengchao Qin, Jun Sun -- UML to B: Formal Verification of Object-Oriented Models 187 -- K. Lano, D. Clark, K. Androutsopoulos -- Software Verification with Integrated Data Type Refinement for -- Integer Arithmetic 207 -- Bernhard Beckert, Steffen Schlager -- Constituent Elements of a Correctness-Preserving -- UML Design Approach 227 -- Tiberiu Seceleanu, Juha Plosila -- Relating Data Independent Trace Checks in CSP with UNITY -- Reachability under a Normality Assumption 247 -- Xu Wang, A.W. Roscoe, R.S. Lazid -- Linking CSP-OZ with UML and Java: A Case Study 267 -- Michael M6ller, Ernst-Riidiger Olderog, Holger Rasch, -- Heike Wehrheim -- Object-Oriented Modelling with High-Level Modular Petri Nets 287 -- Cecile Bui Thanh, Hanna Klaudel -- Specification and Verification of Synchronizing Concurrent Objects 307 -- Gabriel Ciobanu, Dorel Lucanu -- Understanding Object-Z Operations as Generalised Substitutions 328 -- Steve Dunne -- Embeddings of Hybrid Automata in Process Algebra 343 -- Tim A.C. Willemse -- An Optimal Approach to Hardware/Software Partitioning for -- Synchronous Model 363 -- Pu Geguang, Dang Van Hung, He Jifeng, Wang Yi -- A Many-Valued Logic with Imperative Semantics for Incremental -- Specification of Timed Models 382 -- Ana Ferndndez Vilas, Jose J. Pazos Arias, -- Rebeca P. Diaz Redondo, Alberto Gil Solla, Jorge Garcia Duque -- Integrating Temporal Logics 402 -- Yifeng Chen, Zhiming Liu -- Integration of Specification Languages Using Viewpoints 421 -- Marius C. Bujorianu -- Integrating Formal Methods by Unifying Abstractions 441 -- Raymond Boute -- Formally Justifying User-Centred Design Rules: -- A Case Study on Post-completion Errors 461 -- Paul Curzon, Ann Blandford -- Using UML Sequence Diagrams as the Basis for a Formal Test -- Description Language 481 -- Simon Pickin, Jean-Marc Jezequel -- Viewpoint-Based Testing of Concurrent Components 501 -- Luke Wildman, Roger Duke, Paul Strooper -- A Method for Compiling and Executing Expressive Assertions 521 -- F.J. Galdn Morillo, J.M. Can ete Valdedn
Summary This book constitutes the refereed proceedings of the 4th International Conference on Integrated Formal Methods, IFM 2004, held in Canterbury, UK, in April 2004. The 24 revised full papers presented together with 3 invited papers and one invited tutorial chapter were carefully reviewed and selected from 65 submissions. The papers are devoted to automating program analysis, state/event-based verification, formalizing graphical notions, refinement, object-orientation, hybrid and timed automata, integration frameworks, verifying interactive systems, and testing and assertions
Bibliography Includes bibliographical references and index
Notes Also available via the World Wide Web
Mode of access: World Wide Web
Print version record
Subject Formal methods (Computer science) -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Canterbury (2004)
Author Boiten, Eerke, 1966-
Derrick, John, 1963-
Smith, Graeme, 1966-
LINK (Online service)
LC no. 2004102974
ISBN 3540213775
Other Titles IFM 2004