Finding Inconsistencies in Design Models and Requirements by Applying the SMARDT Process

Kriebel, Stefan (Corresponding author); Kusmenko, Evgeny (Corresponding author); Rumpe, Bernhard (Corresponding author); von Wenckstern, Michael (Corresponding author)

Contribution to a conference proceedings

In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme XIV : Model-Based Development of Embedded Systems : 16.04.2018 - 18.04.2018 / Michaela Huhn, Hardi Hungar, Matthias Riebisch, Sebastian Voss (Hrsg.)
Page(s)/Article-Nr.: 51-60


  • Department of Computer Science [120000]
  • Chair of Computer Science 3 (Software Engineering) [121510]