> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Analysis and synthesis of interactive component and connector systems Beteiligte: Ringert, Jan Oliver [Verfasser]; Rumpe, Bernhard [Akademischer Betreuer]; Chechik, Marsha [Akademischer Betreuer] Erschienen: Aachen: Universitätsbibliothek der RWTH Aachen, 2022 Umfang: Online-Ressource Sprache: Englisch DOI: 10.18154/RWTH-CONV-207172 Identifikator: Schlagwörter: Verteiltes System > Softwarearchitektur > Komponente > Konnektor > Modellgetriebene Entwicklung > Entwurfssprache > Spezifikationstechnik > Schrittweise Verfeinerung > Verifikation > Reaktives System Entstehung: Hochschulschrift: Dissertation, Techn. Hochsch., 2014 Anmerkungen: In: Aachen : Shaker, 2014 (Aachener Informatik-Berichte, Software Engineering; 19) Zugangsstatus: Freier Zugang