Merging cloned alloy models with colorful refactorings

Likewise to code, clone-and-own is a common way to create variants of a model, to explore the impact of different features while exploring the design of a software system. Previously, we have introduced Colorful Alloy, an extension of the popular Alloy language and toolkit to support feature-oriente...

Full description

Bibliographic Details
Main Author: Liu, Chong (author)
Other Authors: Macedo, Nuno (author), Cunha, Alcino (author)
Format: conferencePaper
Language:eng
Published: 2020
Subjects:
Online Access:http://hdl.handle.net/1822/69755
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/69755