AbstractRefactorings are systematic changes made to programs, models or specifications in order to improve their structure without changing the externally observable behaviour. We will examine how a constraint solver (the Alloy Analyzer) can be used to automatically check if refactorings, applied to a formal specification (written in Z), meet this requirement. Furthermore, we identify a class of refactorings for which the use of this tool is reasonable in general
AbstractRefactorings are usually proposed in an ad hoc way because it is difficult to prove that the...
The emergence of lightweight formal methods tools such as Alloy improves the software design process...
AbstractOnce you have proved your refinement correct, that is not the end. Real products, and their ...
AbstractRefactorings are systematic changes made to programs, models or specifications in order to i...
Software Product Line evolution can be performed by refactorings, which involve not only program ref...
A feature model (FM) defines the valid combinations of features, whose combinations correspond to a ...
AbstractIn the development of critical systems, standards dictate that it is necessary to first desi...
Both model and program refactorings are usually proposed in an ad hoc way because it is difficult to...
AbstractThis paper proposes modeling laws for Alloy, a formal object-oriented modeling language. The...
Feature models are used to state the instances of a soft-ware product-line. However, there is a limi...
AbstractRefactorings are changes made to programs, models or specifications with the intention of im...
We extend the Alloy language with the standard imperative constructs; we show the mix of declarative...
Abstract. Refactorings are usually proposed in an ad hoc way because it is difficult to prove that t...
Refactoring is a software development strategy that characteristically alters the syntactic structur...
Abstract. Alloy is a specification language based on a relational first-order logic with built-in op...
AbstractRefactorings are usually proposed in an ad hoc way because it is difficult to prove that the...
The emergence of lightweight formal methods tools such as Alloy improves the software design process...
AbstractOnce you have proved your refinement correct, that is not the end. Real products, and their ...
AbstractRefactorings are systematic changes made to programs, models or specifications in order to i...
Software Product Line evolution can be performed by refactorings, which involve not only program ref...
A feature model (FM) defines the valid combinations of features, whose combinations correspond to a ...
AbstractIn the development of critical systems, standards dictate that it is necessary to first desi...
Both model and program refactorings are usually proposed in an ad hoc way because it is difficult to...
AbstractThis paper proposes modeling laws for Alloy, a formal object-oriented modeling language. The...
Feature models are used to state the instances of a soft-ware product-line. However, there is a limi...
AbstractRefactorings are changes made to programs, models or specifications with the intention of im...
We extend the Alloy language with the standard imperative constructs; we show the mix of declarative...
Abstract. Refactorings are usually proposed in an ad hoc way because it is difficult to prove that t...
Refactoring is a software development strategy that characteristically alters the syntactic structur...
Abstract. Alloy is a specification language based on a relational first-order logic with built-in op...
AbstractRefactorings are usually proposed in an ad hoc way because it is difficult to prove that the...
The emergence of lightweight formal methods tools such as Alloy improves the software design process...
AbstractOnce you have proved your refinement correct, that is not the end. Real products, and their ...
DOI
Add to ORKG