The Community for Technology Leaders
RSS Icon
Subscribe
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) (2001)
San Diego, CA, USA
Nov. 26, 2001 to Nov. 29, 2001
ISBN: 0-7695-1426-X
TABLE OF CONTENTS
Preface (PDF)
pp. xi
pp. xiii
pp. xv
Session I-A: Testing I
S.-D. Gouraud , L.R.I., Universit? Paris-Sud
A. Denise , L.R.I., Universit? Paris-Sud
M.-C. Gaudel , L.R.I., Universit? Paris-Sud
B. Marre , L.R.I., Universit? Paris-Sud; CEA, LIST/DTSI/SLA/LSL
pp. 5
Nguyen Tran Sy , Universit? catholique de Louvain
Yves Deville , Universit? catholique de Louvain
pp. 13
Darko Marinov , MIT Laboratory for Computer Science
Sarfraz Khurshid , MIT Laboratory for Computer Science
pp. 22
Session I-B: Transformation/Construction I
John Grundy , University of Auckland
Rick Mugridge , University of Auckland
John Hosking , University of Auckland
Paul Kendall , Orion Systems Ltd
pp. 35
Ewen Denney , University of Edinburgh
pp. 43
H. M. Fahmy , University of Waterloo
R. C. Holt , University of Waterloo
J. R. Cordy , Queen?s University
pp. 51
Michael Lowry , NASA Ames Research Center
Thomas Pressburger , NASA Ames Research Center
Grigore Rosu , NASA Ames Research Center
pp. 81
Steve Sims , Reactive Systems, Inc.
Rance Cleaveland , Reactive Systems, Inc.
Ken Butts , Ford Motor Company
Scott Ranville , New Eagle Software
pp. 91
Session II-B: Structure
Yunwen Ye , SRA Key Technology Laboratory, Inc; University of Colorado
Gerhard Fischer , University of Colorado
pp. 99
Andrian Marcus , Kent State University
Jonathan I. Maletic , Kent State University
pp. 107
Christian Nentwich , University College London
Wolfgang Emmerich , University College London
Anthony Finkelstein , University College London
pp. 115
Session III-A: Testing II
Y. Ledru , Laboratoire Logiciels Syst?mes R?seaux/IMAG
L. du Bousquet , Laboratoire Logiciels Syst?mes R?seaux/IMAG
P. Bontron , Laboratoire Logiciels Syst?mes R?seaux/IMAG
O. Maury , Laboratoire Logiciels Syst?mes R?seaux/IMAG
C. Oriat , Laboratoire Logiciels Syst?mes R?seaux/IMAG
M.-L. Potet , Laboratoire Logiciels Syst?mes R?seaux/IMAG
pp. 127
Klaus Havelund , NASA Ames Research Center
Grigore Rosu , NASA Ames Research Center
pp. 135
Neelam Gupta , The University of Arizona
Praveen Rao , The University of Arizona
pp. 144
Session III-B: Transformation/Construction II
Dusko Pavlovic , Kestrel Institute
Douglas R. Smith , Kestrel Institute
pp. 157
Hervé Albin-Amiot , ?cole des Mines de Nantes
Pierre Cointe , ?cole des Mines de Nantes
Yann-Gaël Guéhéneuc , ?cole des Mines de Nantes
Narendra Jussien , ?cole des Mines de Nantes
pp. 166
Paola Inverardi , Universit? dell?Aquila
Simone Scriboni , Universit? dell?Aquila
pp. 174
Session IV-A: Analysis/Real Time
John Grundy , University of Auckland
Yuhong Cai , University of Auckland
Anna Liu , CSIRO Mathematical and Information Sciences
pp. 193
Michael Hallin , Vienna University of Technology
Paul Grünbacher , Johannes Kepler University Linz
Stefan Biffl , Fraunhofer Institute for Experimental Software Engineering
pp. 201
Session IV-B: Reverse Engineering and Integration
Paul Graunke , Northeastern University
Robert Bruce Findler , Rice Univeristy
Shriram Krishnamurthi , Brown University
Matthias Felleisen , Northeastern University
pp. 211
Alexander Egyed , Teknowledge Corporation
Robert Balzer , Teknowledge Corporation
pp. 223
Spencer Rugaber , Georgia Institute of Technology
Terry Shikano , Georgia Institute of Technology
R. E. Kurt Stirewalt , Michigan State University
pp. 232
Session V-A: Model Checking
Twan Basten , Eindhoven University of Technology
Dragan Bosnacki , Eindhoven University of Technology
pp. 245
Guillaume Brat , Kestrel/NASA Ames Research Center
Willem Visser , RIACS/NASA Ames Research Center
pp. 262
Session V-B: Specification and Model Engineering
Jean Bézivin , Universit? de Nantes
Olivier Gerbé , HEC - Montr?al
pp. 273
Rajeev Alur , University of Pennsylvania
Radu Grosu , State University of New York at Stony Brook
pp. 281
Hung LEDANG , LORIA - Universit? Nancy 2
Jeanine SOUQUIÈRES , LORIA - Universit? Nancy 2
pp. 289
Radu Grosu , State University of New York at Stony Brook
Yanhong A. Liu , State University of New York at Stony Brook
Scott Smolka , State University of New York at Stony Brook
Scott D. Stoller , State University of New York at Stony Brook
Jingyu Yan , State University of New York at Stony Brook
pp. 297
Short Papers
Andrew Cook , Heriot-Watt University
Andrew Ireland , Heriot-Watt University
Greg Michaelson , Heriot-Watt University
pp. 307
Wuwei Shen , The University of Michigan
Kevin Compton , The University of Michigan
James Huggins , Kettering University
pp. 315
Lars-Åke Fredlund , Swedish Institute of Computer Science
Dilian Gurov , Swedish Institute of Computer Science
Thomas Noll , Aachen University of Technology
pp. 319
Alex Blewitt , University of Edinburgh
Alan Bundy , University of Edinburgh
Ian Stark , University of Edinburgh
pp. 324
Raimondas Lencevicius , Nokia Research Center
Edu Metz , Nokia Research Center
Alexander Ran , Nokia Research Center
pp. 328
Fei Xie , University of Texas at Austin
Vladimir Levin , Bell Laboratories
James C. Browne , University of Texas at Austin
pp. 333
James M. Bieman , Colorado State University
Sudipto Ghosh , Colorado State University
Roger T. Alexander , Colorado State University
pp. 337
Paola Inverardi , Universit? dell?Aquila - Via Vetoio
Henry Muccini , Universit? dell?Aquila - Via Vetoio
Patrizio Pelliccione , Universit? dell?Aquila - Via Vetoio
pp. 346
A. S. d?Avila Garcez , Imperial College
A. Russo , Imperial College
B. Nuseibeh , The Open University
J. Kramer , Imperial College
pp. 354
Iain McLaren , Searchspace Limited
Tony Wicks , Searchspace Limited
pp. 368
Y. Chevalier , LORIA - UHP - UN2
L. Vigneron , LORIA - UHP - UN2
pp. 373
Bruno Legeard , Laboratoire d?Informatique de l?Universit? de Franche-Comt?
Fabien Peureux , Laboratoire d?Informatique de l?Universit? de Franche-Comt?
pp. 377
Tevfik Bultan , University of California
Tuba Yavuz-Kahveci , University of California
pp. 382
Tim Menzies , University of British Comlumbia
James D. Kiper , Miami University
pp. 391
Jon Whittle , NASA, QSS, RIACS, Kestrel Tech., U. Wyoming, NASA Ames Research Center
Jeffrey Van Baalen , NASA, QSS, RIACS, Kestrel Tech., U. Wyoming, NASA Ames Research Center
Johann Schumann , NASA, QSS, RIACS, Kestrel Tech., U. Wyoming, NASA Ames Research Center
Peter Robinson , NASA, QSS, RIACS, Kestrel Tech., U. Wyoming, NASA Ames Research Center
Tom Pressburger , NASA, QSS, RIACS, Kestrel Tech., U. Wyoming, NASA Ames Research Center
John Penix , NASA, QSS, RIACS, Kestrel Tech., U. Wyoming, NASA Ames Research Center
Phil Oh , NASA, QSS, RIACS, Kestrel Tech., U. Wyoming, NASA Ames Research Center
Michael Lowry , NASA, QSS, RIACS, Kestrel Tech., U. Wyoming, NASA Ames Research Center
Guillaume Brat , NASA, QSS, RIACS, Kestrel Tech., U. Wyoming, NASA Ames Research Center
pp. 395
Martin Erwig , Oregon State University
pp. 400
Gerald C. Gannod , Arizona State University
Sunil Gupta , Arizona State University
pp. 404
Jan Jürjens , University of Oxford
Guido Wimmel , Technische Universit?t M?nchen
pp. 408
Dimitra Giannakopoulou , NASA Ames Research Center
Klaus Havelund , NASA Ames Research Center
pp. 412
Dieter Hutter , German Research Center for Artificial Intelligence
Axel Schairer , German Research Center for Artificial Intelligence
pp. 417
Brad Long , The University of Queensland, Brisbane
Dan Hoffman , University of Victoria
Paul Strooper , The University of Queensland, Brisbane
pp. 421
L. Andrade , ATX Software SA
J.L. Fiadeiro , ATX Software SA; Univ. Lisbon
M. Wermelinger , ATX Software SA; Univ. Lisbon
pp. 426
Doctoral Symposium Abstracts
Janet E. Burge , Worcester Polytechnic Institute
David C. Brown , Worcester Polytechnic Institute
pp. 433
Pascal Fenkam , Technical University of Vienna, Austria
pp. 434
Hung LeDang , University of Nancy 2, France
pp. 436
Ilya Romanovsky , University of Durham, UK
pp. 439
Songtao Xia , (Oregon Health Science University, USA)
pp. 440
Author Index (PDF)
pp. 441
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool