Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations

Systematic model-driven design and early validation enable engineers to verify that a reactive system does not violate its requirements before actually implementing it. Requirements may come from multiple stakeholders, who are often concerned with different facets - design typically involves differe...

Celý popis

Podrobná bibliografie

Vydáno v:	2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) s. 993 - 1003
Hlavní autoři:	Tsigkanos, Christos, Li, Nianyu, Jin, Zhi, Hu, Zhenjiang, Ghezzi, Carlo
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	ACM 01.09.2020
Témata:	Analytical models Model checking model transformations Proposals reactive systems Reflection Software engineering Stakeholders Systematics
ISSN:	2643-1572
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!