http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Analysis and synthesis of interactive component and connector systems

Ringert, Jan Oliver

2014 & 2022

Verantwortlichkeitsangabevorgelegt von Jan Oliver Ringert

ImpressumAachen : Shaker 2014

Umfang431 S., : Ill., graph. Darst.

ISBN9783844031201

ReiheAachener Informatik-Berichte, Software Engineering ; 19

Zugl.: Aachen, Techn. Hochsch., Diss., 2014

Druckausgabe: 2014. - Zweitveröffentlicht auf dem Publikationsserver der RWTH Aachen University 2022

Genehmigende Fakultät
Fak01

Hauptberichter/Gutachter
Rumpe, Bernhard (Thesis advisor) ; Chechik, Marsha (Thesis advisor)

Tag der mündlichen Prüfung/Habilitation
2014-04-24

Online
DOI: 10.18154/RWTH-CONV-207172
URL: https://publications.rwth-aachen.de/record/465630/files/465630.pdf
URL: http://deposit.d-nb.de/cgi-bin/dokserv?id=4784597&prov=M&dok_var=1&dok_ext=htm
URL: http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=5990197&custom_att_2=simple_viewer

Einrichtungen

1. Lehrstuhl für Informatik 3 (Software Engineering) (121510)
2. Fachgruppe Informatik (120000)

Inhaltliche Beschreibung (Schlagwörter)
Verteiltes System (Genormte SW) ; Softwarearchitektur (Genormte SW) ; Komponente (Software) (Genormte SW) ; Konnektor (Genormte SW) ; Modellgetriebene Entwicklung (Genormte SW) ; Entwurfssprache (Genormte SW) ; Spezifikationstechnik (Genormte SW) ; Schrittweise Verfeinerung (Genormte SW) ; Verifikation (Genormte SW) ; Reaktives System (Genormte SW) ; Informatik (frei) ; component and connector model (frei) ; component and connector view (frei) ; automata (frei) ; refinement (frei) ; model-based (frei) ; synthesis (frei) ; analysis (frei) ; verification (frei) ; structure (frei) ; behavior (frei) ; logical architecture (frei) ; MontiCore (frei) ; distributed systems (frei) ; interactive systems (frei)

Thematische Einordnung (Klassifikation)
DDC: 004

OpenAccess:
PDF
External links:
Content text
Table of contents

Dokumenttyp
Dissertation / PhD Thesis/Book

Format
print, online

Sprache
English

Externe Identnummern
HBZ: HT018487969

Interne Identnummern
RWTH-CONV-207172
Datensatz-ID: 465630

Beteiligte Länder
Germany