ASE 1996

15 papers

1. A knowledge-based toolkit for software visualisation · Diana Sidarkeviciute, Enn Tyugu, Ago Kuusik
2. Addressing complexity, coordination, and automation in software development with the KBSA/ADM · Kevin Benner
3. Applying plan recognition algorithms to program understanding · Alex Quilici, Qiang Yang, Steven Woods
4. Complementing semi-formal specifications with Z · Yves Ledru
5. Constructing transition models of AI planner behavior · Adele E. Howe, Larry D. Pyeatt
6. Deductive synthesis of numerical simulation programs from networks of algebraic and ordinary differential equations · Thomas Ellman, Takahiro Murata
7. Extending design environments to software architecture design · Jason E. Robbins, David M. Hilbert, David F. Redmiles
8. Integrating software process models and design rationales · Barbara Dellen, Kirstin Kohler, Frank Maurer
9. Knowledge-based re-engineering of legacy programs for robustness in automated design · John Eric Keane, Thomas Ellman
10. Set differentiation: a method for the automatic generation of filtering algorithms · Fawzia Derrough Darche
11. Software synthesis for trade-off design · Akiyoshi Sato, Masato Miki, Toru Yamanouchi, Masanobu Watanabe
12. Synthesis of local search algorithms by algebraic means · Robert P. Graham Jr., Paul D. Bailor
13. Synthesis of schedulers for planned shutdowns of power plants · Carla P. Gomes, Douglas R. Smith, Stephen J. Westfold
14. Trusting your assistant · Robert J. Hall
15. Using knowledge-based transformations to reverse-engineer COBOL programs · Terence J. Harmer, Patrick J. McParland, James M. Boyle