Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Akiyoshi Sato, Masato Miki, Toru Yamanouchi, Masanobu Watanabe |
Software synthesis for trade-off design. |
KBSE |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Terence J. Harmer, Patrick J. McParland, James M. Boyle |
Using knowledge-based transformations to reverse-engineer COBOL programs. |
KBSE |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Adele E. Howe, Larry D. Pyeatt |
Constructing transition models of AI planner behavior. |
KBSE |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Alex Quilici, Qiang Yang 0001, Steven Woods |
Applying plan recognition algorithms to program understanding. |
KBSE |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Benner |
Addressing complexity, coordination, and automation in software development with the KBSA/ADM. |
KBSE |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Robert J. Hall 0001 |
Trusting your assistant. |
KBSE |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Dellen, Kirstin Kohler, Frank Maurer |
Integrating software process models and design rationales. |
KBSE |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Carla P. Gomes, Douglas R. Smith, Stephen J. Westfold |
Synthesis of schedulers for planned shutdowns of power plants. |
KBSE |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Yves Ledru |
Complementing semi-formal specifications with Z. |
KBSE |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Diana Sidarkeviciute, Enn Tyugu, Ago Kuusik |
A knowledge-based toolkit for software visualisation. |
KBSE |
1996 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings of the 11th Knowledge-Based Software Engineering Conference, KBSE 1996, Syracuse, NY, USA, September 25-28, 1996 |
KBSE |
1996 |
DBLP BibTeX RDF |
|
1 | Fawzia Derrough Darche |
Set differentiation: a method for the automatic generation of filtering algorithms. |
KBSE |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Robert P. Graham Jr., Paul D. Bailor |
Synthesis of local search algorithms by algebraic means. |
KBSE |
1996 |
DBLP DOI BibTeX RDF |
|
1 | John Eric Keane, Thomas Ellman |
Knowledge-based re-engineering of legacy programs for robustness in automated design. |
KBSE |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jason E. Robbins, David M. Hilbert, David F. Redmiles |
Extending design environments to software architecture design. |
KBSE |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ellman, Takahiro Murata |
Deductive synthesis of numerical simulation programs from networks of algebraic and ordinary differential equations. |
KBSE |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Yishai A. Feldman, Doron Friedman |
Portability by Automatic Translation - A Large-Scale Case Study. |
KBSE |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Sanjay Bhansali, Tim J. Hoar |
Knowledge-Based Program Synthesis for a Geometric Constraint Satisfaction System. |
KBSE |
1995 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering Conference, Boston, Massachusetts, USA, November 12-15, 1995 |
KBSE |
1995 |
DBLP BibTeX RDF |
|
1 | Thomas Ellman, John Eric Keane, Takahiro Murata, Mark Schwabacher |
A Transformation System for Interactive Reformulation of Design Optimization Strategies. |
KBSE |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Michael R. Lowry, Jeffrey Van Baalen |
META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems. |
KBSE |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Yves Ledru |
Specification and Animation of a Bank Transfer. |
KBSE |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Chris Clifton, Wen-Syan Li |
Classifying Software Components Using Design Characteristics. |
KBSE |
1995 |
DBLP DOI BibTeX RDF |
|
1 | W. Lewis Johnson, Ali Erdem |
Interactive Explanation of Software Systems. |
KBSE |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Scott A. DeLoach, Paul D. Bailor, Thomas C. Hartrum |
Representing Object Models as Theories. |
KBSE |
1995 |
DBLP DOI BibTeX RDF |
|
1 | John Penix, Phillip Baraona, Perry Alexander |
Classification and Retrieval of Reusable Components Using Semantic Features. |
KBSE |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Julian Richardson |
Automating Changes of Data Type in Functional Programs. |
KBSE |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Enn Tyugu |
From Object-Oriented to Knowledge-Based Programming (NUT System Development Experience). |
KBSE |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Harald Reuß |
Towards High-Level Deductive Program Synthesis Based on Type Theory. |
KBSE |
1995 |
DBLP DOI BibTeX RDF |
|
1 | William C. Sasso, Kevin Benner |
An Empirical Evaluation of KBSA Technology. |
KBSE |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ina Kraan, Peter Baumann |
Logical Frameworks as a Basis for Verification Tools: A Case Study. |
KBSE |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Prasanta K. Bose |
A Model for Decision Maintenance in the WinWin Collaboration Framework. |
KBSE |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Greger Lindén, A. Inkeri Verkamo |
An Interface Between Different Software Development Environments. |
KBSE |
1995 |
DBLP DOI BibTeX RDF |
|
1 | David D. Lowry, Michael R. Lowry |
Legal Issues on Knowledge-Based Software Engineering. |
KBSE |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Christopher A. Welty |
Towards an Epistemology for Software Representations. |
KBSE |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Yanhong A. Liu |
CACHET: An Interactive, Incremental-Attribution-Based Program Transformation System for Deriving Incremental Programs. |
KBSE |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Akiyoshi Sato, Minoru Tomobe, Toru Yamanouchi, Masanobu Watanabe, Masashi Hijikata |
Domain-Oriented Software Process Re-engineering with Software Synthesis Shell SOFTEX/S. |
KBSE |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Adele E. Howe, Anneliese von Mayrhauser, Richard T. Mraz |
Test Sequences as Plans: An Experiment in Using an AI Planner to Generate System Tests. |
KBSE |
1995 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
KBSE |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Sabine Dick, Thomas Santen |
Searching for a Global Algorithm. |
KBSE |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Barry W. Boehm, Prasanta K. Bose |
Critical Success Factors for Knowledge-Based Software Engineering Applications. |
KBSE |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Girgensohn, David F. Redmiles, Frank M. Shipman III |
Agent-Based Support for Communication Between Developers and Users in Software Design. |
KBSE |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Robert J. Hall 0001 |
Systematic Incremental Validation of Rule-Based Reactive Systems. |
KBSE |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Benner |
Knowledge-Based Software Assistant - Advanced Development Model Demonstrations. |
KBSE |
1994 |
DBLP BibTeX RDF |
|
1 | Alex Quilici, David N. Chin |
A Cooperative Program Understanding Environment. |
KBSE |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Steven Minton, Shawn R. Wolfe |
Using Machine Learning to Synthesize Search Programs. |
KBSE |
1994 |
DBLP DOI BibTeX RDF |
|
1 | J. Christian Wild, Daniela Rosca |
Evolution and Reuse of Formal Specification Using Decision Structures. |
KBSE |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Gregory A. Toth |
Software Technology Risk Advisor. |
KBSE |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Raymond J. Madachy |
Knowledge-Based Risk Assessment and Cost Estimation. |
KBSE |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Gregory Alan Bolcer |
User Interface Design Assistance For Large-Scale Software Development. |
KBSE |
1994 |
DBLP DOI BibTeX RDF |
|
1 | John Chilenski, Philip Newcomb |
Formal Specification Tools for Test Coverage Analysis. |
KBSE |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Gordon Kotik, Lawrence Markosian |
Application of REFINE Language ToolsTM to Software Quality Assurance. |
KBSE |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Loren G. Terveen, Peter G. Selfridge |
Intelligent Assistance for Software Construction: A Case Study. |
KBSE |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Martin S. Feather, Stephen Fickas |
A Framework for Distributed System Designs. |
KBSE |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jun-Jang Jeng, Betty H. C. Cheng |
A Formal Approach to Reusing More General Components. |
KBSE |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Z. Tong, Gail E. Kaiser, Steven S. Popovich |
A Flexible Rule-Chaining Engine for Process-Based Software Engineering. |
KBSE |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood |
AMPHION: Automatic Programming for Subroutine Libraries. |
KBSE |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Francoise Balmas |
An Augmented Pattern Matcher as a Tool to Synthesize Conceptual Descriptions of Programs. |
KBSE |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood |
A Formal Approach to Domain-Oriented Software Design Environments. |
KBSE |
1994 |
DBLP DOI BibTeX RDF |
|
1 | René Dekker, Frans Ververs |
Abstract Data Structure Recognition. |
KBSE |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Gordon S. Novak |
Composing Reusable Software Components Through Views. |
KBSE |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Vincenzo Loia, Michel Quaggetto |
Integrating Object-Oriented Paradigms and Logic Programming: The OPLA Language. |
KBSE |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Peter G. Selfridge, George T. Heineman |
Graphical Support for Code-Level Software Understanding. |
KBSE |
1994 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering Conference, Monterey, California, USA, September 20-23, 1994 |
KBSE |
1994 |
DBLP BibTeX RDF |
|
1 | David Lauzon, Thomas Rose 0001 |
Task Oriented and Similarity-Based Retrieval. |
KBSE |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Hing-Yan Lee, Mehdi T. Harandi |
An analogy-based retrieval mechanism for software design reuse. |
KBSE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Paul D. Bailor, Frank Young, Kim Kanzaki |
An experiment in applying knowledge-based software engineering technology. |
KBSE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Peiwei Mi, Walt Scacchi |
Articulation: an integrated approach to the diagnosis, replanning, and rescheduling of software process failures. |
KBSE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Benner |
The ARIES Simulation Component (ASC). |
KBSE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Tobiah E. Smith, Dorothy E. Setliff |
Towards supporting design phase synthesis. |
KBSE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | W. Lewis Johnson, K. Narayanaswamy, Robert Balzer |
Interactive elaboration of generic designs. |
KBSE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings of the Eighth Knowledge-Based Software Engineering Conference, KBSE 1993, Chicago, IL, USA, September 20-23, 1993 |
KBSE |
1993 |
DBLP BibTeX RDF |
|
1 | Richard Jüllig, Yellamraju V. Srinivas |
Diagrams for software synthesis. |
KBSE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | T. Richard MacMillan, Elaine P. Lusher, Martha L. Farinacci, Sharon J. Laskowski, Leonard J. Seligman, Adrienne J. Kleiboemer |
A common architecture to encourage reuse of natural language/text processing tools. |
KBSE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Ernst Lutz |
The knowledge base maintenance assistant. |
KBSE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Sudin Bhat, Kanth Miriyala |
Operations for evolving specifications. |
KBSE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | David F. Redmiles |
Observations on using empirical studies on developing a knowledge-based software engineering tool. |
KBSE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Paul A. Bailes, Murray Chapman, Ming Gong, Ian Peake |
GRIT-an extended REFINE for more executable specifications. |
KBSE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Gina Kingston, Rudi Vernik, Philip W. Dart |
Development of an expert assistant for software evaluation using a hybrid approach. |
KBSE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Chris Drummond, Robert C. Holte, Dan Ionescu |
Accelerating browsing by automatically inferring a user's search goal. |
KBSE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Venkatesh Srinivasan, Leon Sterling |
A knowledge based framework for developing and customizing schedulers. |
KBSE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Tanya Korelsky, Daryl McCullough, Owen Rambow |
Knowledge requirements for the automatic generation of project management reports. |
KBSE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Robert J. Hall 0001 |
Validation of rule-based reactive systems by sound scenario generalization. |
KBSE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Steven J. Zeil, J. Christian Wild |
A knowledge base for software test refinement. |
KBSE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Dewayne E. Perry, Steven S. Popovich |
Inquire: predicate-based use and reuse. |
KBSE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Douglas R. Smith, Eduardo A. Parra |
Transformational approach to transportation scheduling. |
KBSE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Martin S. Feather |
An implementation of bounded obligations. |
KBSE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | L. Miller, L. Johnson, Jim Q. Ning, Premkumar T. Devanbu |
Program understanding - does it offer hope for aging software? |
KBSE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Jarke, Manfred A. Jeusfeld, Andreas Miethsam, Michael Gocek |
Towards a logic-based reconstruction of software configuration management. |
KBSE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Fischer |
Domain-oriented design environments. |
KBSE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Yingsha Liao |
Efficiently computing derived performance data. |
KBSE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Wojtek Kozaczynski, Jim Q. Ning, Tom Sarver |
Program concept recognition. |
KBSE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings of the Seventh Knowledge-Based Software Engineering Conference, KBSE 1992, McLean, VA, USA, September 20-23, 1992 |
KBSE |
1992 |
DBLP BibTeX RDF |
|
1 | Elaine Kant |
Knowledge-based support for scientific programming. |
KBSE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Henson Graves, Joe Louie, Tracy Mullen |
A code synthesis experiment. |
KBSE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Donald Cohen, Neil Campbell |
Automatic composition of data structures to represent relations. |
KBSE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Robert B. Terwilliger |
Simulating the Gries/Dijkstra design process. |
KBSE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Gordon S. Novak |
Software reuse through view type clusters. |
KBSE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Tobiah E. Smith, Dorothy E. Setliff |
Knowledge-based constraint-driven software synthesis. |
KBSE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Toru Yamanouchi, Akiyoshi Sato, Minoru Tomobe, Hiroshi Takeuchi, Jun Takamura, Masanobu Watanabe |
Software synthesis shell SOFTEX/S. |
KBSE |
1992 |
DBLP DOI BibTeX RDF |
|