@inproceedings{c01e4021889a42fe8aff4136928e303e,
title = "Backtracking-free design planning by automatic synthesis in METAframe",
abstract = "We present an environment supporting the flexible and application-specific construction of design plans, which avoids the insurgence of unsuccessful design plans at design time, and is thus backtracking-free. During a planning phase the collection of all complete, executable design plans is automatically synthesized on the basis of simple constraint-like specifications and the library of available tools. The designer's choice of the best alternative is eased by a user friendly graphical interface and by hypertext support for the generation and management of plans, as illustrated along a user session. Example application field is the generation of design plans in a CAD environment for hardware design.",
author = "Tiziana Margaria and Bernhard Steffen",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1998.; 1st International Conference on Fundamental Approaches to Software Engineering, FASE 1998 ; Conference date: 28-03-1998 Through 04-04-1998",
year = "1998",
doi = "10.1007/bfb0053591",
language = "English",
isbn = "3540643036",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "188--204",
editor = "Egidio Astesiano",
booktitle = "Fundamental Approaches to Software Engineering - 1st International Conference, FASE 1998 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1998, Proceedings",
}