• Reserved Area
  • Announcements
  • Publications
Haslab Logo

Nuno Macedo

Software Engineering

Assistant Professor (email)

Paper accepted at BX

January 10, 2014
in terms
  • Alloy
  • Bidirectional transformation
  • Echo
  • FATBIT
  • Least-change
  • MDE
  • Model transformation
  • Publications
  • QVT

Our paper on multidirectional model transformation has been accepted at the International Workshop on Bidirectional Transformations (BX).

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.