The Community for Technology Leaders
RSS Icon
Subscribe
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2003)
Brisbane, Australia
Sept. 22, 2003 to Sept. 27, 2003
ISBN: 0-7695-1949-0
TABLE OF CONTENTS
Introduction
Preface (PDF)
pp. vii
pp. viii
Referees (PDF)
pp. x
Keynote Speaker 1
Session 1: Testing
Richard Sinnott , University of Glasgow
pp. 24
Session 2: Formal Models for Security
Riccardo Focardi , Università Caé Foscari di Venezia
Annalisa Bossi , Università Caé Foscari di Venezia
Sabina Rossi , Università Caé Foscari di Venezia
pp. 44
Mogens Nielsen , University of Aarhus
Vladimiro Sassone , University of Sussex
pp. 54
Keynote Speaker 2
Davide Sangiorgi , University of Bologna
pp. 64
Session 3: Program Verification
Bernhard Beckert , Universität Karlsruhe
pp. 91
Keynote Speaker 3
Egidio Astesiano , Università di Genova
pp. 102
Session 4: Integration of Formal and Informal Methods I
Shmuel Tyszberowicz , Tel-Aviv University and the Academic College of Tel-Aviv Yaffo
Amiram Yehudai , Tel-Aviv University and the Academic College of Tel-Aviv Yaffo
pp. 118
Yan Jin , University of Adelaide
Robert Esser , University of Adelaide
pp. 126
Session 5: Integration of Formal and Informal Methods II
Muan Yong Ng , University of Southampton
pp. 138
Doug Goldson , University of Queensland
Greg Reeve , University of Waikato
pp. 148
Rahul Bhatt , Intel Corporation
Dave LaFollette , Intel Corporation
Arjun Kapur , Intel Corporation
pp. 156
Session 6: Object-Oriented Modelling
Han?ne Ben-Abdallah , Gestion de Sfax
Fa?ez Gargouri , Gestion de Sfax
Nadia Bouassida , Institut Sup?rieur d?Informatique et de Multim?dias de Sfax
pp. 164
Roger Duke , University of Queensland
Luke Wildman , University of Queensland
Brad Long , University of Queensland
pp. 173
Frank Feiks , Technical University of Berlin
pp. 182
Tim McComb , University of Queensland
pp. 191
Session 7: Automated Verification
Purandar Bhaduri , Tata Consultancy Services
Ulka Shrotri , Tata Consultancy Services
pp. 202
Amjad Gawanmeh , Concordia University
Sofiène Tahar , Concordia University
Kirsten Winter , University of Queensland
pp. 210
David Déharbe , LORIA & INRIA-Lorraine and DIMAp/UFRN
pp. 220
Author Index
Author Index (PDF)
pp. 229
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool