Reserved Area
Announcements
Publications
Nuno Macedo
Software Engineering
Assistant Professor
(email)
MDE
Showing results in 'Publications'.
Show all posts
Macedo N,
Cunha A
, Pessoa E
. 2017.
Exploiting Partial Knowledge for Efficient Model Analysis
.
symbolic17atva.pdf
Oliveira B,
Belo O
, Macedo N
. 2016.
Towards a Formal Validation of ETL Patterns Behavior
.
6th International Conference on Model and Data Engineering (MEDI 2016).
Macedo N, Brunel J, Chemouil D,
Cunha A
, Kuperberg D
. 2016.
Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations
.
24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016).
14.pdf
Macedo N, Jorge T,
Cunha A
. 2016.
A feature-based classification of model repair approaches
.
IEEE Transactions on Software Engineering.
repair16.pdf
Tags
Bidirectional transformation
(5)
Lenses
(1)
ETL
(1)
Invariants
(1)
MDE
(12)
Model checking
(3)
Model finding
(1)
Model repair
(3)
Model transformation
(1)
Non-determinism
(1)
Projects
(3)
NanoSTIMA
(1)
TRUST
(2)
Publications
(4)
Relational calculus
(3)
Specification language
(5)
Alloy
(4)
Electrum
(1)
TLA
(1)
Tool
(4)
Alloy Analyzer
(1)
Electrum Analyzer
(1)
Kodkod
(1)