6. KBSE 1991: Syracuse, New York, USA

Introductory Tutorial Session

• Douglas A. White: The Knowledge-Based Software Assistant: A Program Summary. 2-6

Session 1: General Design Issues

• Saimond Ip, Louis C.-Y. Cheung, Tony Holden: Complex Objects in Knowledge-Based Requirements Engineering. 8-15
• Martin S. Feather, Stephen Fickas, B. Robert Helm: Composite System Design: The Good News and the Bad News. 16-25
• Eric Schoen: Active Assistance for Domain Modeling. 26-35

Session 2: Requirements

• Kacem Zeroual: KBRAS: A Knowledge-Based Requirements Acquisition System. 38-47
• W. Lewis Johnson, Martin S. Feather, David R. Harris: The KBSA Requirements/Specifications Facet: ARIES. 48-56
• W. Lewis Johnson, David R. Harris: Sharing and Reuse of Requirements Knowledge. 57-66

Session 3: Automatic Programming

• Henson Graves: Lockheed Environment for Automatic Programming. 68-76
• Dorothy E. Setliff: Using Domain Knowledge to Synthesize Routing Software. 77-82

Session 4A: KBSA (Knowledge-Based software Assistant)

• Michael DeBellis, William C. Sasso, Gui Cabral: Directions for Future KBSA Research. 84-89
• William C. Sasso: Motivating Adoption of KBSA: Issues, Arguments, and Strategies. 90-96
• Gui Cabral, Michael DeBellis: Domain-Specific Representations in the KBSA Concept Demo. 97-106

Session 4B: Reuse

• Neil A. M. Maiden, Alistair G. Sutcliffe: Analogical Matching for Specification Reuse. 108-116
• Kanth Miriyala, Mehdi T. Harandi: The Role of Analogy in Specification Derivation. 117-126
• S. Meggendorfer, P. Manhart: A Knowledge and Deduction Based Software Retrieval Tool. 127-133

Session 5: Debugging

• Dean Allemang, B. Chandrasekaran: Functional Representation and Program Debugging. 136-143
• Yingsha Liao: Requirement Directed Automatic Instrumentation Generation for Program Monitoring and Measuring. 144-150
• Deborah A. Frincke, Myla Archer, Karl N. Levitt: CTPLAN: A Planning-Based Approach to Automatically Detecting Flaws in Concurrent Algorithms. 151-160

Session 6: Reverse Engineering/System Understanding

• Wojtek Kozaczynski, Stanley Letovsky, Jim Q. Ning: A Knowledge-Based Approach to Software System Understanding. 162-170
• Benjamin Yu: LARGE Software System Maintenance. 171-177
• Mehan Majidi, David F. Redmiles: A Knowledge-Based Interface to Promote Software Understanding. 178-185

Session 7: Learning

• Mehdi T. Harandi, Hing-Yan Lee: Acquiring Software Design Schemas: A Machine Learning Perspective. 188-197
• Sidney C. Bailin, Robert H. Gattis, Walt Truszkowski: A Learning-Based Software Engineering Environment. 198-206

Session 8: Process Support

• Robert Morris: Implementation of an Activity Coordination System. 208-214
• George T. Heineman, Gail E. Kaiser, Naser S. Barghouti, Israel Ben-Shaul: Rule Chaining in MARVEL: Dynamic Binding of Parameters. 215-222
• Balasubramaniam Ramesh, Vasant Dhar: Representation and Maintenance of Process Knowledge for Large Scale Systems Development. 223-231

Panel Sessions

• Neil Iscoe: Domain Modeling - Evolving Research. 234-236
• William C. Sasso: Encouraging the Adoption of KBSE Technology: What Needs to Happen First? 237-238
• Michael R. Lowry, Gail E. Kaiser, Dorothy E. Setliff, David M. Steier: Knowledge-Based Design. 239-244