h1

h2

h3

h4

h5
h6
%0 Thesis
%A Ringert, Jan Oliver
%T Analysis and synthesis of interactive component and connector systems
%V 19
%C Aachen
%I Shaker
%M RWTH-CONV-207172
%@ 9783844031201
%B Aachener Informatik-Berichte, Software Engineering
%P 431 S., : Ill., graph. Darst.
%D 2014
%Z Druckausgabe: 2014. - Zweitveröffentlicht auf dem Publikationsserver der RWTH Aachen University 2022
%Z Zugl.: Aachen, Techn. Hochsch., Diss., 2014
%K Verteiltes System (swd)
%K Softwarearchitektur (swd)
%K Komponente (Software) (swd)
%K Konnektor (swd)
%K Modellgetriebene Entwicklung (swd)
%K Entwurfssprache (swd)
%K Spezifikationstechnik (swd)
%K Schrittweise Verfeinerung (swd)
%K Verifikation (swd)
%K Reaktives System (swd)
%F PUB:(DE-HGF)11 ; PUB:(DE-HGF)3
%9 Dissertation / PhD ThesisBook
%R 10.18154/RWTH-CONV-207172
%U https://publications.rwth-aachen.de/record/465630