Analysis and synthesis of interactive component and connector systems
| Autor: | Ringert, Jan Oliver |
|---|---|
| Přispěvatelé: | Rumpe, Bernhard, Chechik, Marsha |
| Jazyk: | angličtina |
| Rok vydání: | 2014 |
| Předmět: |
Konnektor
Komponente (Software) synthesis automata analysis Reaktives System MontiCore Modellgetriebene Entwicklung component and connector model Schrittweise Verfeinerung Spezifikationstechnik Entwurfssprache component and connector view model-based refinement structure distributed systems interactive systems behavior Softwarearchitektur Informatik Verifikation logical architecture Verteiltes System ddc:004 verification |
| Zdroj: | Aachen : Shaker, Aachener Informatik-Berichte, Software Engineering 19, 431 S., : Ill., graph. Darst. (2014). doi:10.18154/RWTH-CONV-207172 = Zugl.: Aachen, Techn. Hochsch., Diss., 2014 |
| DOI: | 10.18154/RWTH-CONV-207172 |
| Popis: | Zugl.: Aachen, Techn. Hochsch., Diss., 2014; Aachen : Shaker, Aachener Informatik-Berichte, Software Engineering 19, 431 S., : Ill., graph. Darst. (2014). = Zugl.: Aachen, Techn. Hochsch., Diss., 2014 Published by Shaker, Aachen |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|