Logo des Repositoriums
 
Konferenzbeitrag

Verifying component and connector models against crosscutting structural views

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2015

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

The structure of component and connector (C\&C) models, which are used in many application domains of software engineering, consists of components at different containment levels, their typed input and output ports, and the connectors between them. C\&C views, presented in [MRR13], can be used to specify structural properties of C\&C models in an expressive and intuitive way.

Beschreibung

Maoz, Shahar; Ringert, Jan Oliver; Rumpe, Bernhard (2015): Verifying component and connector models against crosscutting structural views. Software-engineering and management 2015. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-633-6. pp. 110-111. Dresden. 17.-20. März 2015

Schlagwörter

Zitierform

DOI

Tags