A formal approach to adaptive software: continuous assurance of non-functional requirements
Model driven engineering: an emerging technical space