Verification of Architectural Refactorings by Rule Extraction

  title={Verification of Architectural Refactorings by Rule Extraction},
  author={D{\'e}nes Bisztray and Reiko Heckel and Hartmut Ehrig},
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. To adapt to changing requirements and improve internal software quality such models have to evolve while preserving aspects of their behaviour. To avoid the costly verification of… CONTINUE READING