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
Corina S. Păsăreanu , NASA Ames Research Center
Howard Barringer , University of Manchester
pp. 3
Carles Sierra , Consejo Superior de Investigaciones Científicas
Marc Esteva , Consejo Superior de Investigaciones Científicas
pp. 13
D. Szafron , University of Alberta
J. Schaeffer , University of Alberta
J. Anvik , University of Alberta
S. Bromling , University of Alberta
S. MacDonald , University of Alberta
pp. 23
Verification and Validation
Yunja Choi , University of Minnesota
Mats P.E. Heimdahl , University of Minnesota
pp. 37
John Grundy , University of Auckland
Guoliang Ding , University of Auckland
pp. 47
Experience Reports
Claudio Riva , Nokia Research Center
Alessandro Maccari , Nokia Research Center
pp. 59
Software Specification
Roberto E. Lopez-Herrejon , University of Texas at Austin
Don Batory , University of Texas at Austin
pp. 81
Program Understanding
Rémi Douence , École des Mines de Nantes
Narendra Jussien , École des Mines de Nantes
pp. 117
Testing
Harald Gall , Technical University of Vienna
Pascal Fenkam , 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
Requirements Engineering
Tom Graser , University of Texas at Austin
K. Suzanne Barber , University of Texas at Austin
pp. 172
David Raffo , Portland State University
Siri-on Setamanit , Portland State University
pp. 183
Reasoning Technology
Shriram Krishnamurthi , Brown University
Harry C. Li , Brown University
pp. 195
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
Jehad Al Dallal , University of Alberta
Paul Sorenson , University of Alberta
pp. 231
Tim Menzies , West Virginia University
David Owen , West Virginia University
pp. 237
Marlon Vieira , University of California at Irvine
pp. 241
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
pp. 261
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
Rui Fu , University of Western Ontario
James H. Andrews , 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
David Grosser , University of Montreal
Petko Valtchev , University of Montreal
pp. 295
Stephen Fickas , 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
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool