Reserved Area
Publications
Announcements
Nuno Macedo
Software Engineering
Postdoctoral Researcher
(email)
NanoSTIMA
Showing results in 'Publications'.
Show all posts
Macedo N, Jorge T,
Cunha A
. 2016.
A feature-based classification of model repair approaches
.
IEEE Transactions on Software Engineering.
repair16.pdf
Publications By Type
Conference Paper
(17)
Journal Article
(5)
Report
(4)
Thesis
(2)
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)
Recent Publications
Exploiting Partial Knowledge for Efficient Model Analysis
Checking the Correctness of What-If Scenarios
A feature-based classification of model repair approaches
Towards a Formal Validation of ETL Patterns Behavior
Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations
Target oriented relational model finding
more