Subscribe
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
K. Lano , King's College London
K. Androutsopoulos , King's College London
P. Kan , King's College London
pp. 25
Murali Rangarajan , University of Cincinnati
Arun Venkataraman , University of Cincinnati
pp. 45
Algebraic Approaches
Invited Speaker
Verification
Hong Peng , Concordia University
Sofiène Tahar , Concordia University
Ferhat Khendek , Concordia University
pp. 79
Jozef Hooman , Eindhoven University of Technology
Dmitri Chkliaev , Eindhoven University of Technology
pp. 89
Formal and Informal Notations
Claudia Pons , Universidad Nacional de La Plata
Gabriel Baum , Universidad Nacional de La Plata
pp. 101
Wolfgang Grieskamp , Technische Universit?t Berlin
Markus Lepper , Technische Universit?t Berlin
pp. 111
Ian MacColl , University of Queensland
David Carrington , University of Queensland
pp. 121
Retrenchment
R. Banach , Manchester University
pp. 133
R. Banach , Manchester University
M. Poppleton , Manchester University and Open University
pp. 143
Invited Speaker
Z: Theory and Practice
P. Caseley , DERA Malvern
C. O'Halloran , DERA Malvern
R. Arthan , Lemma 1 Ltd
pp. 169
Chris Taylor , University of Kent
John Derrick , University of Kent
Eerke Boiten , University of Kent
pp. 177
Animation