Intelligent Software Synthesis in the <i>DaCapo</i> Environment

Intelligent Software Synthesis in the DaCapo Environment

Bernhard Steffen
B. Freitag
A. Claßen
Tiziana Margaria
U. Zukowski

In 6th NWPT, pages 466-481

Abstract:

The DaCapo software synthesis environment presented in this paper supports the automatic construction of software from existing components according to a (possibly incomplete) specification. Based on a specification language that uniformly combines taxonomic component specifications, interface conditions, and ordering constraints, our method adds a global view to conventional single component retrieval. Together with its semi-automatic archiving facility for the `retrievable' inclusion of a satisfactory new software component into the software repository, our systems supports a full software lifecycle, as we illustrate along a user session.

Comments
Fakultät für Mathematik und Informatik, Universität Passau, D-94030 Passau (Germany), steffen@fmi.uni-passau.de.

Available as PostScript.

BRICS WWW home page