Enhanced graph rewriting systems for complex software domains - Dynamic software architecture, non-functional requirements, and correctness by construction.
Cédric EichlerThierry MonteilPatricia StolfLuigi Alfredo GriecoKhalil DriraPublished in: Softw. Syst. Model. (2016)
Keyphrases
- software architecture
- rewriting systems
- software systems
- software engineering
- software development
- embedded software
- real world
- distributed systems
- software evolution
- rewriting rules
- high level
- dynamic environments
- functional requirements
- object oriented software
- quality attributes
- weighted graph
- commercial off the shelf
- complex queries
- database