Blog posts tagged with "eclipse-modeling-framework"

  • A bit of Queuing Theory

    We are developing a tool which allows, once an EMF model is created, to test and validate it in a reliable and efficient way. We did that by exploiting the potential of the Alloy Language and its powerful Alloy Analyzer. When you build a model to describe a process or... [more]

  • subscribe via RSS