Backtracking-free design planning by automatic synthesis in METAframe

Tiziana Margaria, Bernhard Steffen

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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.

Original languageEnglish
Title of host publicationFundamental 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
EditorsEgidio Astesiano
PublisherSpringer Verlag
Pages188-204
Number of pages17
ISBN (Print)3540643036, 9783540643036
DOIs
Publication statusPublished - 1998
Externally publishedYes
Event1st International Conference on Fundamental Approaches to Software Engineering, FASE 1998 - Lisbon, Portugal
Duration: 28 Mar 19984 Apr 1998

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1382
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference1st International Conference on Fundamental Approaches to Software Engineering, FASE 1998
Country/TerritoryPortugal
CityLisbon
Period28/03/984/04/98

Fingerprint

Dive into the research topics of 'Backtracking-free design planning by automatic synthesis in METAframe'. Together they form a unique fingerprint.

Cite this