The Gamma statechart composition framework Design, verification and code generation for component-based reactive systems

The Gamma Statechart Composition Framework is an integrated tool to support the design, verification and validation as well as code generation for component-based reactive systems. The behavior of each component is captured by a statechart, while assembling the system from components is driven by a...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion) s. 113 - 116
Hlavní autoři:	Molnár, Vince, Graics, Bence, Vörös, András, Majzik, István, Varró, Dániel
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 27.05.2018
Edice:	ACM Conferences
Témata:	code generation composition Formal verification Generators Mathematical model Object oriented modeling Software Software and its engineering > Software creation and management > Software verification and validation > Formal software verification Software and its engineering > Software notations and tools > System description languages > System modeling languages statecharts Theory of computation > Logic > Verification by model checking Unified modeling language statecharts code generation formal verification composition
ISBN:	145035663X, 9781450356633
ISSN:	2574-1934
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!