6. KBSE 1991: Syracuse, New York, USA

Introductory Tutorial Session

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

Session 1: General Design Issues

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

Session 2: Requirements

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

Session 3: Automatic Programming

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

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

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

Session 4B: Reuse

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

Session 5: Debugging

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

Session 6: Reverse Engineering/System Understanding

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

Session 7: Learning

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

Session 8: Process Support

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

Panel Sessions

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