9. KBSE 1994: Monterey, CA, USA

Abstracts - Demonstrations

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

Session 1 - Design

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

Session 2 - Synthesis

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

Session 3 - Testing/Validation

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

Reuse

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

Session 5 - Program Understanding

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

Session 6 - Miscellaneous

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

Session 7 - Process/Project Management

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