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
Rick Mugridge , University of Auckland
John Hosking , University of Auckland
John Grundy , University of Auckland
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
Thomas Pressburger , NASA Ames Research Center
Michael Lowry , NASA Ames Research Center
pp. 81
Rance Cleaveland , Reactive Systems, Inc.
Steve Sims , Reactive Systems, Inc.
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
Wolfgang Emmerich , University College London
Christian Nentwich , University College London
pp. 115
Session III-A: Testing II
L. du Bousquet , Laboratoire Logiciels Syst?mes R?seaux/IMAG
P. Bontron , Laboratoire Logiciels Syst?mes R?seaux/IMAG
Y. Ledru , 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
pp. 135
Neelam Gupta , The University of Arizona
pp. 144
Session III-B: Transformation/Construction II
Dusko Pavlovic , Kestrel Institute
Douglas R. Smith , Kestrel Institute
pp. 157
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
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
Paul Grünbacher , Johannes Kepler University Linz
Michael Hallin , Vienna University of Technology
pp. 201
Session IV-B: Reverse Engineering and Integration
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
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
pp. 262
Session V-B: Specification and Model Engineering
Jean Bézivin , Universit? de Nantes
pp. 273
Rajeev Alur , University of Pennsylvania
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
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
Dilian Gurov , Swedish Institute of Computer Science
Lars-Åke Fredlund , Swedish Institute of Computer Science
pp. 319
Alan Bundy , University of Edinburgh
Alex Blewitt , University of Edinburgh
pp. 324
Raimondas Lencevicius , Nokia Research Center
Edu Metz , Nokia Research Center
Alexander Ran , Nokia Research Center
pp. 328
Vladimir Levin , Bell Laboratories
James C. Browne , University of Texas at Austin
pp. 333
James M. Bieman , 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. 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
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
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
pp. 404
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
Paul Strooper , The University of Queensland, Brisbane
pp. 421
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
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
17 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool