Reserved Area
Announcements
Publications
Nuno Macedo
Software Engineering
Assistant Professor
(email)
PhD thesis defended
November 1, 2014
in
terms
Bidirectional transformation
Echo
Presentations
Relational calculus
I've successfully defended my PhD thesis at the University of Minho.
Latest Announcements
Tutorial accepted at IROS
Paper accepted at SCP
Paper accepted at IJRC
Paper accepted at RoSE
Paper award
Paper award
more
Tags
Bidirectional transformation
(10)
Lenses
(1)
Compositionality
(1)
CRIS
(5)
ETL
(1)
Invariants
(2)
Least-change
(6)
MDE
(40)
Model checking
(7)
Model finding
(4)
Model repair
(3)
Model transformation
(6)
Non-determinism
(1)
ORCID
(5)
Presentations
(4)
Projects
(35)
BESTCASE
(2)
FATBIT
(11)
NanoSTIMA
(2)
PTCRIS
(5)
TRUST
(7)
Publications
(15)
Relational calculus
(2)
Robotic software
(5)
ROS
(5)
Software quality
(2)
Specification language
(27)
Alloy
(12)
ATL
(1)
Electrum
(5)
QVT
(4)
Spreadsheets
(1)
Supervisions
(3)
Synchronization
(5)
Tool
(26)
Echo
(7)
Eclipse
(2)
Electrum Analyzer
(4)
Kodkod
(3)
PTCRISync
(4)
Subscribe