The Community for Technology Leaders
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (1997)
Lake Tahoe, CA
Nov. 2, 1997 to Nov. 5, 1997
ISSN: 1068-3062
ISBN: 0-8186-7961-1
TABLE OF CONTENTS

Preface (PDF)

pp. ix
Keynote Talk
Invited Talk
Panel 1
Panel 2
Panel 3
Session 1A: Synthesis I

Automatic synthesis of recursive programs: the proof-planning paradigm (Abstract)

I. Green , Genoa Univ., Italy
A. Smaill , Genoa Univ., Italy
A. Armando , Genoa Univ., Italy
pp. 2

Moving proofs-as-programs into practice (Abstract)

J.L. Caldwell , Comput. Sci. Div., NASA Ames Res. Center, Moffett Field, CA, USA
pp. 10

A structured approach for synthesizing planners from specifications (Abstract)

Subbarao Kambhampati , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
Biplav Srivastava , 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

Processing natural language requirements (Abstract)

V. Gervasi , Dipt. di Inf., Pisa Univ., Italy
V. Ambriola , Dipt. di Inf., Pisa Univ., Italy
pp. 36

Tools supporting the creation and evolution of software development knowledge (Abstract)

S. Henninger , Dept. of Comput. Sci. & Eng., Nebraska Univ., Lincoln, NE, USA
pp. 46
Session 2A: Verification I

Distributed cooperative formal methods tools (Abstract)

A. Sato , 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
G. Rosu , 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
J. Goguen , Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
pp. 55

Specification and verification of the Co/sub 4/ distributed knowledge system using LOTOS (Abstract)

C. Pecheur , INRIA Rhone-Alpes, Montbonnot Saint Martin, France
pp. 63

Using KIV to specify and verify architectures of knowledge-based systems (Abstract)

A. Schnogge , Inst. fur Angewandte Inf. und Formale Beschreibungsverfahren, Karlsruhe Univ., Germany
D. Fensel , Inst. fur Angewandte Inf. und Formale Beschreibungsverfahren, Karlsruhe Univ., Germany
pp. 71
Session 2B: Reverse Engineering I

A metric-based approach to detect abstract data types and state encapsulations (Abstract)

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

Automatic high-quality reengineering of database programs by temporal abstraction (Abstract)

Y.A. Feldman , Dept. of Comput. Sci., Tel Aviv Univ., Israel
Y. Cohen , Dept. of Comput. Sci., Tel Aviv Univ., Israel
pp. 90

Extracting objects from legacy imperative code (Abstract)

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

Notes on refinement, interpolation and uniformity (Abstract)

T.S.E. Maibaum , Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
T. Dimitrakos , Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
pp. 108

Exploiting domain-specific knowledge to refine simulation specifications (Abstract)

D. Pautler , Dept. of Electr. Eng., Hawaii Univ., Honolulu, HI, USA
A. Quilici , Dept. of Electr. Eng., Hawaii Univ., Honolulu, HI, USA
S. Woods , Dept. of Electr. Eng., Hawaii Univ., Honolulu, HI, USA
pp. 117
Session 3B: Program Understanding

Augmenting abstract syntax trees for program understanding (Abstract)

C.A. Welty , Dept. of Comput. Sci., Vassar Coll., Poughkeepsie, NY, USA
pp. 126
Session 4A: Synthesis II

Precise specification and automatic application of design patterns (Abstract)

J. Gil , Dept. of Comput. Sci., Tel Aviv Univ., Israel
A. Yehudai , Dept. of Comput. Sci., Tel Aviv Univ., Israel
A.H. Eden , Dept. of Comput. Sci., Tel Aviv Univ., Israel
pp. 143

Correct-schema-guided synthesis of steadfast programs (Abstract)

P. Flener , Dept. of Comput. Sci., Bilkent Univ., Ankara, Turkey
M. Ornaghi , Dept. of Comput. Sci., Bilkent Univ., Ankara, Turkey
Kung-Kiu Lau , Dept. of Comput. Sci., Bilkent Univ., Ankara, Turkey
pp. 153
Session 4B: Maintenance

Application of formal methods to the development of a software maintenance tool (Abstract)

S. Blazy , CEDRIC IIE, Evry, France
P. Facon , CEDRIC IIE, Evry, France
pp. 162

TESS: automated support for the evolution of persistent types (Abstract)

B.S. Lerner , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
pp. 172
Session 5A: Architecture

Mapping software architectures to efficient implementations via partial evaluation (Abstract)

C. Consel , IRISA/INRIA, Rennes I Univ., France
S. Thibault , IRISA/INRIA, Rennes I Univ., France
R. Marlet , IRISA/INRIA, Rennes I Univ., France
pp. 183

Automated configuration of distributed applications from reusable software architectures (Abstract)

G.A. Farrukh , Dept. of Inf. & Software Syst. Eng., George Mason Univ., Fairfax, VA, USA
H. Gomaa , Dept. of Inf. & Software Syst. Eng., George Mason Univ., Fairfax, VA, USA
pp. 193

Declarative specification of software architectures (Abstract)

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

Applying concept formation methods to object identification in procedural code (Abstract)

H. Lounis , CRIM, Montreal, Que., Canada
F. Dumont , CRIM, Montreal, Que., Canada
W. Melo , CRIM, Montreal, Que., Canada
H.A. Sahraoui , CRIM, Montreal, Que., Canada
pp. 210

A formal automated approach for reverse engineering programs with pointers (Abstract)

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

Data flow analysis within the ITOC information system design recovery tool (Abstract)

A. Berglas , Centre for Software Maintenance, Queensland Univ., Brisbane, Qld., Australia
J.V. Harrison , Centre for Software Maintenance, Queensland Univ., Brisbane, Qld., Australia
pp. 227
Session 6A: Reuse

Facilitating an automated approach to architecture-based software reuse (Abstract)

B.H.C. Cheng , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
Yonghao Chen , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
pp. 238

NORA/HAMMR: making deduction-based software component retrieval practical (Abstract)

B. Fischer , Inst. fur Inf., Tech. Univ. Munchen, Germany
J. Schumann , Inst. fur Inf., Tech. Univ. Munchen, Germany
pp. 246

Retrieving software components that minimize adaptation effort (Abstract)

L.L. Jilani , IRSIT, Belvedere, Tunisia
R. Mili , IRSIT, Belvedere, Tunisia
J. Desharnais , IRSIT, Belvedere, Tunisia
A. Mili , IRSIT, Belvedere, Tunisia
M. Frappier , IRSIT, Belvedere, Tunisia
pp. 255
Session 6B: Verification II

Modular flow analysis for concurrent software (Abstract)

M.B. Dwyer , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
pp. 264

Research directions for automated software verification: using trusted hardware (Abstract)

S. Stubblebine , Inf. Syst. & Services Res. Center, AT&T Labs.-Res., Florham, NJ, USA
P. Devanbu , Inf. Syst. & Services Res. Center, AT&T Labs.-Res., Florham, NJ, USA
pp. 274

On the verification of VDM specification and refinement with PVS (Abstract)

Savi Maharaj , Dept. of Comput. & Math., Stirling Univ., UK
J. Bicarregui , Dept. of Comput. & Math., Stirling Univ., UK
pp. 280
Short Papers

Modelling the application domains of software engineering technologies (PDF)

A. Birk , Fraunhofer Inst. for Exp. Software Eng., Kaiserslautern, Germany
pp. 291

Interactive component-based software development with Espresso (PDF)

T. Faison , Faison Comput. Inc., Irvine, CA, USA
pp. 293

Towards semantic-based object-oriented CASE tools (PDF)

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

Feedback handling in dynamic task nets (PDF)

B. Westfechtel , Lehrstuhl fur Inf. III, Tech. Hochschule Aachen, Germany
C.-A. Krapp , Lehrstuhl fur Inf. III, Tech. Hochschule Aachen, Germany
pp. 301

Mechanising requirements engineering: reuse and the application of domain analysis technology (PDF)

S. Jones , Dept. of Comput. Sci., Hertfordshire Univ., Hatfield, UK
W. Lam , Dept. of Comput. Sci., Hertfordshire Univ., Hatfield, UK
pp. 303

Strategies of structural synthesis of programs (PDF)

E. Tyugu , Dept. of Comput. Sci., Norwegian Univ. of Sci. & Technol., Trondheim, Norway
M. Matskin , Dept. of Comput. Sci., Norwegian Univ. of Sci. & Technol., Trondheim, Norway
pp. 305

Genetic algorithms for dynamic test data generation (PDF)

C.C. Michael , RST Res., Sterling, VA, USA
C.C. Walton , RST Res., Sterling, VA, USA
G.E. McGraw , RST Res., Sterling, VA, USA
M.A. Schatz , RST Res., Sterling, VA, USA
pp. 307

From formal specifications to natural language: a case study (PDF)

P.S. Findeisen , 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
J.M. Punshon , Dept. of Comput. Sci., Saskatchewan Univ., Saskatoon, Sask., Canada
pp. 309

Towards a design assistant for distributed embedded systems (PDF)

J.K. Strosnider , Dept. of Electr. Eng., Pittsburgh Univ., PA, USA
D.E. Setliff , Dept. of Electr. Eng., Pittsburgh Univ., PA, USA
J.A. Madriz , Dept. of Electr. Eng., Pittsburgh Univ., PA, USA
pp. 311

Enhancing the component reusability in data-intensive business programs through interface separation (PDF)

Hee Beng Kuan Tan , Sch. of Electr. & Electron. Eng., Nanyang Technol. Univ., Singapore
pp. 313

An automated object-oriented testing for C++ inheritance hierarchy (PDF)

Chun-Chia Wang , Kuang Wu Inst. of Technol. & Commerce, Taipei, Taiwan
T.K. Shih , Kuang Wu Inst. of Technol. & Commerce, Taipei, Taiwan
W.C. Pai , Kuang Wu Inst. of Technol. & Commerce, Taipei, Taiwan
pp. 315

Formally specifying engineering design rationale (PDF)

M. Healy , Boeing Co., Seattle, WA, USA
K. Williamson , Boeing Co., Seattle, WA, USA
pp. 317

Modeling software processes by using process and object ontologies (PDF)

T. Yamaguchi , Sch. of Inf., Shizuoka Univ., Hamamatsu, Japan
pp. 319

Index of Authors (PDF)

pp. 321
97 ms
(Ver 3.1 (10032016))