The Community for Technology Leaders
RSS Icon
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
Michihiro Matsumoto , Japan Advanced Institute of Science and Technology
Kokichi Futatsugi , Japan Advanced Institute of Science and Technology
pp. 35
Arun Venkataraman , University of Cincinnati
Murali Rangarajan , University of Cincinnati
Perry Alexander , University of Kansas
pp. 45
Algebraic Approaches
Mohamed Jmaiel , Ecole Nationale d'Ing?nieursde Sfax
pp. 57
Invited Speaker
Legacy Code (PDF)
pp. 75
Verification
Hong Peng , Concordia University
Sofiène Tahar , Concordia University
Ferhat Khendek , Concordia University
pp. 79
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
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
R. Arthan , Lemma 1 Ltd
P. Caseley , DERA Malvern
C. O'Halloran , DERA Malvern
A. Smith , DERA Malvern
pp. 169
Chris Taylor , University of Kent
John Derrick , University of Kent
Eerke Boiten , University of Kent
pp. 177
Animation
Jonathan P. Bowen , South Bank University
He Jifeng , United Nations University
Xu Qiwen , United Nations University
pp. 199
Author Index (PDF)
pp. 209
16 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool