Reserved Area
Publications
Announcements
Nuno Macedo
Software Engineering
Postdoctoral Researcher
(email)
ETL
Showing results in 'Publications'.
Show all posts
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).
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