DWARF-driven Equivalence Checking of UML Statecharts and Software Components

Patrick Heckeler, Jörg Behrend, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Roland Weiss. DWARF-driven Equivalence Checking of UML Statecharts and Software Components. Softwaretechnik-Trends, 31(3), 2011. [doi]

Abstract

Abstract is missing.