default search action
10th KBSE 1995: Boston, MA, USA
- Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering Conference, Boston, Massachusetts, USA, November 12-15, 1995. IEEE Computer Society 1995, ISBN 0-8186-7204-8
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 Eric 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 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
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 2024-12-23 19:17 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: