CSDL - Proceedings A

Organizing Committee (PDF)

pp. xi

Steering Committee (PDF)

pp. xiii

Program Committee (PDF)

pp. xiv

The Revolution in Electronic Design Automation: Implications for Automated Software Engineering (PDF)

Keynote Talk

R. Newton

pp. xv

Invited Talk

Opportunities for Automation in Software Architecture (PDF)

P. Clements

pp. xvi

Large Scale Software Transformation: Lessons Learned from the Year 2000 Problem (PDF)

Panel 1

pp. xvii

Category Theory: Past Impact and Future Prospects for Automated Software Engineering (PDF)

Panel 2

pp. xviii

Panel 3

Education: The Key to Industrial Emergence (PDF)

pp. xix

Session 1A: Synthesis I

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

A. Armando, Genoa Univ., Italy

A. Smaill, Genoa Univ., Italy

I. Green, Genoa Univ., Italy

pp. 2

PDF

Moving proofs-as-programs into practice (Abstract)

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

pp. 10

PDF

A structured approach for synthesizing planners from specifications (Abstract)

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

PDF

Session 1B: Requirements and Process

Formal specification of human-computer interaction by graph grammars under consideration of information resources (Abstract)

B.E. Sucrow, Dept. of Math. & Comput. Sci., Essen Univ., Germany

pp. 28

PDF

Processing natural language requirements (Abstract)

V. Ambriola, Dipt. di Inf., Pisa Univ., Italy

V. Gervasi, Dipt. di Inf., Pisa Univ., Italy

pp. 36

PDF

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

PDF

Session 2A: Verification I

Distributed cooperative formal methods tools (Abstract)

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

PDF

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

PDF

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

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

PDF

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

PDF

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

Y. Cohen, Dept. of Comput. Sci., Tel Aviv Univ., Israel

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

pp. 90

PDF

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

PDF

Session 3A: Refinement

Notes on refinement, interpolation and uniformity (Abstract)

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

PDF

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

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

PDF

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

PDF

A contribution to program comprehension by program analysis: application to numerical programs (Abstract)

Y. Ait-Ameur, ENSMA-LISA, Futuroscope, France

pp. 134

PDF

Session 4A: Synthesis II

Precise specification and automatic application of design patterns (Abstract)

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

PDF

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

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

PDF

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

PDF

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

B.S. Lerner, Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA

pp. 172

PDF

Session 5A: Architecture

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

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

PDF

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

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

PDF

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

PDF

Session 5B: Reverse Engineering I

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

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

PDF

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

PDF

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

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

PDF

Session 6A: Reuse

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

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

PDF

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

J. Schumann, Inst. fur Inf., Tech. Univ. Munchen, Germany

B. Fischer, Inst. fur Inf., Tech. Univ. Munchen, Germany

pp. 246

PDF

Retrieving software components that minimize adaptation effort (Abstract)

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

PDF

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

PDF

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

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

PDF

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

PDF

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

A static analysis for program understanding and debugging (PDF)

R. Gaugne, IRISA/INRIA, Rennes, France

pp. 297

Reactive system validation using automated reasoning over a fragment library (PDF)

R.J. Hall, AT&T Labs. Res., Florham Park, NJ, USA

pp. 299

Feedback handling in dynamic task nets (PDF)

C.-A. Krapp, Lehrstuhl fur Inf. III, Tech. Hochschule Aachen, Germany

B. Westfechtel, Lehrstuhl fur Inf. III, Tech. Hochschule Aachen, Germany

pp. 301

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

W. Lam, Dept. of Comput. Sci., Hertfordshire Univ., Hatfield, UK

S. Jones, Dept. of Comput. Sci., Hertfordshire Univ., Hatfield, UK

pp. 303

Strategies of structural synthesis of programs (PDF)

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

Genetic algorithms for dynamic test data generation (PDF)

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

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

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

Towards a design assistant for distributed embedded systems (PDF)

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

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

W.C. Pai, Kuang Wu Inst. of Technol. & Commerce, Taipei, Taiwan

T.K. Shih, Kuang Wu Inst. of Technol. & Commerce, Taipei, Taiwan

pp. 315

Formally specifying engineering design rationale (PDF)

K. Williamson, Boeing Co., Seattle, WA, USA

M. Healy, 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