Model level IDE

People:

Mira Balaban,  Aviram Dayan,  Azaam Maraee,  Guy Wiener.

Goals:

Construction of an Integrated Development Environment for supporting model development with the following features:

  • analysis
  • verification
  • refactoring
  • static analysis
  • simplification
  • transformation
  • evaluation and evolution

Tools