• A
  • ASE
  • 2001
  • 16th IEEE International Conference on Automated Software Engineering (ASE'01)
Advanced Search 
16th IEEE International Conference on Automated Software Engineering (ASE'01)
San Diego, California
November 26-November 29
ISBN: 0-7695-1426-X
Table of Contents
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
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
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
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
Session III-B: Transformation/Construction II
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
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
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
Session V-B: Specification and Model Engineering
Rajeev Alur, University of Pennsylvania
Radu Grosu, State University of New York at Stony Brook
pp. 281
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
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
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
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
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
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
Songtao Xia, (Oregon Health Science University, USA)
pp. 440
Usage of this product signifies your acceptance of the Terms of Use.