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.

Authors

Shahar Maoz

This author has not been identified. Look up 'Shahar Maoz' in Google

Jan Oliver Ringert

This author has not been identified. Look up 'Jan Oliver Ringert' in Google

Bernhard Rumpe

Identified as Bernhard Rumpe