The Community for Technology Leaders
RSS Icon
Subscribe
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2007)
London, England
Sept. 10, 2007 to Sept. 14, 2007
ISBN: 0-7695-2884-8
TABLE OF CONTENTS
Introduction
Preface (PDF)
pp. ix
Committees (PDF)
pp. x
Keynote Talk
Software Engineering 1
David Crocker , Escher Technologies Ltd.
Judith Carlton , Escher Technologies Ltd.
pp. 7-14
Jon G. Hall , Open University, UK
Lucia Rapanotti , Open University, UK
Michael Jackson , Open University, UK
pp. 15-24
Ian Bayley , Oxford Brookes University
pp. 25-36
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
Peter H. Schmitt , Universitat Karlsruhe
Isabel Tonin , Universitat Karlsruhe
pp. 47-58
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
Keynote Talk
Logics
Bernhard Beckert , University of Koblenz-Landau
Vladimir Klebanov , University of Koblenz-Landau
pp. 141-150
Marius C. Bujorianu , University of Kent
Manuela L. Bujorianu , University of Twente
pp. 161-172
Semantics
Haitao Dan , Brunel University
Robert M. Hierons , Brunel University
Steve Counsell , Brunel University
pp. 173-182
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
Manish C Kumar , Indian Institute of Science
K Gopinath , Indian Institute of Science
pp. 205-214
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
Keynote Talk
Software Engineering II
Xianghua Deng , Kansas State University
Robby , Kansas State University
John Hatcliff , Kansas State University
pp. 273-282
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
Mohamed Saleh , Concordia University
Mourad Debbabi , Concordia University
pp. 349-360
Specification and Verification
Simon Fraser , University of Manchester
Richard Banach , University of Manchester,
pp. 361-370
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
Author Index (PDF)
pp. 401
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool