KNOWLEDGE-BASED SOFTWARE ENGINEERING
Introduction
This special issue of the Journal of Automated Software Engineering contains four extended
papers from the 10th Knowledge-Based Software Engineering Conference. The
Knowledge-Based Software Engineering Conference provides a forum for researchers and
practitioners to discuss applications of automated reasoning, knowledge representation and
artificial intelligence techniques to software engineering problems. This conference focuses
on specific knowledge-based techniques for constructing, representing, reasoning with, and
understanding software artifacts and processes. These techniques may be fully automatic,
may support, or cooperate with humans.
Paper session topics include Synthesis, Formal Methods, Knowledge-Based Environments,
Process, Reuse/Reengineering, and Program Understanding. The conference was
held in November 1995 at the Boston Back Bay Hilton. Despite the U.S. Government
shutdown on the last day of the conference (necessitating the departure of some attendees),
the conference provided an excellent snapshot of the KBSE field.
The papers in this issue represent the best paper award winners and those identified as
strong candidates for best paper. The papers by Dick and Santen and by Ledru report on
the application of the Kestrel Institute's KIDS system and software synthesis approach by
independent research groups. The application and transfer of the powerful KIDS technology
bodes well for the ultimate transfer of KBSE technology into more active use. The
paper by Johnson and Erdem also reports on an integration and transfer of technology
this time in the form of a software understanding system based on Reasoning Systems'
Refinery^^ tools with presentation delivered over the World Wide Web. The paper by
Howe, Mayrhauser, and Mraz reports on the application of the University of Washington
UCPOP planner to generating software test cases using a robot tape library controller as an
example problem domain. A final paper, titled "META-AMPHION: Synthesis of Efficient
Domain-Specific Program Synthesis Systems" by Michael Lowry and Jeffrey van Baalen
describes improvements on the Amphion composition system. This paper was originally
submitted and accepted for publication in this special issue, but due to time constraints and
page budgets, it will appear in the next issue.
Download:
http://rapidshare.com/files/126825860/KNOWLEDGE-BASED_SOFTWARE_ENGINEERING.rar.html================================================
.jpg)
