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