Compositional verification of model-level refactorings based on graph transformations
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artifacts in the development process. To adapt to changing requirements and improve internal software quality such models have to evolve while preserving aspe...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Leicester
2010
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.517562 |