• S
  • SEFM
  • 2003
  • First International Conference on Software Engineering and Formal Methods (SEFM'03)
Advanced Search 
First International Conference on Software Engineering and Formal Methods (SEFM'03)
Brisbane, Australia
September 22-September 27
ISBN: 0-7695-1949-0
Table of Contents
Introduction
Keynote Speaker 1
Session 1: Testing
Session 2: Formal Models for Security
Annalisa Bossi, Università Caé Foscari di Venezia
Riccardo Focardi, Università Caé Foscari di Venezia
Carla Piazza, Università Caé Foscari di Venezia
Sabina Rossi, Università Caé Foscari di Venezia
pp. 44
Keynote Speaker 2
Session 3: Program Verification
Keynote Speaker 3
Session 4: Integration of Formal and Informal Methods I
Boris Litvak, Tel-Aviv University and IBM Research Center, Haifa
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
Charles Lakos, University of Adelaide
Robert Esser, University of Adelaide
pp. 126
Session 5: Integration of Formal and Informal Methods II
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
Nadia Bouassida, Institut Sup?rieur d?Informatique et de Multim?dias de Sfax
Han?ne Ben-Abdallah, Gestion de Sfax
Fa?ez Gargouri, Gestion de Sfax
Abdemajid Ben Hamadou, 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
Session 7: Automated Verification
Ulka Shrotri, Tata Consultancy Services
Purandar Bhaduri, Tata Consultancy Services
R. Venkatesh, Tata Consultancy Services
pp. 202
Author Index
Usage of this product signifies your acceptance of the Terms of Use.