Need to transform very large models? Take a look at this new approach built on top of Apache Spark
JetUML lets you quickly sketch informal UML diagrams that you can easily integrate in other documents. Use the full power of UML only when you really need it.
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.
We explore the benefits of using time-series databases to store models data. Thanks to this we can now query historical model information and perform advanced time-series analysis on it, especially useful when dealing with run-time models.