1. Home
  2. Proceedings
  3. ICFEM
  4. ICFEM 2000
Default Cover Image

Formal Engineering Methods, International Conference on

Sept. 4 2000 to Sept. 7 2000

York, England

ISBN: 0-7695-0822-7

Table of Contents

Third IEEE International Conference on Formal Engineering MethodsFreely available from IEEE.pp. iii,iv,v,vi
The use of mathematics in software engineeringFull-text access may be available. Sign in or learn about subscription options.pp. 1-1
by D.L. Pamas
Legacy codeFull-text access may be available. Sign in or learn about subscription options.pp. 75
by C.A.R. Hoare
Message from the General ChairFreely available from IEEE.pp. vii
Offering formal verification capabilities for industry standard case tools: challenges and resultsFull-text access may be available. Sign in or learn about subscription options.pp. 153
by W. Damm
ICFEM 2000 Committee and Steering CommitteeFreely available from IEEE.pp. ix
Program CommitteeFreely available from IEEE.pp. xi
Invited Speaker
The Use of Mathematics in Software EngineeringFull-text access may be available. Sign in or learn about subscription options.pp. 1
Development
Formal Derivation of Multilayered Hardware/Software StructuresFull-text access may be available. Sign in or learn about subscription options.pp. 5
by Toomas P. Plaks
Development
Embedding Formally Proved Code in a Smart Card: Converting B to CFull-text access may be available. Sign in or learn about subscription options.pp. 15
by Antoine Requet, Gaëlle Bossu
Structuring
Structuring Reactive Systems in B AMNFull-text access may be available. Sign in or learn about subscription options.pp. 25
by K. Lano, K. Androutsopoulos, P. Kan
Structuring
Highly Reliable Component-Based Software Development by Using Algebraic Behavioral SpecificationFull-text access may be available. Sign in or learn about subscription options.pp. 35
by Michihiro Matsumoto, Kokichi Futatsugi
Structuring
Composing Specifications in VSPECFull-text access may be available. Sign in or learn about subscription options.pp. 45
by Arun Venkataraman, Murali Rangarajan, Perry Alexander
Algebraic Approaches
A Unified Algebraic Framework for Specifying Communication ProtocolsFull-text access may be available. Sign in or learn about subscription options.pp. 57
by Mohamed Jmaiel
Algebraic Approaches
Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJFull-text access may be available. Sign in or learn about subscription options.pp. 67
by Tetsuo Tamai
Invited Speaker
Legacy CodeFull-text access may be available. Sign in or learn about subscription options.pp. 75
Verification
SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR ProtocolFull-text access may be available. Sign in or learn about subscription options.pp. 79
by Hong Peng, Sofiène Tahar, Ferhat Khendek
Verification
Mechanical Verification of Transaction Processing SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 89
by Dmitri Chkliaev, Jozef Hooman, Peter van der Stok
Formal and Informal Notations
Formal Foundations of Object-Oriented Modeling NotationsFull-text access may be available. Sign in or learn about subscription options.pp. 101
by Claudia Pons, Gabriel Baum
Formal and Informal Notations
Using Use Cases in Executable ZFull-text access may be available. Sign in or learn about subscription options.pp. 111
by Wolfgang Grieskamp, Markus Lepper
Formal and Informal Notations
Translating UAN into CSPFull-text access may be available. Sign in or learn about subscription options.pp. 121
by Ian MacColl, David Carrington
Retrenchment
Maximally Abstract RetrenchmentsFull-text access may be available. Sign in or learn about subscription options.pp. 133
by R. Banach
Retrenchment
Fragmented Retrenchment, Concurrency and FairnessFull-text access may be available. Sign in or learn about subscription options.pp. 143
by R. Banach, M. Poppleton
Invited Speaker
Offering Formal Verification Capabilities for Industry Standard Case Tools: Challenges and ResultsFull-text access may be available. Sign in or learn about subscription options.pp. 153
Z: Theory and Practice
Filter Promotion Transformation Strategies for Deriving Efficient Programs from Z SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 157
by Ali E. Abdallah
Z: Theory and Practice
ClawZ: Control Laws in ZFull-text access may be available. Sign in or learn about subscription options.pp. 169
by R. Arthan, P. Caseley, C. O'Halloran, A. Smith
Z: Theory and Practice
A Case Study in Partial Specification: Consistency and Refinement for Object-ZFull-text access may be available. Sign in or learn about subscription options.pp. 177
by Chris Taylor, John Derrick, Eerke Boiten
Animation
An Integrated CSP-Based Tool for the Visualisation, Animation and Performance Evaluation of Message Passing AlgorithmsFull-text access may be available. Sign in or learn about subscription options.pp. 189
by Ali E. Abdallah, Mark Green
Animation
An Animatable Operational Semantics of the Verilog Hardware Description LanguageFull-text access may be available. Sign in or learn about subscription options.pp. 199
by Jonathan P. Bowen, He Jifeng, Xu Qiwen
Animation
Author IndexFreely available from IEEE.pp. 209
Showing 30 out of 30