12. ASE 1997: Lake Tahoe, CA, USA

1997 International Conference on Automated Software Engineering (ASE '97), November 2-5, 1997, Lake Tahoe, CA, USA. IEEE Computer Society, online publication: http://computer.org/proceedings/ase/7961/7961toc.htm

Session 1A: Synthesis I

Alessandro Armando, Alan Smaill, Ian Green:
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. 2-9
Electronic Edition (IEEE Computer Society DL) BibTeX
James L. Caldwell:
Moving Proofs-As-Programs into Practice. 10-17
Electronic Edition (IEEE Computer Society DL) BibTeX
Biplav Srivastava, Subbarao Kambhampati, Amol Dattatraya Mali:
A Structured Approach for Synthesizing Planners from Specifications. 18-27
Electronic Edition (IEEE Computer Society DL) BibTeX

Session 1B: Requirements and Process

Bettina Sucrow:
Formal Specification of Human-Computer Interaction by Graph Grammars under Consideration of Information Resources. 28-35
Electronic Edition (IEEE Computer Society DL) BibTeX
Vincenzo Ambriola, Vincenzo Gervasi:
Processing Natural Language Requirements. 36-45
Electronic Edition (IEEE Computer Society DL) BibTeX
Scott Henninger:
Tools Supporting the Creation and Evolution of Software Development Knowledge. 46-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session 2A: Verification I

Joseph A. Goguen, Kai Lin, A. Mori, Grigore Rosu, A. Sato:
Distributed Cooperative Formal Methods Tools. 55-62
Electronic Edition (IEEE Computer Society DL) BibTeX
Charles Pecheur:
Specification and Verification of the Co4 Distributed Knowledge System using LOTOS. 63-70
Electronic Edition (IEEE Computer Society DL) BibTeX
Dieter Fensel, Arno Schönegge:
Using KIV to Specify and Verify Architectures of Knowledge-Based Systems. 71-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session 2B: Reverse Engineering I

Jean-Francois Girard, Rainer Koschke, Georg Schied:
A Metric-based Approach to Detect Abstract Data Types and State Encapsulations. 82-89
Electronic Edition (IEEE Computer Society DL) BibTeX
Yossi Cohen, Yishai A. Feldman:
Automatic High-Quality Reengineering of Database Programs by Temporal Abstraction. 90-97
Electronic Edition (IEEE Computer Society DL) BibTeX
R. R. Sward, Thomas C. Hartrum:
Extracting Objects from Legacy Imperative Code. 98-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session 3A: Refinement

Theodosis Dimitrakos, T. S. E. Maibaum:
Notes on Refinement, Interpolation and Uniformity. 108-116
Electronic Edition (IEEE Computer Society DL) BibTeX
David Pautler, Steven Woods, Alex Quilici:
Exploiting Domain-Specific Knowledge to Refine Simulation Specifications. 117-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session 3B: Program Understanding

Christopher A. Welty:
Augmenting Abstract Syntax Trees for Program Understanding. 126-133
Electronic Edition (IEEE Computer Society DL) BibTeX
Yamine Aït Ameur:
A Contribution to Program Comprehension by Program Analysis: Application to Numerical Programs. 134-142
Electronic Edition (IEEE Computer Society DL) BibTeX

Session 4A: Synthesis II

Amnon H. Eden, Amiram Yehudai, Joseph Gil:
Precise Specification and Automatic Application of Design Patterns. 143-152
Electronic Edition (IEEE Computer Society DL) BibTeX
Pierre Flener, Kung-Kiu Lau, Mario Ornaghi:
Correct-Schema-Guided Synthesis of Steadfast Programs. 153-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session 4B: Maintenance

Sandrine Blazy, Philippe Facon:
Application of Formal Methods to the Development of a Software Maintenance Tool. 162-171
Electronic Edition (IEEE Computer Society DL) BibTeX
Barbara Staudt Lerner:
TESS: Automated Support for the Evolution of Persistent Types. 172-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session 5A: Architecture

Renaud Marlet, Scott Thibault, Charles Consel:
Mapping Software Architectures to Efficient Implementations via Partial Evaluation. 183-192
Electronic Edition (IEEE Computer Society DL) BibTeX
Hassan Gomaa, Ghulam A. Farrukh:
Automated Configuration of Distributed Applications from Reusable Software Architectures. 193-200
Electronic Edition (IEEE Computer Society DL) BibTeX
John Penix, Perry Alexander, Klaus Havelund:
Declarative Specification of Software Architectures. 201-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session 5B: Reverse Engineering I

Houari A. Sahraoui, Walcélio L. Melo, Hakim Lounis, F. Dumont:
Applying Concept Formation Methods to Object Identification in Procedural Code. 210-218
Electronic Edition (IEEE Computer Society DL) BibTeX
Gerald C. Gannod, Betty H. C. Cheng:
A Formal Automated Approach for Reverse Engineering Programs with Pointers. 219-226
Electronic Edition (IEEE Computer Society DL) BibTeX
John V. Harrison, Anthony Berglas:
Data Flow Analysis within the ITOC Information System Design Recovery Tool. 227-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session 6A: Reuse

Yonghao Chen, Betty H. C. Cheng:
Facilitating an Automated Approach to Architecture-based Software Reuse. 238-245
Electronic Edition (IEEE Computer Society DL) BibTeX
Johann Schumann, Bernd Fischer:
NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical. 246-254
Electronic Edition (IEEE Computer Society DL) BibTeX
Lamia Labed Jilani, Jules Desharnais, Marc Frappier, Rym Mili, Ali Mili:
Retrieving Software Components that Minimize Adaptation Effort. 255-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session 6B: Verification II

Matthew B. Dwyer:
Modular Flow Analysis for Concurrent Software. 264-273
Electronic Edition (IEEE Computer Society DL) BibTeX
Premkumar T. Devanbu, Stuart G. Stubblebine:
Research Directions for Automated Software Verification: Using Trusted Hardware. 274-279
Electronic Edition (IEEE Computer Society DL) BibTeX
Savi Maharaj, Juan Bicarregui:
On the Verification of VDM Specification and Refinement with PVS. 280-
Electronic Edition (IEEE Computer Society DL) BibTeX

Short Papers

Andreas Birk:
Modeling the Application Domains of Software Engineering Technologies. 291-292
Electronic Edition (IEEE Computer Society DL) BibTeX
T. Faison:
Interactive Component-Based Software Development with Espresso. 293-294
Electronic Edition (IEEE Computer Society DL) BibTeX
Robert B. France, Matthew P. Evett, Emanuel S. Grant:
Towards Semantic-Based Object-Oriented CASE Tools. 295-296
Electronic Edition (IEEE Computer Society DL) BibTeX
R. Gaugne:
A Static Analysis for Program Understanding and Debugging. 297-298
Electronic Edition (IEEE Computer Society DL) BibTeX
Robert J. Hall:
Reactive System Validation using Automated Reasoning over a Fragment Library. 299-300
Electronic Edition (IEEE Computer Society DL) BibTeX
Carl-Arndt Krapp, Bernhard Westfechtel:
Feedback Handling in Dynamic Task Nets. 301-302
Electronic Edition (IEEE Computer Society DL) BibTeX
W. Lam, S. Jones:
Mechanising Requirements Engineering: Reuse and the Application of Domain Analysis Technology. 303-304
Electronic Edition (IEEE Computer Society DL) BibTeX
Mihhail Matskin, Enn Tyugu:
Strategies of Structural Synthesis of Programs. 305-306
Electronic Edition (IEEE Computer Society DL) BibTeX
Christoph C. Michael, Gary McGraw, Michael Schatz, C. C. Walton:
Genetic Algorithms for Dynamic Test Data Generation. 307-308
Electronic Edition (IEEE Computer Society DL) BibTeX
J. M. Punshon, J. Paul Tremblay, Paul G. Sorenson, P. S. Findeisen:
From Formal Specifications to Natural Language: A Case Study. 309-310
Electronic Edition (IEEE Computer Society DL) BibTeX
Dorothy E. Setliff, Jay K. Strosnider, Jose A. Madriz:
Towards a Design Assistant for Distributed Embedded Systems. 311-312
Electronic Edition (IEEE Computer Society DL) BibTeX
Hee Beng Kuan Tan:
Enhancing the Component Reusability in Data-Intensive Business Programs through Interface Separation. 313-314
Electronic Edition (IEEE Computer Society DL) BibTeX
Chun-Chia Wang, Wen C. Pai, Timothy K. Shih:
An Automated Object-Oriented Testing for C++ Inheritance Hierarchy. 315-316
Electronic Edition (IEEE Computer Society DL) BibTeX
Keith E. Williamson, Michael Healy:
Formally Specifying Engineering Design Rationale. 317-318
Electronic Edition (IEEE Computer Society DL) BibTeX
T. Yamaguchi:
Modeling Software Processes by using Process and Object Ontologies. 319-320
Electronic Edition (IEEE Computer Society DL) BibTeX