| 1997 | 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997 |
| 1997 | A Contribution to Program Comprehension by Program Analysis: Application to Numerical Programs. Yamine Aït Ameur |
| 1997 | A Formal Automated Approach for Reverse Engineering Programs with Pointers. Gerald C. Gannod, Betty H. C. Cheng |
| 1997 | A Metric-based Approach to Detect Abstract Data Types and State Encapsulations. Jean-Francois Girard, Rainer Koschke, Georg Schied |
| 1997 | A Static Analysis for Program Understanding and Debugging. Ronan Gaugne |
| 1997 | A Structured Approach for Synthesizing Planners from Specifications. Biplav Srivastava, Subbarao Kambhampati, Amol Dattatraya Mali |
| 1997 | An Automated Object-Oriented Testing for C++ Inheritance Hierarchy. Chun-Chia Wang, Wen C. Pai, Timothy K. Shih |
| 1997 | Application of Formal Methods to the Development of a Software Maintenance Tool. Sandrine Blazy, Philippe Facon |
| 1997 | Applying Concept Formation Methods to Object Identification in Procedural Code. Houari A. Sahraoui, Walcélio L. Melo, Hakim Lounis, F. Dumont |
| 1997 | Augmenting Abstract Syntax Trees for Program Understanding. Christopher A. Welty |
| 1997 | Automated Configuration of Distributed Applications from Reusable Software Architectures. Hassan Gomaa, Ghulam A. Farrukh |
| 1997 | Automatic High-Quality Reengineering of Database Programs by Temporal Abstraction. Yossi Cohen, Yishai A. Feldman |
| 1997 | Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. Alessandro Armando, Alan Smaill, Ian Green |
| 1997 | Correct-Schema-Guided Synthesis of Steadfast Programs. Pierre Flener, Kung-Kiu Lau, Mario Ornaghi |
| 1997 | Data Flow Analysis within the ITOC Information System Design Recovery Tool. John V. Harrison, Anthony Berglas |
| 1997 | Declarative Specification of Software Architectures. John Penix, Perry Alexander, Klaus Havelund |
| 1997 | Distributed Cooperative Formal Methods Tools. Joseph A. Goguen, Kai Lin, Akira Mori, Grigore Rosu, Akiyoshi Sato |
| 1997 | Enhancing the Component Reusability in Data-Intensive Business Programs through Interface Separation. Hee Beng Kuan Tan |
| 1997 | Exploiting Domain-Specific Knowledge to Refine Simulation Specifications. David Pautler, Steven Woods, Alex Quilici |
| 1997 | Extracting Objects from Legacy Imperative Code. R. R. Sward, Thomas C. Hartrum |
| 1997 | Facilitating an Automated Approach to Architecture-based Software Reuse. Yonghao Chen, Betty H. C. Cheng |
| 1997 | Feedback Handling in Dynamic Task Nets. Carl-Arndt Krapp, Bernhard Westfechtel |
| 1997 | Formal Specification of Human-Computer Interaction by Graph Grammars under Consideration of Information Resources. Bettina Sucrow |
| 1997 | Formally Specifying Engineering Design Rationale. Keith E. Williamson, Michael Healy |
| 1997 | From Formal Specifications to Natural Language: A Case Study. John M. Punshon, J. Paul Tremblay, Paul G. Sorenson, Piotr S. Findeisen |
| 1997 | Genetic Algorithms for Dynamic Test Data Generation. Christoph C. Michael, Gary E. McGraw Jr., Michael Schatz, C. C. Walton |
| 1997 | Interactive Component-Based Software Development with Espresso. T. Faison |
| 1997 | Mapping Software Architectures to Efficient Implementations via Partial Evaluation. Renaud Marlet, Scott Thibault, Charles Consel |
| 1997 | Mechanising Requirements Engineering: Reuse and the Application of Domain Analysis Technology. Wing Lam, Sara Jones |
| 1997 | Modeling Software Processes by using Process and Object Ontologies. Takahira Yamaguchi |
| 1997 | Modeling the Application Domains of Software Engineering Technologies. Andreas Birk |
| 1997 | Modular Flow Analysis for Concurrent Software. Matthew B. Dwyer |
| 1997 | Moving Proofs-As-Programs into Practice. James L. Caldwell |
| 1997 | NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical. Johann Schumann, Bernd Fischer |
| 1997 | Notes on Refinement, Interpolation and Uniformity. Theodosis Dimitrakos, T. S. E. Maibaum |
| 1997 | On the Verification of VDM Specification and Refinement with PVS. Savi Maharaj, Juan Bicarregui |
| 1997 | Precise Specification and Automatic Application of Design Patterns. Amnon H. Eden, Amiram Yehudai, Joseph Gil |
| 1997 | Processing Natural Language Requirements. Vincenzo Ambriola, Vincenzo Gervasi |
| 1997 | Reactive System Validation using Automated Reasoning over a Fragment Library. Robert J. Hall |
| 1997 | Research Directions for Automated Software Verification: Using Trusted Hardware. Premkumar T. Devanbu, Stuart G. Stubblebine |
| 1997 | Retrieving Software Components that Minimize Adaptation Effort. Lamia Labed Jilani, Jules Desharnais, Marc Frappier, Rym Mili, Ali Mili |
| 1997 | Specification and Verification of the Co4 Distributed Knowledge System using LOTOS. Charles Pecheur |
| 1997 | Strategies of Structural Synthesis of Programs. Mihhail Matskin, Enn Tyugu |
| 1997 | TESS: Automated Support for the Evolution of Persistent Types. Barbara Staudt Lerner |
| 1997 | Tools Supporting the Creation and Evolution of Software Development Knowledge. Scott Henninger |
| 1997 | Towards Semantic-Based Object-Oriented CASE Tools. Robert B. France, Matthew P. Evett, Emanuel S. Grant |
| 1997 | Towards a Design Assistant for Distributed Embedded Systems. Dorothy E. Setliff, Jay K. Strosnider, Jose A. Madriz |
| 1997 | Using KIV to Specify and Verify Architectures of Knowledge-Based Systems. Dieter Fensel, Arno Schönegge |