• A
  • ASE
  • 1997
  • 12th IEEE International Conference on Automated Software Engineering (ASE'97) (formerly: KBSE)
Advanced Search 
12th IEEE International Conference on Automated Software Engineering (ASE'97) (formerly: KBSE)
Lake Tahoe, CA
November 02-November 05
ISBN: 0-8186-7961-1
Table of Contents
Keynote Talk
Invited Talk
Panel 1
Panel 2
Panel 3
Session 1A: Synthesis I
J.L. Caldwell, Comput. Sci. Div., NASA Ames Res. Center, Moffett Field, CA, USA
pp. 10
Biplav Srivastava, Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
Subbarao Kambhampati, Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
A.D. Mali, Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
pp. 18
Session 1B: Requirements and Process
V. Ambriola, Dipt. di Inf., Pisa Univ., Italy
V. Gervasi, Dipt. di Inf., Pisa Univ., Italy
pp. 36
Session 2A: Verification I
J. Goguen, Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
Kai Lin, Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
A. Mori, Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
G. Rosu, Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
A. Sato, Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
pp. 55
D. Fensel, Inst. fur Angewandte Inf. und Formale Beschreibungsverfahren, Karlsruhe Univ., Germany
A. Schnogge, Inst. fur Angewandte Inf. und Formale Beschreibungsverfahren, Karlsruhe Univ., Germany
pp. 71
Session 2B: Reverse Engineering I
J.-F. Girard, Fraunhofer Inst. for Software Eng., Kaiserslautern, Germany
R. Koschke, Fraunhofer Inst. for Software Eng., Kaiserslautern, Germany
G. Schied, Fraunhofer Inst. for Software Eng., Kaiserslautern, Germany
pp. 82
Y. Cohen, Dept. of Comput. Sci., Tel Aviv Univ., Israel
Y.A. Feldman, Dept. of Comput. Sci., Tel Aviv Univ., Israel
pp. 90
R.E. Sward, Air Force Inst. of Technol., Wright-Patterson AFB, OH, USA
T.C. Hartrum, Air Force Inst. of Technol., Wright-Patterson AFB, OH, USA
pp. 98
Session 3A: Refinement
T. Dimitrakos, Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
T.S.E. Maibaum, Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
pp. 108
D. Pautler, Dept. of Electr. Eng., Hawaii Univ., Honolulu, HI, USA
S. Woods, Dept. of Electr. Eng., Hawaii Univ., Honolulu, HI, USA
A. Quilici, Dept. of Electr. Eng., Hawaii Univ., Honolulu, HI, USA
pp. 117
Session 3B: Program Understanding
C.A. Welty, Dept. of Comput. Sci., Vassar Coll., Poughkeepsie, NY, USA
pp. 126
Session 4A: Synthesis II
A.H. Eden, Dept. of Comput. Sci., Tel Aviv Univ., Israel
A. Yehudai, Dept. of Comput. Sci., Tel Aviv Univ., Israel
J. Gil, Dept. of Comput. Sci., Tel Aviv Univ., Israel
pp. 143
P. Flener, Dept. of Comput. Sci., Bilkent Univ., Ankara, Turkey
Kung-Kiu Lau, Dept. of Comput. Sci., Bilkent Univ., Ankara, Turkey
M. Ornaghi, Dept. of Comput. Sci., Bilkent Univ., Ankara, Turkey
pp. 153
Session 4B: Maintenance
B.S. Lerner, Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
pp. 172
Session 5A: Architecture
R. Marlet, IRISA/INRIA, Rennes I Univ., France
S. Thibault, IRISA/INRIA, Rennes I Univ., France
C. Consel, IRISA/INRIA, Rennes I Univ., France
pp. 183
H. Gomaa, Dept. of Inf. & Software Syst. Eng., George Mason Univ., Fairfax, VA, USA
G.A. Farrukh, Dept. of Inf. & Software Syst. Eng., George Mason Univ., Fairfax, VA, USA
pp. 193
J. Penix, Dept. of Electr. & Comput. Eng., Cincinnati Univ., OH, USA
P. Alexander, Dept. of Electr. & Comput. Eng., Cincinnati Univ., OH, USA
K. Havelund, Dept. of Electr. & Comput. Eng., Cincinnati Univ., OH, USA
pp. 201
Session 5B: Reverse Engineering I
H.A. Sahraoui, CRIM, Montreal, Que., Canada
W. Melo, CRIM, Montreal, Que., Canada
H. Lounis, CRIM, Montreal, Que., Canada
F. Dumont, CRIM, Montreal, Que., Canada
pp. 210
G.C. Gannod, Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA.
B.H.C. Cheng, Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA.
pp. 219
J.V. Harrison, Centre for Software Maintenance, Queensland Univ., Brisbane, Qld., Australia
A. Berglas, Centre for Software Maintenance, Queensland Univ., Brisbane, Qld., Australia
pp. 227
Session 6A: Reuse
Yonghao Chen, Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
B.H.C. Cheng, Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
pp. 238
J. Schumann, Inst. fur Inf., Tech. Univ. Munchen, Germany
B. Fischer, Inst. fur Inf., Tech. Univ. Munchen, Germany
pp. 246
L.L. Jilani, IRSIT, Belvedere, Tunisia
J. Desharnais, IRSIT, Belvedere, Tunisia
M. Frappier, IRSIT, Belvedere, Tunisia
R. Mili, IRSIT, Belvedere, Tunisia
A. Mili, IRSIT, Belvedere, Tunisia
pp. 255
Session 6B: Verification II
M.B. Dwyer, Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
pp. 264
P. Devanbu, Inf. Syst. & Services Res. Center, AT&T Labs.-Res., Florham, NJ, USA
S. Stubblebine, Inf. Syst. & Services Res. Center, AT&T Labs.-Res., Florham, NJ, USA
pp. 274
Savi Maharaj, Dept. of Comput. & Math., Stirling Univ., UK
J. Bicarregui, Dept. of Comput. & Math., Stirling Univ., UK
pp. 280
Short Papers
A. Birk, Fraunhofer Inst. for Exp. Software Eng., Kaiserslautern, Germany
pp. 291
R.B. France, Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
M.P. Evett, Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
E. Grant, Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
pp. 295
C.-A. Krapp, Lehrstuhl fur Inf. III, Tech. Hochschule Aachen, Germany
B. Westfechtel, Lehrstuhl fur Inf. III, Tech. Hochschule Aachen, Germany
pp. 301
W. Lam, Dept. of Comput. Sci., Hertfordshire Univ., Hatfield, UK
S. Jones, Dept. of Comput. Sci., Hertfordshire Univ., Hatfield, UK
pp. 303
M. Matskin, Dept. of Comput. Sci., Norwegian Univ. of Sci. & Technol., Trondheim, Norway
E. Tyugu, Dept. of Comput. Sci., Norwegian Univ. of Sci. & Technol., Trondheim, Norway
pp. 305
C.C. Michael, RST Res., Sterling, VA, USA
G.E. McGraw, RST Res., Sterling, VA, USA
M.A. Schatz, RST Res., Sterling, VA, USA
C.C. Walton, RST Res., Sterling, VA, USA
pp. 307
J.M. Punshon, Dept. of Comput. Sci., Saskatchewan Univ., Saskatoon, Sask., Canada
J.P. Tremblay, Dept. of Comput. Sci., Saskatchewan Univ., Saskatoon, Sask., Canada
P.G. Sorenson, Dept. of Comput. Sci., Saskatchewan Univ., Saskatoon, Sask., Canada
P.S. Findeisen, Dept. of Comput. Sci., Saskatchewan Univ., Saskatoon, Sask., Canada
pp. 309
D.E. Setliff, Dept. of Electr. Eng., Pittsburgh Univ., PA, USA
J.K. Strosnider, Dept. of Electr. Eng., Pittsburgh Univ., PA, USA
J.A. Madriz, Dept. of Electr. Eng., Pittsburgh Univ., PA, USA
pp. 311
Chun-Chia Wang, Kuang Wu Inst. of Technol. & Commerce, Taipei, Taiwan
W.C. Pai, Kuang Wu Inst. of Technol. & Commerce, Taipei, Taiwan
T.K. Shih, Kuang Wu Inst. of Technol. & Commerce, Taipei, Taiwan
pp. 315
K. Williamson, Boeing Co., Seattle, WA, USA
M. Healy, Boeing Co., Seattle, WA, USA
pp. 317
T. Yamaguchi, Sch. of Inf., Shizuoka Univ., Hamamatsu, Japan
pp. 319
Usage of this product signifies your acceptance of the Terms of Use.