Gast ::
000465630 001__ 465630 000465630 005__ 20250613095215.0 000465630 020__ $$a9783844031201 000465630 0247_ $$2SISIS$$a1933849 000465630 0247_ $$2HBZ$$aHT018487969 000465630 0247_ $$2Laufende Nummer$$a33828 000465630 0247_ $$2datacite_doi$$a10.18154/RWTH-CONV-207172 000465630 037__ $$aRWTH-CONV-207172 000465630 041__ $$aEnglish 000465630 082__ $$a004 000465630 1001_ $$0P:(DE-82)003958$$aRingert, Jan Oliver$$b0 000465630 245__ $$aAnalysis and synthesis of interactive component and connector systems$$cvorgelegt von Jan Oliver Ringert$$hprint, online 000465630 260__ $$aAachen$$bShaker$$c2014 000465630 260__ $$c2022 000465630 300__ $$a431 S., : Ill., graph. Darst. 000465630 3367_ $$0PUB:(DE-HGF)11$$2PUB:(DE-HGF)$$aDissertation / PhD Thesis$$bphd$$mphd 000465630 3367_ $$02$$2EndNote$$aThesis 000465630 3367_ $$2DRIVER$$adoctoralThesis 000465630 3367_ $$2BibTeX$$aPHDTHESIS 000465630 3367_ $$2DataCite$$aOutput Types/Dissertation 000465630 3367_ $$2ORCID$$aDISSERTATION 000465630 3367_ $$0PUB:(DE-HGF)3$$2PUB:(DE-HGF)$$aBook$$mbook 000465630 4900_ $$aAachener Informatik-Berichte, Software Engineering$$v19 000465630 500__ $$aDruckausgabe: 2014. - Zweitveröffentlicht auf dem Publikationsserver der RWTH Aachen University 2022 000465630 502__ $$aZugl.: Aachen, Techn. Hochsch., Diss., 2014$$gFak01$$o2014-04-24 000465630 591__ $$aGermany 000465630 650_7 $$0(82)188939$$0(DE-588)4238872-7$$2swd$$aVerteiltes System 000465630 650_7 $$0(82)72103$$0(DE-588)4121677-5$$2swd$$aSoftwarearchitektur 000465630 650_7 $$0(82)408332$$0(DE-588)4439521-8$$2swd$$aKomponente (Software) 000465630 650_7 $$0(82)746773$$0(DE-588)4776913-0$$2swd$$aKonnektor 000465630 650_7 $$0(82)572008$$0(DE-588)4832365-2$$2swd$$aModellgetriebene Entwicklung 000465630 650_7 $$0(82)535765$$0(DE-588)4295335-2$$2swd$$aEntwurfssprache 000465630 650_7 $$0(82)256934$$2swd$$aSpezifikationstechnik 000465630 650_7 $$0(82)185661$$2swd$$aSchrittweise Verfeinerung 000465630 650_7 $$0(82)84320$$2swd$$aVerifikation 000465630 650_7 $$0(82)567393$$2swd$$aReaktives System 000465630 653_7 $$aInformatik 000465630 653_7 $$acomponent and connector model 000465630 653_7 $$acomponent and connector view 000465630 653_7 $$aautomata 000465630 653_7 $$arefinement 000465630 653_7 $$amodel-based 000465630 653_7 $$asynthesis 000465630 653_7 $$aanalysis 000465630 653_7 $$averification 000465630 653_7 $$astructure 000465630 653_7 $$abehavior 000465630 653_7 $$alogical architecture 000465630 653_7 $$aMontiCore 000465630 653_7 $$adistributed systems 000465630 653_7 $$ainteractive systems 000465630 7001_ $$0P:(DE-82)IDM00045$$aRumpe, Bernhard$$b1$$eThesis advisor 000465630 7001_ $$0P:(DE-82)108518$$aChechik, Marsha$$b2$$eThesis advisor 000465630 8564_ $$uhttp://deposit.d-nb.de/cgi-bin/dokserv?id=4784597&prov=M&dok_var=1&dok_ext=htm$$yContent text 000465630 8564_ $$uhttp://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=5990197&custom_att_2=simple_viewer$$yTable of contents 000465630 8564_ $$uhttps://publications.rwth-aachen.de/record/465630/files/465630.pdf$$yOpenAccess 000465630 909CO $$ooai:publications.rwth-aachen.de:465630$$popenaire$$popen_access$$pVDB$$pdriver$$pdnbdelivery 000465630 9141_ $$y2014 000465630 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess 000465630 9201_ $$0I:(DE-82)121510_20140620$$k121510$$lLehrstuhl für Informatik 3 (Software Engineering)$$x0 000465630 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1 000465630 961__ $$z2025-06-13 000465630 970__ $$aHT018487969 000465630 9801_ $$aFullTexts 000465630 980__ $$aphd 000465630 980__ $$aI:(DE-82)121510_20140620 000465630 980__ $$aVDB 000465630 980__ $$aUNRESTRICTED 000465630 980__ $$aI:(DE-82)120000_20140620 000465630 980__ $$abook