%0 Generic
%T Analysis and synthesis of interactive component and connector systems
%A Ringert, Jan Oliver
%A Rumpe, Bernhard
%A Chechik, Marsha
%I Universitätsbibliothek der RWTH Aachen
%K Verteiltes System
%K Softwarearchitektur
%K Komponente
%K Konnektor
%K Modellgetriebene Entwicklung
%K Entwurfssprache
%K Spezifikationstechnik
%K Schrittweise Verfeinerung
%K Verifikation
%K Reaktives System
%K (Zielgruppe)Fachpublikum/ Wissenschaft
%K component and connector model
%K component and connector view
%K automata
%K refinement
%K model-based
%K synthesis
%K analysis
%K verification
%K structure
%K behavior
%K logical architecture
%K MontiCore
%K distributed systems
%K interactive systems
%K Hochschulschrift
%K Komponente Software
%D 2022
%X In: Aachen : Shaker, 2014 (Aachener Informatik-Berichte, Software Engineering; 19)
%C Universitätsbibliothek der RWTH Aachen
%C Aachen
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation