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


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.

Fakultät für Mathematik und Informatik, Universität Passau, D-94030 Passau (Germany),

Available as PostScript.

[BRICS symbol] BRICS WWW home page