10. KBSE 1995: Boston, MA, USA

Session 1: Synthesis I

• Michael R. Lowry, Jeffrey Van Baalen: META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems. 2-10
• Sanjay Bhansali, Tim J. Hoar: Knowledge-Based Program Synthesis for a Geometric Constraint Satisfaction System. 11-18
• Yanhong A. Liu: CACHET: An Interactive, Incremental-Attribution-Based Program Transformation System for Deriving Incremental Programs. 19-26

Session 2: Formal Specifications

• Scott A. DeLoach, Paul D. Bailor, Thomas C. Hartrum: Representing Object Models as Theories. 28-35
• Ina Kraan, Peter Baumann: Logical Frameworks as a Basis for Verification Tools: A Case Study. 36-43
• Thomas Ellman, John Keane, Takahiro Murata, Mark Schwabacher: A Transformation System for Interactive Reformulation of Design Optimization Strategies. 44-51
• Sabine Dick, Thomas Santen: Searching for a Global Algorithm. 52-59

Session 3: Legal Issues in Knowledge-Based Software Engineering

• David D. Lowry, Michael R. Lowry: Legal Issues on Knowledge-Based Software Engineering. 61-69

Session 4: Knowledge-Based Environments

• William C. Sasso, Kevin Benner: An Empirical Evaluation of KBSA Technology. 71-78
• Greger Lindén, A. Inkeri Verkamo: An Interface Between Different Software Development Environments. 79-87
• Enn Tyugu: From Object-Oriented to Knowledge-Based Programming (NUT System Development Experience). 88-95

Session 5: Process

• Akiyoshi Sato, Minoru Tomobe, Toru Yamanouchi, Masanobu Watanabe, Masashi Hijikata: Domain-Oriented Software Process Re-engineering with Software Synthesis Shell SOFTEX/S. 97-104
• Prasanta K. Bose: A Model for Decision Maintenance in the WinWin Collaboration Framework. 105-113
• Daniela Rosca, Sol J. Greenspan, J. Christian Wild, Howard B. Reubenstein, Kurt Maly, Mark Feblowitz: Application of a Decision Support Mechanism to the Business Rules Lifecycle. 114-121

Session 6: Reuse and Re-engineering

• Yishai A. Feldman, Doron A. Friedman: Portability by Automatic Translation - A Large-Scale Case Study. 123-130
• John Penix, Phillip Baraona, Perry Alexander: Classification and Retrieval of Reusable Components Using Semantic Features. 131-138
• Chris Clifton, Wen-Syan Li: Classifying Software Components Using Design Characteristics. 139-146

Session 7: Program Understanding

• Christopher A. Welty: Towards an Epistemology for Software Representations. 148-154
• W. Lewis Johnson, Ali Erdem: Interactive Explanation of Software Systems. 155-164

Session 8: Synthesis II

• Julian Richardson: Automating Changes of Data Type in Functional Programs. 166-173
• Harald Reuß: Towards High-Level Deductive Program Synthesis Based on Type Theory. 174-183
• Adele E. Howe, Anneliese von Mayrhauser, Richard T. Mraz: Test Sequences as Plans: An Experiment in Using an AI Planner to Generate System Tests. 184-191
• Yves Ledru: Specification and Animation of a Bank Transfer. 192-199

Panel I - Empirical Evaluation of KBSE Technology: Why and How

Panel II - Formal Methods in Knowledge-Based Software Engineering