Reserved Area
Announcements
Publications
Nuno Macedo
Software Engineering
Assistant Professor
(email)
Towards a Formal Validation of ETL Patterns Behavior
in
terms
Alloy
ETL
MDE
Model checking
Publications
Citation:
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).
Export
Tagged
XML
BibTex
Google Scholar
Citation Key:
OliveiraBM:16
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)