IFM'99
Subtitle: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999
By: edited by Keijiro Araki, Andy Galloway, Kenji Taguchi
Contributors: Galloway, Andy; Taguchi, Kenji
Publisher: Springer London
Published: 1999
Place of publication: London
Language: eng
Format: [electronic resource] :
Number of pages: 477
ISBN-13: 9781447108511
Description: Formal methods have been established as the rigorous engineering methodology for the system development. Applying formal methods to a large and complex system development often requires the modelling of different aspects of such a system. For instance, complex systems (such as integrated avionics systems, engine control software) can involve functional and timing requirements that must be eventually implemented as executing code on a communicating distributed topology. This book contains the papers presented at the First International Workshop on Integrated Formal Methods, held at the University of York in June 1999. The conference provided a forum for the discussion of theoretical aspects of combing behavioural and state-based formalisms and practical solutions to the industrial problems of this approach.
Table of contents: title: A Common Framework for Mixed Hardware/Software Systems; title: Jifeng He; title: Proof Systems for Message-Passing Process Calculi; title: Matthew Hennessy; title: Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development; title: J.N. Reed, J.E. Sinclair and F. Guigand; title: Reactive System Refinement of Distributed Systems in B; title: K. Lano and K. Androutsopoulos; title: Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication; title: Richard Paige; title: RT-Z: An Integration of Z and timed CSP; title: Carsten Suhl; title: Retrenchment and Punctured Simulation; title: R. Banach and M. Poppleton; title: Model-Checking CSP-OZ Specifications with FDR; title: Clemens Fischer and Heike Wehreim; title: A Compositional Comparison of specifications of the Alternating Bit Protocol in CCS and UNITY based on Algebra Transformation Systems; title: Martin Crosse-Rhode; title: Modelling Discrete Behaviour in a Continuous-Time Formalism; title: Colin J. Fidge; title: An Approach to the Combination of Formal Description Techniques: Statecharts and TLA; title: Thomas Deiss; title: Requirements for a Temporal B; title: Assigning Temporal Meaning to Abstract Machines and to Abstract Systems; title: Dominque Méry; title: Modular Formal Specification of Data and Behaviour; title: Jaco van de Pol, Jozef Hooman and Edwin de Jong; title: An Object Semantic Model of an Integrated Formal Notation SOFL; title: Jin Song Dong and Shaoying Liu; title: Modular Verification of Dynamic Properties for reactive systems; title: Jacques Julliand, P.A. Masson and H. Mountassir; title: On the Refinement and Simulation of Data Types and Processes; title: Christie Bolton, Jim Davies and Jim Woodcock; title: The Refinement of Event Calculus Models; title: Bill Stoddart and Steve Dunne; title: Towards Real-Time Object-Z; title: Graeme Smith and Ian Hayes; title: Integration Problems in Telephone Feature Requirements; title: Paul Gibson, Geoff Hamilton and Dominiqe Méry; title: A Modular Framework for the Integration of Heterogeneous Notations and Tools; title: Robert Büssow and Wolfgang Grieskamp; title: Separating Component and Context Specification Using Promotion; title: John Derrick and Eerke Boiten; title: Specifying Interactive Systems in Object-Z and CSP; title: Ian MacColl and David Carrington; title: Overview of Semantics of TCOZ; title: Brendan Mahony and Jin Song Dong; title: Using a Process Algebra to Control B Operations; title: Helen Treharne and Steve Schneider.