Reserved Area
Announcements
Publications
Nuno Macedo
Software Engineering
Assistant Professor
(email)
Moved to DEI/FEUP
September 30, 2020
I've moved to DEI/FEUP as an Assistant Professor.
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