The Community for Technology Leaders
RSS Icon
Subscribe
Proceedings ASE 2002. 17th IEEE International Conference on Automated Software Engineering (2002)
Edinburgh, UK
Sept. 23, 2002 to Sept. 27, 2002
ISBN: 0-7695-1736-6
TABLE OF CONTENTS
Introduction
Preface (PDF)
pp. ix
Software Design and Synthesis
Dimitra Giannakopoulou , NASA Ames Research Center
Corina S. Păsăreanu , NASA Ames Research Center
Howard Barringer , University of Manchester
pp. 3
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
John Grundy , University of Auckland
Guoliang Ding , University of Auckland
pp. 47
Experience Reports
Alessandro Maccari , Nokia Research Center
Claudio Riva , Nokia Research Center
Francesco Maccari , Universit? degli Studi di Siena
pp. 59
Steve Roach , University of Texas at El Paso
Jeffrey Van Baalen , University of Wyoming
pp. 69
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
Yann-Gaël Guéhéneuc , École des Mines de Nantes
Rémi Douence , École des Mines de Nantes
Narendra Jussien , École des Mines de Nantes
pp. 117
Testing
Pascal Fenkam , Technical University of Vienna
Harald Gall , Technical University of Vienna
Mehdi Jazayeri , Technical University of Vienna
pp. 129
Patrick J. Schroeder , University of Wisconsin - Milwaukee
Pat Faherty , University of Wisconsin - Milwaukee
Bogdan Korel , Illinois Institute of Technology
pp. 139
Srinivas Visvanathan , University of Arizona
Neelam Gupta , University of Arizona
pp. 149
Requirements Engineering
Alexander Egyed , Teknowledge Corporation
Paul Grünbacher , Johannes Kepler University
pp. 163
K. Suzanne Barber , University of Texas at Austin
Tom Graser , University of Texas at Austin
Jim Holt , University of Texas at Austin
pp. 172
Tim Menzies , University of West Virginia
David Raffo , Portland State University
Siri-on Setamanit , Portland State University
pp. 183
Reasoning Technology
Harry C. Li , Brown University
Shriram Krishnamurthi , Brown University
Kathi Fisler , WPI, USA
pp. 195
Tanton H. Gibbs , Clemson University
Brian A Malloy , Clemson University
James F. Power , National University of Ireland
pp. 205
Short Papers
Mikhail Auguston , New Mexico State University
Clinton Jeffery , New Mexico State University
Scott Underwood , New Mexico State University
pp. 217
Muffy Calder , University of Glasgow
Alice Miller , University of Glasgow
pp. 227
Jehad Al Dallal , University of Alberta
Paul Sorenson , University of Alberta
pp. 231
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
Marcio S. Dias , University of California at Irvine
Debra J. Richardson , University of California at Irvine
pp. 245
Hee Beng Kuan Tan , Nanyang Technological University
Weihong Li , Nanyang Technological University
pp. 249
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
Xuejun Chen , University of Stuttgart and Nokia Networks
pp. 279
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
Grigore Roşu , NASA Ames Research Center
Jon Whittle , NASA Ames Research Center
pp. 289
David Grosser , University of Montreal
Houari A. Sahraoui , University of Montreal
Petko Valtchev , University of Montreal
pp. 295
Stephen Fickas , University of Oregon
Tiller Beauchamp , University of Oregon
Ny Aina Razermera Mamy , University of Oregon
pp. 299
Workshop Report
Yves Ledru , Université de Grenoble
David F. Redmiles , University of California at Irvine
pp. 307
Doctoral Symposium
Jitka Crhová , Masaryk University Brno
pp. 312
Index of Authors
Author Index (PDF)
pp. 319
35 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool