Reserved Area
Announcements
Publications
Nuno Macedo
Software Engineering
Assistant Professor
(email)
Electrum Analyzer
Showing results in 'Publications'.
Show all posts
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
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)