Show simple item record

dc.contributor.authorConrad, Mirko
dc.contributor.authorDörr, Heiko
dc.contributor.authorStürmer, Ingo
dc.contributor.authorSchürr, Andy
dc.contributor.editorGlinz, Martin
dc.contributor.editorMüller-Luschnat, Günther
dc.date.accessioned2019-12-13T08:57:13Z
dc.date.available2019-12-13T08:57:13Z
dc.date.issued2002
dc.identifier.isbn3-88579-342-3
dc.identifier.issn1617-5468
dc.identifier.urihttp://dl.gi.de/handle/20.500.12116/30663
dc.description.abstractModel-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.en
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofModellierung 2002, Modellierung in der Praxis – Modellierung für die Praxis
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-12
dc.titleGraph transformations for model-based testingen
dc.typeText/Conference Paper
dc.pubPlaceBonn
mci.reference.pages39-50
mci.conference.sessiontitleRegular Research Papers
mci.conference.locationTutzing
mci.conference.date25.-27. März 2002


Files in this item

Thumbnail

Show simple item record