Modular Reasoning for Crosscutting Concerns with Contracts

Thomas Thüm. Modular Reasoning for Crosscutting Concerns with Contracts. In Wilhelm Hasselbring, Nils Christian Ehmke, editors, Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar - 28. Februar 2014, Kiel, Deutschland. Volume 227 of LNI, pages 65-66, GI, 2014.

Abstract

Abstract is missing.