INNoVaServ is a modeling toolkit to support all modeling tasks part of Service Design. INNoVaServ facilitates the creation of technological bridges among modeling notations such as BPMN, e3, business model canvas,…
A model-based approach to assist developers in the migration of legacy applications with business logic implemented in triggers and PL/SQL code
Technologies such as Virtual (VR) or Augmented Reality (AR) are enabling users to immerse in digital worlds. Could VR and AR experiences be part of the next generation of modeling editors?
Every day more and more interesting resources as published as open data. We help citizens access them by generating a chatbot to talk with Open Data.
If we want software verification techniques to be more adopted in the industry, we need to move to incremental verification approaches, where we reuse previous analysis to avoid reevaluating the whole model every time it is modified.