Reserved Area
Announcements
Publications
Nuno Macedo
Software Engineering
Assistant Professor
(email)
A feature-based classification of model repair approaches
in
terms
MDE
Model repair
NanoSTIMA
Publications
Citation:
Macedo N, Jorge T, Cunha A. 2016. A feature-based classification of model repair approaches. IEEE Transactions on Software Engineering.
Export
Tagged
XML
BibTex
Google Scholar
Citation Key:
MacedoJC:16
Preview
Attachment
Size
repair16.pdf
2.84 MB
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)