Modeling, verifying and generating embedded software with Dezyne
Our review of Dezyne, a great tool to quickly model, verify and generate component-based software.
Our review of Dezyne, a great tool to quickly model, verify and generate component-based software.
MIKADO helps smart cities administrators in evaluating the degree of smartness and sustainability of their cities by providing an automated and customized evaluation of the KPIs they selected. The approach is generic, and thus, equally applicable to different smart cities for their KPIs assessment.
The first tool that lets you integrate OCL expressions in your JavaScript code. Define and evaluate OCL expressions on JS objects
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,…
Discover Frame, a textual markdown language for system design that enables quickly specifying system behavior as automata.
Recent Comments