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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.