• S
  • SEFM
  • 2007
  • Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)
Advanced Search 
Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)
London, England
September 10-September 14
ISBN: 0-7695-2884-8
Table of Contents
Introduction
Keynote Talk
Software Engineering 1
Mondex/VSI Challenge
Richard Banach, University of Manchester
Czeslaw Jeske, University of Manchester
Anthony Hall, Independent Consultant, UK
Susan Stepney, University of York
pp. 37-46
Applications
Radu Calinescu, University of Oxford
Steve Harris, University of Oxford
Jeremy Gibbons, University of Oxford
Jim Davies, University of Oxford
Igor Toujilov, University College Medical School
Sylvia B. Nagl, University College Medical School
pp. 59-68
Indranil Saha, HTS(Honeywell Technology Solutions) Research, India
Suman Roy, HTS(Honeywell Technology Solutions) Research, India
Kuntal Chakraborty, Indian Statistical Institute, India
pp. 69-79
Prahladavaradan Sampath, General Motors India Science Lab
A. C. Rajeev, General Motors India Science Lab
K. C. Shashidhar, General Motors India Science Lab
S. Ramesh, General Motors India Science Lab
pp. 80-92
Reasoning
Domagoj Babic, University of British Columbia
Alan J. Hu, University of British Columbia
Zvonimir Rakamaric, University of British Columbia
Byron Cook, Microsoft Research
pp. 93-102
Bart Jacobs, Katholieke Universiteit Leuven
Peter Muller, Microsoft Research, Redmond
Frank Piessens, Katholieke Universiteit Leuven
pp. 113-122
Logics
Semantics
Dima Alhadidi, Concordia University, Canada
Nadia Belblidia, Concordia University, Canada
Mourad Debbabi, Concordia University, Canada
Prabir Bhattacharya, Concordia University, Canada
pp. 183-194
Telecommunications
Holger Grandy, Universitat Augsburg
Robert Bertossi, Universitat Augsburg
Kurt Stenzel, Universitat Augsburg
Wolfgang Reif, Universitat Augsburg
pp. 195-204
Bernhard K. Aichernig, Technische Universitat Graz
Bernhard Peischl, Technische Universitat Graz
Martin Weiglhofer, Technische Universitat Graz
Franz Wotawa, Technische Universitat Graz
pp. 215-226
Testing and Model Checking
Software Engineering II
Krishna K. Mehra, Microsoft Research India
Sriram K. Rajamani, Microsoft Research India
A. Prasad Sistla, University of Illinois at Chicago
Sumit K. Jha, Carnegie Melon University
pp. 283-292
Services
Ivan Lanese, University of Bologna
Francisco Martins, University of Lisbon
Vasco T. Vasconcelos, University of Lisbon
Antonio Ravara, Technical University of Lisbon
pp. 305-314
Huibiao Zhu, East China Normal University
Jifeng He, East China Normal University
Jing Li, East China Normal University
Jonathan P. Bowen, London South Bank University
pp. 315-328
Security and Safety
Dominique Cansell, LORIA & Université de Metz, France
J. Paul Gibson, INT Evry, Paris
Dominique M?ry, Nancy-Universite, Université Henri Poincare Nancy1 & LORIA
pp. 329-338
Robert Colvin, University of Queensland, Australia
Lindsay Groves, Victoria University of Wellington, New Zealand
pp. 339-348
Specification and Verification
Feature Refinement (Abstract)
Steve Reeves, University of Waikato, Hamilton, New Zealand
David Streader, University of Waikato, Hamilton, New Zealand
pp. 371-380
Javier Camara, University of Malaga, Spain
Gwen Salaun, University of Malaga, Spain
Carlos Canal, University of Malaga, Spain
pp. 381-390
Author Index
Usage of this product signifies your acceptance of the Terms of Use.