Abstract is missing.
- Deductive synthesis of numerical simulation programs from networks of algebraic and ordinary differential equationsThomas Ellman, Takahiro Murata. 2-11 [doi]
- Synthesis of schedulers for planned shutdowns of power plantsCarla P. Gomes, Douglas R. Smith, Stephen J. Westfold. 12-20 [doi]
- Synthesis of local search algorithms by algebraic meansRobert P. Graham Jr., Paul D. Bailor. 21-30 [doi]
- Constructing transition models of AI planner behaviorAdele E. Howe, Larry D. Pyeatt. 33-41 [doi]
- Trusting your assistantRobert J. Hall. 42-51 [doi]
- Complementing semi-formal specifications with ZYves Ledru. 52-61 [doi]
- Extending design environments to software architecture designJason E. Robbins, David M. Hilbert, David F. Redmiles. 63-72 [doi]
- Addressing complexity, coordination, and automation in software development with the KBSA/ADMKevin Benner. 73-83 [doi]
- Integrating software process models and design rationalesBarbara Dellen, Kirstin Kohler, Frank Maurer. 84-93 [doi]
- Applying plan recognition algorithms to program understandingAlex Quilici, Qiang Yang 0001, Steven Woods. 96-103 [doi]
- Knowledge-based re-engineering of legacy programs for robustness in automated designJohn Eric Keane, Thomas Ellman. 104-113 [doi]
- Using knowledge-based transformations to reverse-engineer COBOL programsTerence J. Harmer, Patrick J. McParland, James M. Boyle. 114-123 [doi]
- A knowledge-based toolkit for software visualisationDiana Sidarkeviciute, Enn Tyugu, Ago Kuusik. 125-133 [doi]
- Set differentiation: a method for the automatic generation of filtering algorithmsFawzia Derrough Darche. 134-143 [doi]
- Software synthesis for trade-off designAkiyoshi Sato, Masato Miki, Toru Yamanouchi, Masanobu Watanabe. 144-153 [doi]