10. KBSE 1995: Boston, MA, USA

Session 1: Synthesis I

Session 2: Formal Specifications

Session 3: Legal Issues in Knowledge-Based Software Engineering

Session 4: Knowledge-Based Environments

Session 5: Process

Session 6: Reuse and Re-engineering

Session 7: Program Understanding

Session 8: Synthesis II

Panel I - Empirical Evaluation of KBSE Technology: Why and How

Panel II - Formal Methods in Knowledge-Based Software Engineering