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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.