Logo des Repositoriums

P012 - Modellierung 2002

https://dl.gi.de/handle/20.500.12116/30649
Auflistung nach:

Auflistung P012 - Modellierung 2002 nach Autor:in "Dörr, Heiko"

1 - 1 von 1
  • Konferenzbeitrag
    Graph transformations for model-based testing
    (Modellierung 2002, Modellierung in der Praxis – Modellierung für die Praxis, 2002) Conrad, Mirko; Dörr, Heiko; Stürmer, Ingo; Schürr, Andy
    Model-based development uses modeling and simulation as essential means for specification, rapid prototyping, design, and realization of embedded systems. The classification-tree method complements model-based development with a formal approach for test case description and automation. This paper shows how "raw" classification trees are transformed into complete classificati- on trees using an extensible tool, the classification-tree transformer (CTT). This tool and its domain specific extensions are generated using the graph rewriting system PROGRES.