Reserved Area
Announcements
Publications
Nuno Macedo
Software Engineering
Assistant Professor
(email)
III FATBIT Meeting
October 3, 2013
in
terms
Bidirectional transformation
FATBIT
Presentations
Projects
We've just presented our ongoing work at the III FATBIT Meeting.
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