12. ASE 1997: Lake Tahoe, CA, USA

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, A. Mori, Grigore Rosu, A. 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
  
• R. 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 McGraw, Michael Schatz, C. C. Walton:
  Genetic Algorithms for Dynamic Test Data Generation. 307-308
  
• J. M. Punshon, J. Paul Tremblay, Paul G. Sorenson, P. 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
  
• T. Yamaguchi:
  Modeling Software Processes by using Process and Object Ontologies. 319-320
  

Last update Wed May 22 16:05:31 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page