default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th ASE 1997: Lake Tahoe, CA, USA
- 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997. IEEE Computer Society 1997, ISBN 0-8186-7961-1
Session 1A: Synthesis I
- Alessandro Armando, Alan Smaill, Ian Green:
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. 2-9 - James L. Caldwell
:
Moving Proofs-As-Programs into Practice. 10-17 - Biplav Srivastava, Subbarao Kambhampati, Amol Dattatraya Mali:
A Structured Approach for Synthesizing Planners from Specifications. 18-27
Session 1B: Requirements and Process
- Bettina Sucrow:
Formal Specification of Human-Computer Interaction by Graph Grammars under Consideration of Information Resources. 28-35 - Vincenzo Ambriola, Vincenzo Gervasi:
Processing Natural Language Requirements. 36-45 - Scott Henninger:
Tools Supporting the Creation and Evolution of Software Development Knowledge. 46-
Session 2A: Verification I
- Joseph A. Goguen, Kai Lin, Akira Mori, Grigore Rosu, Akiyoshi Sato:
Distributed Cooperative Formal Methods Tools. 55-62 - Charles Pecheur:
Specification and Verification of the Co4 Distributed Knowledge System using LOTOS. 63-70 - Dieter Fensel, Arno Schönegge:
Using KIV to Specify and Verify Architectures of Knowledge-Based Systems. 71-
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 - Yossi Cohen, Yishai A. Feldman:
Automatic High-Quality Reengineering of Database Programs by Temporal Abstraction. 90-97 - R. R. Sward, Thomas C. Hartrum:
Extracting Objects from Legacy Imperative Code. 98-
Session 3A: Refinement
- Theodosis Dimitrakos, T. S. E. Maibaum:
Notes on Refinement, Interpolation and Uniformity. 108-116 - David Pautler, Steven Woods, Alex Quilici:
Exploiting Domain-Specific Knowledge to Refine Simulation Specifications. 117-
Session 3B: Program Understanding
- Christopher A. Welty:
Augmenting Abstract Syntax Trees for Program Understanding. 126-133 - Yamine Aït Ameur:
A Contribution to Program Comprehension by Program Analysis: Application to Numerical Programs. 134-142
Session 4A: Synthesis II
- Amnon H. Eden, Amiram Yehudai, Joseph Gil:
Precise Specification and Automatic Application of Design Patterns. 143-152 - Pierre Flener, Kung-Kiu Lau, Mario Ornaghi:
Correct-Schema-Guided Synthesis of Steadfast Programs. 153-
Session 4B: Maintenance
- Sandrine Blazy, Philippe Facon:
Application of Formal Methods to the Development of a Software Maintenance Tool. 162-171 - Barbara Staudt Lerner:
TESS: Automated Support for the Evolution of Persistent Types. 172-
Session 5A: Architecture
- Renaud Marlet, Scott Thibault, Charles Consel:
Mapping Software Architectures to Efficient Implementations via Partial Evaluation. 183-192 - Hassan Gomaa, Ghulam A. Farrukh:
Automated Configuration of Distributed Applications from Reusable Software Architectures. 193-200 - John Penix, Perry Alexander, Klaus Havelund:
Declarative Specification of Software Architectures. 201-
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 - Gerald C. Gannod, Betty H. C. Cheng:
A Formal Automated Approach for Reverse Engineering Programs with Pointers. 219-226 - John V. Harrison, Anthony Berglas:
Data Flow Analysis within the ITOC Information System Design Recovery Tool. 227-
Session 6A: Reuse
- Yonghao Chen, Betty H. C. Cheng:
Facilitating an Automated Approach to Architecture-based Software Reuse. 238-245 - Johann Schumann, Bernd Fischer:
NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical. 246-254 - Lamia Labed Jilani, Jules Desharnais, Marc Frappier, Rym Mili, Ali Mili:
Retrieving Software Components that Minimize Adaptation Effort. 255-
Session 6B: Verification II
- Matthew B. Dwyer:
Modular Flow Analysis for Concurrent Software. 264-273 - Premkumar T. Devanbu, Stuart G. Stubblebine:
Research Directions for Automated Software Verification: Using Trusted Hardware. 274-279 - Savi Maharaj, Juan Bicarregui:
On the Verification of VDM Specification and Refinement with PVS. 280-
Short Papers
- Andreas Birk:
Modeling the Application Domains of Software Engineering Technologies. 291-292 - T. Faison:
Interactive Component-Based Software Development with Espresso. 293-294 - Robert B. France, Matthew P. Evett, Emanuel S. Grant:
Towards Semantic-Based Object-Oriented CASE Tools. 295-296 - Ronan Gaugne:
A Static Analysis for Program Understanding and Debugging. 297-298 - Robert J. Hall:
Reactive System Validation using Automated Reasoning over a Fragment Library. 299-300 - Carl-Arndt Krapp, Bernhard Westfechtel:
Feedback Handling in Dynamic Task Nets. 301-302 - Wing Lam, Sara Jones:
Mechanising Requirements Engineering: Reuse and the Application of Domain Analysis Technology. 303-304 - Mihhail Matskin, Enn Tyugu:
Strategies of Structural Synthesis of Programs. 305-306 - Christoph C. Michael, Gary E. McGraw Jr., Michael Schatz, C. C. Walton:
Genetic Algorithms for Dynamic Test Data Generation. 307-308 - John M. Punshon, J. Paul Tremblay, Paul G. Sorenson, Piotr S. Findeisen:
From Formal Specifications to Natural Language: A Case Study. 309-310 - Dorothy E. Setliff, Jay K. Strosnider, Jose A. Madriz:
Towards a Design Assistant for Distributed Embedded Systems. 311-312 - Hee Beng Kuan Tan:
Enhancing the Component Reusability in Data-Intensive Business Programs through Interface Separation. 313-314 - Chun-Chia Wang, Wen C. Pai, Timothy K. Shih:
An Automated Object-Oriented Testing for C++ Inheritance Hierarchy. 315-316 - Keith E. Williamson, Michael Healy:
Formally Specifying Engineering Design Rationale. 317-318 - Takahira Yamaguchi:
Modeling Software Processes by using Process and Object Ontologies. 319-320
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-13 00:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
