guest ::
| 001 | 465630 | ||
| 005 | 20250613095215.0 | ||
| 020 | _ | _ | |a 9783844031201 |
| 024 | 7 | _ | |2 SISIS |a 1933849 |
| 024 | 7 | _ | |2 HBZ |a HT018487969 |
| 024 | 7 | _ | |2 Laufende Nummer |a 33828 |
| 024 | 7 | _ | |2 datacite_doi |a 10.18154/RWTH-CONV-207172 |
| 037 | _ | _ | |a RWTH-CONV-207172 |
| 041 | _ | _ | |a English |
| 082 | _ | _ | |a 004 |
| 100 | 1 | _ | |0 P:(DE-82)003958 |a Ringert, Jan Oliver |b 0 |
| 245 | _ | _ | |a Analysis and synthesis of interactive component and connector systems |c vorgelegt von Jan Oliver Ringert |h print, online |
| 260 | _ | _ | |a Aachen |b Shaker |c 2014 |
| 260 | _ | _ | |c 2022 |
| 300 | _ | _ | |a 431 S., : Ill., graph. Darst. |
| 336 | 7 | _ | |0 PUB:(DE-HGF)11 |2 PUB:(DE-HGF) |a Dissertation / PhD Thesis |b phd |m phd |
| 336 | 7 | _ | |0 2 |2 EndNote |a Thesis |
| 336 | 7 | _ | |2 DRIVER |a doctoralThesis |
| 336 | 7 | _ | |2 BibTeX |a PHDTHESIS |
| 336 | 7 | _ | |2 DataCite |a Output Types/Dissertation |
| 336 | 7 | _ | |2 ORCID |a DISSERTATION |
| 336 | 7 | _ | |0 PUB:(DE-HGF)3 |2 PUB:(DE-HGF) |a Book |m book |
| 490 | 0 | _ | |a Aachener Informatik-Berichte, Software Engineering |v 19 |
| 500 | _ | _ | |a Druckausgabe: 2014. - Zweitveröffentlicht auf dem Publikationsserver der RWTH Aachen University 2022 |
| 502 | _ | _ | |a Zugl.: Aachen, Techn. Hochsch., Diss., 2014 |g Fak01 |o 2014-04-24 |
| 591 | _ | _ | |a Germany |
| 650 | _ | 7 | |0 (DE-588)4238872-7 |0 (82)188939 |2 swd |a Verteiltes System |
| 650 | _ | 7 | |0 (DE-588)4121677-5 |0 (82)72103 |2 swd |a Softwarearchitektur |
| 650 | _ | 7 | |0 (DE-588)4439521-8 |0 (82)408332 |2 swd |a Komponente (Software) |
| 650 | _ | 7 | |0 (DE-588)4776913-0 |0 (82)746773 |2 swd |a Konnektor |
| 650 | _ | 7 | |0 (DE-588)4832365-2 |0 (82)572008 |2 swd |a Modellgetriebene Entwicklung |
| 650 | _ | 7 | |0 (DE-588)4295335-2 |0 (82)535765 |2 swd |a Entwurfssprache |
| 650 | _ | 7 | |0 (82)256934 |2 swd |a Spezifikationstechnik |
| 650 | _ | 7 | |0 (82)185661 |2 swd |a Schrittweise Verfeinerung |
| 650 | _ | 7 | |0 (82)84320 |2 swd |a Verifikation |
| 650 | _ | 7 | |0 (82)567393 |2 swd |a Reaktives System |
| 653 | _ | 7 | |a Informatik |
| 653 | _ | 7 | |a component and connector model |
| 653 | _ | 7 | |a component and connector view |
| 653 | _ | 7 | |a automata |
| 653 | _ | 7 | |a refinement |
| 653 | _ | 7 | |a model-based |
| 653 | _ | 7 | |a synthesis |
| 653 | _ | 7 | |a analysis |
| 653 | _ | 7 | |a verification |
| 653 | _ | 7 | |a structure |
| 653 | _ | 7 | |a behavior |
| 653 | _ | 7 | |a logical architecture |
| 653 | _ | 7 | |a MontiCore |
| 653 | _ | 7 | |a distributed systems |
| 653 | _ | 7 | |a interactive systems |
| 700 | 1 | _ | |0 P:(DE-82)IDM00045 |a Rumpe, Bernhard |b 1 |e Thesis advisor |
| 700 | 1 | _ | |0 P:(DE-82)108518 |a Chechik, Marsha |b 2 |e Thesis advisor |
| 856 | 4 | _ | |u http://deposit.d-nb.de/cgi-bin/dokserv?id=4784597&prov=M&dok_var=1&dok_ext=htm |y Content text |
| 856 | 4 | _ | |u http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=5990197&custom_att_2=simple_viewer |y Table of contents |
| 856 | 4 | _ | |u https://publications.rwth-aachen.de/record/465630/files/465630.pdf |y OpenAccess |
| 909 | C | O | |o oai:publications.rwth-aachen.de:465630 |p dnbdelivery |p driver |p VDB |p open_access |p openaire |
| 914 | 1 | _ | |y 2014 |
| 915 | _ | _ | |0 StatID:(DE-HGF)0510 |2 StatID |a OpenAccess |
| 920 | 1 | _ | |0 I:(DE-82)121510_20140620 |k 121510 |l Lehrstuhl für Informatik 3 (Software Engineering) |x 0 |
| 920 | 1 | _ | |0 I:(DE-82)120000_20140620 |k 120000 |l Fachgruppe Informatik |x 1 |
| 970 | _ | _ | |a HT018487969 |
| 980 | 1 | _ | |a FullTexts |
| 980 | _ | _ | |a phd |
| 980 | _ | _ | |a I:(DE-82)121510_20140620 |
| 980 | _ | _ | |a VDB |
| 980 | _ | _ | |a UNRESTRICTED |
| 980 | _ | _ | |a I:(DE-82)120000_20140620 |
| 980 | _ | _ | |a book |
| Library | Collection | CLSMajor | CLSMinor | Language | Author |
|---|