Reserved Area
Announcements
Publications
Nuno Macedo
Software Engineering
Assistant Professor
(email)
Echo at ASE'13
November 15, 2013
in
terms
Echo
Eclipse
FATBIT
MDE
Model repair
Model transformation
Presentations
Tool
I've just presented our tool Echo at ASE'13.
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