9. KBSE 1994: Monterey, CA, USA

Abstracts - Demonstrations

• Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood: AMPHION: Automatic Programming for Subroutine Libraries. 2 BibTeX
• Kevin Benner: Knowledge-Based Software Assistant - Advanced Development Model Demonstrations. 3 BibTeX
• Gordon Kotik, Lawrence Markosian: Application of REFINE Language Tools^TM to Software Quality Assurance. 4 BibTeX

Session 1 - Design

• Martin S. Feather, Stephen Fickas: A Framework for Distributed System Designs. 6-13 BibTeX
• Loren G. Terveen, Peter G. Selfridge: Intelligent Assistance for Software Construction: A Case Study. 14-21 BibTeX
• Andreas Girgensohn, David F. Redmiles, Frank M. Shipman III: Agent-Based Support for Communication Between Developers and Users in Software Design. 22-29 BibTeX

Session 2 - Synthesis

• Steven Minton, Shawn R. Wolfe: Using Machine Learning to Synthesize Search Programs. 31-38 BibTeX
• Gordon S. Novak: Composing Reusable Software Components Through Views. 39-47 BibTeX
• Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood: A Formal Approach to Domain-Oriented Software Design Environments. 48-57 BibTeX

Session 3 - Testing/Validation

• John Chilenski, Philip Newcomb: Formal Specification Tools for Test Coverage Analysis. 59-68 BibTeX
• Robert J. Hall: Systematic Incremental Validation of Rule-Based Reactive Systems. 69-78 BibTeX
• Andrew Z. Tong, Gail E. Kaiser, Steven S. Popovich: A Flexible Rule-Chaining Engine for Process-Based Software Engineering. 79-88 BibTeX

Reuse

• Jun-Jang Jeng, Betty H. C. Cheng: A Formal Approach to Reusing More General Components. 90-97 BibTeX
• David Lauzon, Thomas Rose: Task Oriented and Similarity-Based Retrieval. 98-107 BibTeX
• J. Christian Wild, Daniela Rosca: Evolution and Reuse of Formal Specification Using Decision Structures. 108-115 BibTeX

Session 5 - Program Understanding

• Peter G. Selfridge, George T. Heineman: Graphical Support for Code-Level Software Understanding. 117-124 BibTeX
• Alex Quilici, David N. Chin: A Cooperative Program Understanding Environment. 125-132 BibTeX
• René Dekker, Frans Ververs: Abstract Data Structure Recognition. 133-140 BibTeX

Session 6 - Miscellaneous

• Gregory Alan Bolcer: User Interface Design Assistance For Large-Scale Software Development. 142-149 BibTeX
• Francoise Balmas: An Augmented Pattern Matcher as a Tool to Synthesize Conceptual Descriptions of Programs. 150-157 BibTeX
• Vincenzo Loia, Michel Quaggetto: Integrating Object-Oriented Paradigms and Logic Programming: The OPLA Language. 158-164 BibTeX

Session 7 - Process/Project Management

• Barry W. Boehm, Prasanta K. Bose: Critical Success Factors for Knowledge-Based Software Engineering Applications. 166-171 BibTeX
• Raymond J. Madachy: Knowledge-Based Risk Assessment and Cost Estimation. 172-178 BibTeX
• Gregory A. Toth: Software Technology Risk Advisor. 179-188 BibTeX