Modular specification and checking of structural dependencies

Ralf Mitschke, Michael Eichberg, Mira Mezini, Alessandro Garcia, Isela Macia Bertran. Modular specification and checking of structural dependencies. In AOSD. pages 85-96, 2013. [doi]

Abstract

Abstract is missing.