The Community for Technology Leaders
Formal Engineering Methods, International Conference on (2000)
York, England
Sept. 4, 2000 to Sept. 7, 2000
ISBN: 0-7695-0822-7
TABLE OF CONTENTS
Invited Speaker
Development
Structuring

Structuring Reactive Systems in B AMN (Abstract)

K. Lano , King's College London
K. Androutsopoulos , King's College London
P. Kan , King's College London
pp. 25

Highly Reliable Component-Based Software Development by Using Algebraic Behavioral Specification (Abstract)

Kokichi Futatsugi , Japan Advanced Institute of Science and Technology
Michihiro Matsumoto , Japan Advanced Institute of Science and Technology
pp. 35

Composing Specifications in VSPEC (Abstract)

Perry Alexander , University of Kansas
Murali Rangarajan , University of Cincinnati
Arun Venkataraman , University of Cincinnati
pp. 45
Algebraic Approaches
Invited Speaker

Legacy Code (PDF)

pp. 75
Verification

SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol (Abstract)

Hong Peng , Concordia University
Sofiène Tahar , Concordia University
Ferhat Khendek , Concordia University
pp. 79

Mechanical Verification of Transaction Processing Systems (Abstract)

Jozef Hooman , Eindhoven University of Technology
Peter van der Stok , University of Nijmegen
Dmitri Chkliaev , Eindhoven University of Technology
pp. 89
Formal and Informal Notations

Formal Foundations of Object-Oriented Modeling Notations (Abstract)

Claudia Pons , Universidad Nacional de La Plata
Gabriel Baum , Universidad Nacional de La Plata
pp. 101

Using Use Cases in Executable Z (Abstract)

Wolfgang Grieskamp , Technische Universit?t Berlin
Markus Lepper , Technische Universit?t Berlin
pp. 111

Translating UAN into CSP (Abstract)

Ian MacColl , University of Queensland
David Carrington , University of Queensland
pp. 121
Retrenchment

Maximally Abstract Retrenchments (Abstract)

R. Banach , Manchester University
pp. 133

Fragmented Retrenchment, Concurrency and Fairness (Abstract)

R. Banach , Manchester University
M. Poppleton , Manchester University and Open University
pp. 143
Invited Speaker
Z: Theory and Practice

ClawZ: Control Laws in Z (Abstract)

C. O'Halloran , DERA Malvern
A. Smith , DERA Malvern
P. Caseley , DERA Malvern
R. Arthan , Lemma 1 Ltd
pp. 169

A Case Study in Partial Specification: Consistency and Refinement for Object-Z (Abstract)

Chris Taylor , University of Kent
Eerke Boiten , University of Kent
John Derrick , University of Kent
pp. 177
Animation

An Animatable Operational Semantics of the Verilog Hardware Description Language (Abstract)

He Jifeng , United Nations University
Xu Qiwen , United Nations University
Jonathan P. Bowen , South Bank University
pp. 199

Author Index (PDF)

pp. 209
104 ms
(Ver 3.1 (10032016))