Media type: E-Book; Thesis Title: Analysis and synthesis of interactive component and connector systems Contributor: Ringert, Jan Oliver [Verfasser]; Rumpe, Bernhard [Akademischer Betreuer]; Chechik, Marsha [Akademischer Betreuer] imprint: Aachen: Universitätsbibliothek der RWTH Aachen, 2022 Extent: Online-Ressource Language: English DOI: 10.18154/RWTH-CONV-207172 Identifier: Keywords: Verteiltes System > Softwarearchitektur > Komponente > Konnektor > Modellgetriebene Entwicklung > Entwurfssprache > Spezifikationstechnik > Schrittweise Verfeinerung > Verifikation > Reaktives System Origination: University thesis: Dissertation, Techn. Hochsch., 2014 Footnote: In: Aachen : Shaker, 2014 (Aachener Informatik-Berichte, Software Engineering; 19) Access State: Open Access