Model-driven development of reactive information systems: from graph transformation rules to JML contracts

Reiko Heckel, Marc Lohmann. Model-driven development of reactive information systems: from graph transformation rules to JML contracts. STTT, 9(2):193-207, 2007. [doi]

Abstract

Abstract is missing.