Verifying Component and Connector Models against Crosscutting Structural Views

Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe. Verifying Component and Connector Models against Crosscutting Structural Views. In Uwe Aßmann, Birgit Demuth, Thorsten Spitta, Georg Püschel, Ronny Kaiser, editors, Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015, Dresden, Germany. Volume 239 of LNI, pages 110-111, GI, 2015.

No reviews for this publication, yet.