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

Fri, 01 Jan 2016 00:00:00 +0100

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. Softw. Syst. Model. 15(3): 685-705 (2016)