3. ICFEM 2000: York, England, UK

3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, 4 - 7 September 2000, York, England, UK, Proceedings. IEEE Computer Society, online publication: http://computer.org/proceedings/icfem/0822/0822toc.htm

Invited Speaker

David Lorge Parnas:
The Use of Mathematics in Software Engineering. 1
Electronic Edition (IEEE Computer Society DL) BibTeX

Development

Toomas P. Plaks:
Formal Derivation of Multilayered Hardware/Software Structures. 5-14
Electronic Edition (IEEE Computer Society DL) BibTeX
Antoine Requet, Gaëlle Bossu:
Embedding Formally Proved Code in a Smart Card: Converting B to C. 15-
Electronic Edition (IEEE Computer Society DL) BibTeX

Structuring

Kevin Lano, Kelly Androutsopoulos, Pauline Kan:
Structuring Reactive Systems in B AMN. 25-34
Electronic Edition (IEEE Computer Society DL) BibTeX
Michihiro Matsumoto, Kokichi Futatsugi:
Highly Reliable Component-Based Software Development by Using Algebraic Behavioral Specification. 35-44
Electronic Edition (IEEE Computer Society DL) BibTeX
Arun Venkataraman, Murali Rangarajan, Perry Alexander:
Composing Specifications in VSPEC. 45-
Electronic Edition (IEEE Computer Society DL) BibTeX

Algebraic Approaches

Mohamed Jmaiel:
A Unified Algebraic Framework for Specifying Communication Protocols. 57-66
Electronic Edition (IEEE Computer Society DL) BibTeX
Tetsuo Tamai:
Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ. 67-
Electronic Edition (IEEE Computer Society DL) BibTeX

Invited Speaker

C. A. R. Hoare:
Legacy Code. 75
Electronic Edition (IEEE Computer Society DL) BibTeX

Verification

Hong Peng, Sofiène Tahar, Ferhat Khendek:
SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol. 79-88
Electronic Edition (IEEE Computer Society DL) BibTeX
Dmitri Chkliaev, Jozef Hooman, Peter van der Stok:
Mechanical Verification of Transaction Processing Systems. 89-
Electronic Edition (IEEE Computer Society DL) BibTeX

Formal and Informal Notations

Claudia Pons, Gabriel Baum:
Formal Foundations of Object-Oriented Modeling Notations. 101-110
Electronic Edition (IEEE Computer Society DL) BibTeX
Wolfgang Grieskamp, Markus Lepper:
Using Use Cases in Executable Z. 111-120
Electronic Edition (IEEE Computer Society DL) BibTeX
Ian MacColl, David A. Carrington:
Translating UAN into CSP. 121-
Electronic Edition (IEEE Computer Society DL) BibTeX

Retrenchment

Richard Banach:
Maximally Abstract Retrenchments. 133-142
Electronic Edition (IEEE Computer Society DL) BibTeX
Richard Banach, Michael Poppleton:
Fragmented Retrenchment, Concurrency and Fairness. 143-
Electronic Edition (IEEE Computer Society DL) BibTeX

Invited Speaker

Werner Damm:
Offering Formal Verification Capabilities for Industry Standard Case Tools: Challenges and Results. 153
Electronic Edition (IEEE Computer Society DL) BibTeX

Z: Theory and Practice

Ali E. Abdallah:
Filter Promotion Transformation Strategies for Deriving Efficient Programs from Z Specifications. 157-168
Electronic Edition (IEEE Computer Society DL) BibTeX
R. D. Arthan, P. Caseley, Colin O'Halloran, Alf Smith:
ClawZ: Control Laws in Z. 169-176
Electronic Edition (IEEE Computer Society DL) BibTeX
Chris J. Taylor, John Derrick, Eerke A. Boiten:
A Case Study in Partial Specification: Consistency and Refinement for Object-Z. 177-
Electronic Edition (IEEE Computer Society DL) BibTeX

Animation

Ali E. Abdallah, Mark Green:
An Integrated CSP-Based Tool for the Visualisation, Animation and Performance Evaluation of Message Passing Algorithms. 189-
Electronic Edition (IEEE Computer Society DL) BibTeX
Jonathan P. Bowen, Jifeng He, Qiwen Xu:
An Animatable Operational Semantics of the Verilog Hardware Description Language. 199-208
Electronic Edition (IEEE Computer Society DL) BibTeX