Reserved Area

Announcements
Publications

Nuno Macedo

Software Engineering

Assistant Professor (email)

MAP-i Students Visit HASLab

December 10, 2016

We've just received the new MAP-i students at HASLab.

Latest Announcements

Tutorial accepted at IROS
Paper accepted at SCP
Paper accepted at IJRC
Paper accepted at RoSE
Paper award
Paper award

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)

Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.