• A
  • ASE
  • 2002
  • 17th IEEE International Conference on Automated Software Engineering (ASE'02)
Advanced Search 
17th IEEE International Conference on Automated Software Engineering (ASE'02)
Edinburgh, UK
September 23-September 27
ISBN: 0-7695-1736-6
Table of Contents
Introduction
Software Design and Synthesis
Wamberto Vasconcelos, University of Edinburgh
Carles Sierra, Consejo Superior de Investigaciones Científicas
Marc Esteva, Consejo Superior de Investigaciones Científicas
pp. 13
S. MacDonald, University of Alberta
D. Szafron, University of Alberta
J. Schaeffer, University of Alberta
J. Anvik, University of Alberta
S. Bromling, University of Alberta
K. Tan, University of Alberta
pp. 23
Verification and Validation
Mats P.E. Heimdahl, University of Minnesota
Yunja Choi, University of Minnesota
Mike Whalen, University of Minnesota
pp. 37
Experience Reports
Alessandro Maccari, Nokia Research Center
Claudio Riva, Nokia Research Center
Francesco Maccari, Universit? degli Studi di Siena
pp. 59
Software Specification
Don Batory, University of Texas at Austin
Roberto E. Lopez-Herrejon, University of Texas at Austin
Jean-Philippe Martin, University of Texas at Austin
pp. 81
Program Understanding
Testing
Patrick J. Schroeder, University of Wisconsin - Milwaukee
Pat Faherty, University of Wisconsin - Milwaukee
Bogdan Korel, Illinois Institute of Technology
pp. 139
Requirements Engineering
Tim Menzies, University of West Virginia
David Raffo, Portland State University
Siri-on Setamanit, Portland State University
pp. 183
Reasoning Technology
Short Papers
Mikhail Auguston, New Mexico State University
Clinton Jeffery, New Mexico State University
Scott Underwood, New Mexico State University
pp. 217
David Owen, West Virginia University
Tim Menzies, West Virginia University
Bojan Cukic, West Virginia University
pp. 237
Marlon Vieira, University of California at Irvine
Debra Richardson, University of California at Irvine
pp. 241
Benoit Baudry, IRISA, Universitaire de Beaulieu
Franck Fleurey, IFSIC, Universitaire de Beaulieu
Jean-Marc Jézéquel, IRISA , Universitaire de Beaulieu
Yves Le Traon, IRISA , Universitaire de Beaulieu
pp. 253
Alicia Martínez, Valencia University of Technology
Hugo Estrada, Valencia University of Technology
Juan Sánchez, Valencia University of Technology
Oscar Pastor, Valencia University of Technology
pp. 257
Falk Fraikin, Darmstadt University of Technology
Thomas Leonhardt, Darmstadt University of Technology
pp. 261
György Csertán, Budapest University of Technology and Economics
Gábor Huszerl, Budapest University of Technology and Economics
István Majzik, Budapest University of Technology and Economics
Zsigmond Pap, Budapest University of Technology and Economics
András Pataricza, Budapest University of Technology and Economics
Dániel Varró, Budapest University of Technology and Economics
pp. 267
James H. Andrews, University of Western Ontario
Rui Fu, University of Western Ontario
Vicky D. Liu, University of Western Ontario
pp. 275
Danielle Azar, McGill University
Doina Precup, McGill University
Salah Bouktif, University of Montreal
Balázs Kégl, University of Montreal
Houari Sahraoui, University of Montreal
pp. 285
Workshop Report
Doctoral Symposium
Index of Authors
Usage of this product signifies your acceptance of the Terms of Use.