Abstract is missing.
- The Knowledge-Based Software Assistant: A Program SummaryDouglas A. White. 2-6
- Complex Objects in Knowledge-Based Requirements EngineeringSaimond Ip, Louis C.-Y. Cheung, Tony Holden. 8-15
- Composite System Design: The Good News and the Bad NewsMartin S. Feather, Stephen Fickas, B. Robert Helm. 16-25
- Active Assistance for Domain ModelingEric Schoen. 26-35
- KBRAS: A Knowledge-Based Requirements Acquisition SystemKacem Zeroual. 38-47
- The KBSA Requirements/Specifications Facet: ARIESW. Lewis Johnson, Martin S. Feather, David R. Harris. 48-56
- Sharing and Reuse of Requirements KnowledgeW. Lewis Johnson, David R. Harris. 57-66
- Lockheed Environment for Automatic ProgrammingHenson Graves. 68-76
- Using Domain Knowledge to Synthesize Routing SoftwareDorothy E. Setliff. 77-82
- Directions for Future KBSA ResearchMichael DeBellis, William C. Sasso, Gui Cabral. 84-89
- Motivating Adoption of KBSA: Issues, Arguments, and StrategiesWilliam C. Sasso. 90-96
- Domain-Specific Representations in the KBSA Concept DemoGui Cabral, Michael DeBellis. 97-106
- Analogical Matching for Specification ReuseNeil A. M. Maiden, Alistair G. Sutcliffe. 108-116
- The Role of Analogy in Specification DerivationKanth Miriyala, Mehdi T. Harandi. 117-126
- Functional Representation and Program DebuggingDean Allemang, B. Chandrasekaran. 136-143
- Requirement Directed Automatic Instrumentation Generation for Program Monitoring and MeasuringYingsha Liao. 144-150
- CTPLAN: A Planning-Based Approach to Automatically Detecting Flaws in Concurrent AlgorithmsDeborah A. Frincke, Myla Archer, Karl N. Levitt. 151-160
- A Knowledge-Based Approach to Software System UnderstandingWojtek Kozaczynski, Stanley Letovsky, Jim Q. Ning. 162-170
- LARGE Software System MaintenanceBenjamin Yu. 171-177
- A Knowledge-Based Interface to Promote Software UnderstandingMehan Majidi, David F. Redmiles. 178-185
- Acquiring Software Design Schemas: A Machine Learning PerspectiveMehdi T. Harandi, Hing-Yan Lee. 188-197
- A Learning-Based Software Engineering EnvironmentSidney C. Bailin, Robert H. Gattis, Walt Truszkowski. 198-206
- Implementation of an Activity Coordination SystemRobert Morris. 208-214
- Rule Chaining in MARVEL: Dynamic Binding of ParametersGeorge T. Heineman, Gail E. Kaiser, Naser S. Barghouti, Israel Ben-Shaul. 215-222
- Representation and Maintenance of Process Knowledge for Large Scale Systems DevelopmentBalasubramaniam Ramesh, Vasant Dhar. 223-231
- Domain Modeling - Evolving ResearchNeil Iscoe. 234-236
- Encouraging the Adoption of KBSE Technology: What Needs to Happen First?William C. Sasso. 237-238
- Knowledge-Based DesignMichael R. Lowry, Gail E. Kaiser, Dorothy E. Setliff, David M. Steier. 239-244