Sunday is reserved for tutorials. The following tutorials are confirmed:
META-AMPHION: Synthesis of Efficient Domain-Specific Program
Synthesis Systems
Michael R. Lowry and Jeffrey Van Baalen
Knowledge-Based Program Synthesis for a Geometric Constraint
Satisfaction System
Sanjay Bhansali and Tim Hoar
CACHET: An Incremetal Attribution-based Program Transformation
System for Deriving Incremental Programs
Yanhong A. Liu
Representing Object Models as Theories
Scott Deloach, Paul Bailor and Thomas Hartrum
Logical Frameworks as a Basis for Verification Tools: A Case Study
Ina Kraan and Peter Baumann
A Transformation System for Reformulation of Design Optimization Strategies
Thomas Ellman, John Keane and Mark Schwabacher
Searching for A Global Search Algorithm
Thomas Santen and Sabine Dick
This session will consist of a brief presentation of legal issues relating to software patents and copyright, and their relation to KBSE, followed by audience questions and discussion.
Panelists: David Lowry, Bourque Law Offices, and Jim Sullivan, Devine Millimet & Branch
What is empirical evaluation of software technology? Why go to the trouble of doing it? What other forms of evaluation could we use? How can we evaluate an empirical evaluation itself? This panel is intended to introduce Conference participants to the challenges and importance of empirical evaluation of software technology, to look critically at its advantages and disadvantages, and to address the question "Do its results justify the effort required?"
Panelists: Vic Basili (U of Maryland), Prasanta Bose (USC Information Sciences Institute), Lou Hoebel (USAF Rome Laboratory Planning Initiative), Gerald Williams (William Jewell College).
An Empirical Evaluation of KBSE Technology
William C. Sasso and Kevin M. Benner
An Interface between Different Software Development Environments
Greger Linden and A. Inkeri Verkamo
From Object-Oriented to Knowledge-based Programming (NUT System
Development Experience)
E. Tyugu
Domain-Oriented Software Process Re-engineering with Software
Synthesis Shell SOFTEX/S
Akiyoshi Sato, Minoru Tomobe, Toru Yamanouchi, Masanobu Watanabe and
Masashi Hijikata
A Model for Decision Maintenance in the WinWin Collaboration Framework
Prasanta Bose
Application of a Decision Support Mechanism to the Business Rules Lifecycle
Daniela Rosca, Sol Greenspan, Chris Wild, Howard Reubenstein, Kurt Maly
and Mark Feblowitz
Portability by Automatic Translation
Yishai A. Feldman and Doron A. Friedman
Classification and Retrieval of Reusable Components Using Semantic Features
John Penix, Phillip Baraona and Perry Alexander
Classifying Software Components Using Design Characteristics
Chris Clifton and Wen-Syan Li
Towards an Epistemology for Software Representations
Christopher A. Welty
Interactive Explanation of Software Systems
W. Lewis Johnson and Ali Erdem
Automating Changes of Data Type in Functional Programs
Julian Richardson
Towards High-Level Deductive Program Synthesis based on Type Theory
Harald Ruess
Test Sequences as Plans: An Experiment in Using an AI planner
to Generate System Tests
Adele E. Howe, Anneliese von Mayrhauser and Richard T. Mraz
Specification and Animation of a Bank Transfer
Yves Ledru