Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > View > Merging Cloned Alloy Models with Colorful Refactorings
Publication

Publications

Merging Cloned Alloy Models with Colorful Refactorings

Title
Merging Cloned Alloy Models with Colorful Refactorings
Type
Article in International Conference Proceedings Book
Year
2020
Authors
Liu, C
(Author)
Other
The person does not belong to the institution. The person does not belong to the institution. The person does not belong to the institution. Without AUTHENTICUS Without ORCID
Macedo, N
(Author)
FEUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page View ORCID page
Cunha, A
(Author)
Other
The person does not belong to the institution. The person does not belong to the institution. The person does not belong to the institution. View Authenticus page Without ORCID
Conference proceedings International
Pages: 173-191
23rd Brazilian Symposium on Formal Methods, SBMF 2020
25 November 2020 through 27 November 2020
Other information
Authenticus ID: P-00Y-8Z3
Language: English
Type (Professor's evaluation): Scientific
Documents
We could not find any documents associated to the publication.
Related Publications

Of the same authors

Validating multiple variants of an automotive light system with Alloy 6 (2024)
Article in International Scientific Journal
Cunha, A; Macedo, N; Liu, C
Validating Multiple Variants of an Automotive Light System with Electrum (2020)
Article in International Conference Proceedings Book
Cunha, A; Macedo, N; Liu, C
Simplifying the Analysis of Software Design Variants with a Colorful Alloy (2019)
Article in International Conference Proceedings Book
Liu, C; Macedo, N; Cunha, A
Merging cloned Alloy models with colorful refactorings (2022)
Article in International Conference Proceedings Book
Liu, C; Macedo, N; Cunha, A
Recommend this page Top
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-07-15 at 06:24:35 | Privacy Policy | Personal Data Protection Policy | Whistleblowing