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

Legacy code (PDF)

C.A.R. Hoare , Microsoft Research
pp. 75
Invited Speaker

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)

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

Composing Specifications in VSPEC (Abstract)

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

Legacy Code (PDF)

pp. 75

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)

Dmitri Chkliaev , Eindhoven University of Technology
Jozef Hooman , Eindhoven University of Technology
Peter van der Stok , University of Nijmegen
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

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)

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

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

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

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

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

Author Index (PDF)

pp. 209
81 ms
(Ver 3.3 (11022016))