Verifying component and connector models against crosscutting structural views

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.
  • Vollständige Referenz
  • BibTeX
Maoz, S., Ringert, J. O. & Rumpe, B., (2015). Verifying component and connector models against crosscutting structural views. In: Aßmann, U., Demuth, B., Spitta, T., Püschel, G. & Kaiser, R. (Hrsg.), Software-engineering and management 2015. Bonn: Gesellschaft für Informatik e.V.. (S. 110-111).
@inproceedings{mci/Maoz2015,
author = {Maoz, Shahar AND Ringert, Jan Oliver AND Rumpe, Bernhard},
title = {Verifying component and connector models against crosscutting structural views},
booktitle = {Software-engineering and management 2015},
year = {2015},
editor = {Aßmann, Uwe AND Demuth, Birgit AND Spitta, Thorsten AND Püschel, Georg AND Kaiser, Ronny} ,
pages = { 110-111 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
110.pdf31.99Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-633-6
ISSN: 1617-5468
Datum: 2015
Sprache: en (en)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige