ABSTRACT. Both model and program refactorings are usually proposed in an ad hoc way because it is difficult to prove that they.

In this paper, we propose guidelines on how to rigorously prove model refactorings for Alloy, a formal object-oriented modeling language. We use the Prototype ...

In this paper, we propose guidelines on how to rigorously prove model refactorings for Alloy, a formal object-oriented modeling language. We use the Prototype ...

ABSTRACT. Both model and program refactorings are usually proposed in an ad hoc way because it is difficult to prove that they.

This paper presents a transformational approach to the derivation of implementations from model-oriented specifications of abstract data types. The purpose of ...

The refactoring applied to the model is linked to a sequence of behavior-preserving transformations that automatically refactor the underlying source code, ...

A Rigorous · Approach for Proving Model Refactorings. In 20th. IEEE/ACM International Conference on Automated. Software Engineering (ASE), USA, 2005. [6] R ...

Refactorings are usually proposed in an ad hoc way because it is difficult to prove that they are sound with respect to a formal semantics, not guaranteeing ...

Multi-level modelling promotes flexibility in modelling by enabling the use of several meta-levels instead of just two, as is the case in mainstream ...

In this paper we describe a rigorous approach to analyzing the refac- toring of design class models that involve changes to operation specifications expressed ...