Enhanced graph rewriting systems for complex software domains - Dynamic software architecture, non-functional requirements, and correctness by construction

Cédric Eichler, Thierry Monteil, Patricia Stolf, Luigi Alfredo Grieco, Khalil Drira. Enhanced graph rewriting systems for complex software domains - Dynamic software architecture, non-functional requirements, and correctness by construction. Software and Systems Modeling, 15(3):685-705, 2016. [doi]

Abstract

Abstract is missing.