Reserved Area
Announcements
Publications
Nuno Macedo
Software Engineering
Assistant Professor
(email)
Hall of Fame LI1
April 1, 2018
We've launched a "
Hall of Fame
" for the best LI1 student projects.
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