The Community for Technology Leaders
RSS Icon
Subscribe
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (1997)
Lake Tahoe, CA
Nov. 2, 1997 to Nov. 5, 1997
ISBN: 0-8186-7961-1
TABLE OF CONTENTS
Preface (PDF)
pp. ix
pp. xiii
pp. xiv
Keynote Talk
Invited Talk
Panel 1
Panel 2
Panel 3
Session 1A: Synthesis I
A. Armando , Genoa Univ., Italy
A. Smaill , Genoa Univ., Italy
I. Green , Genoa Univ., Italy
pp. 2
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
S. Henninger , Dept. of Comput. Sci. & Eng., Nebraska Univ., Lincoln, NE, USA
pp. 46
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
C. Pecheur , INRIA Rhone-Alpes, Montbonnot Saint Martin, France
pp. 63
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
S. Blazy , CEDRIC IIE, Evry, France
P. Facon , CEDRIC IIE, Evry, France
pp. 162
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
T. Faison , Faison Comput. Inc., Irvine, CA, USA
pp. 293
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
Hee Beng Kuan Tan , Sch. of Electr. & Electron. Eng., Nanyang Technol. Univ., Singapore
pp. 313
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
pp. 321
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool