• Reserved Area
  • Announcements
  • Publications
Haslab Logo

Nuno Macedo

Software Engineering

Assistant Professor (email)

Best Students programme

April 9, 2017
in
  • Alloy
  • Supervisions

We've just received the students from the Best Students programme at UMinho 2017 at our laboratory.

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)
Syndicate content Subscribe



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