Modeling, verifying and generating embedded software with Dezyne
Our review of Dezyne, a great tool to quickly model, verify and generate component-based software.
Diverse scenario exploration in model finders using graph kernels and clustering
Clustering of model instances by using graph kernels. Make sure you test your models with the most diverse set of examples!
From informal to formal modeling
We propose an iterative modeling approach where designers can dynamically customize the level of formality required in each iteration in a visual and intuitive way
The impact of introducing a modeling tool in a Requirement Engineering course
In numerous programming and software engineering courses, students are asked to program on paper, which has supporters and detractors. Supporters claim that, among its advantages, programming on paper allows students to focus on functionality, avoiding the...
Incremental verification of software models
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.
Improving research quality thanks to modeling tools: model-based analysis of process descriptions
The quality of process descriptions in research is essential to reproducibility and theory building.
We suggest that model-based analysis can contribute to the improvement and concise communication of such descriptions. We demonstrate this by applying a model-based framework – PROVE – to restructure and analyze several process descriptions.
Modeling: all you need to know
