ASE 1995

23 papers

1. A Model for Decision Maintenance in the WinWin Collaboration Framework · Prasanta K. Bose
2. A Transformation System for Interactive Reformulation of Design Optimization Strategies · Thomas Ellman, John Eric Keane, Takahiro Murata, Mark Schwabacher
3. An Empirical Evaluation of KBSA Technology · William C. Sasso, Kevin Benner
4. An Interface Between Different Software Development Environments · Greger Lindén, A. Inkeri Verkamo
5. Application of a Decision Support Mechanism to the Business Rules Lifecycle · Daniela Rosca, Sol J. Greenspan, J. Christian Wild, Howard B. Reubenstein, Kurt Maly, Mark Feblowitz
6. Automating Changes of Data Type in Functional Programs · Julian Richardson
7. CACHET: An Interactive, Incremental-Attribution-Based Program Transformation System for Deriving Incremental Programs · Yanhong A. Liu
8. Classification and Retrieval of Reusable Components Using Semantic Features · John Penix, Phillip Baraona, Perry Alexander
9. Classifying Software Components Using Design Characteristics · Chris Clifton, Wen-Syan Li
10. Domain-Oriented Software Process Re-engineering with Software Synthesis Shell SOFTEX/S · Akiyoshi Sato, Minoru Tomobe, Toru Yamanouchi, Masanobu Watanabe, Masashi Hijikata
11. From Object-Oriented to Knowledge-Based Programming (NUT System Development Experience) · Enn Tyugu
12. Interactive Explanation of Software Systems · W. Lewis Johnson, Ali Erdem
13. Knowledge-Based Program Synthesis for a Geometric Constraint Satisfaction System · Sanjay Bhansali, Tim J. Hoar
14. Legal Issues on Knowledge-Based Software Engineering · David D. Lowry, Michael R. Lowry
15. Logical Frameworks as a Basis for Verification Tools: A Case Study · Ina Kraan, Peter Baumann
16. META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems · Michael R. Lowry, Jeffrey Van Baalen
17. Portability by Automatic Translation - A Large-Scale Case Study · Yishai A. Feldman, Doron Friedman
18. Representing Object Models as Theories · Scott A. DeLoach, Paul D. Bailor, Thomas C. Hartrum
19. Searching for a Global Algorithm · Sabine Dick, Thomas Santen
20. Specification and Animation of a Bank Transfer · Yves Ledru
21. Test Sequences as Plans: An Experiment in Using an AI Planner to Generate System Tests · Adele E. Howe, Anneliese von Mayrhauser, Richard T. Mraz
22. Towards High-Level Deductive Program Synthesis Based on Type Theory · Harald Reuß
23. Towards an Epistemology for Software Representations · Christopher A. Welty