Marco Müller, Moritz Balz, Michael Goedicke. Enriching OSGi Service Interfaces with Formal Sequential Contracts. In Ralf Reussner, Alexander Pretschner, Stefan Jähnichen, editors, Software Engineering 2011 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25.02.2011, Karlsruhe. Volume 184 of LNI, pages 41-46, GI, 2011. [doi]
Abstract is missing.