Enriching OSGi Service Interfaces with Formal Sequential Contracts

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]

Authors

Marco Müller

This author has not been identified. Look up 'Marco Müller' in Google

Moritz Balz

This author has not been identified. Look up 'Moritz Balz' in Google

Michael Goedicke

This author has not been identified. Look up 'Michael Goedicke' in Google