In Model-Driven Engineering, openly providing research artifacts has become vital, e.g. for the broader adoption of AI techniques. We present you a set of guidelines designed as a toolkit to support researchers in creating, sharing, and maintaining artifacts in MDE research.
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
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...
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.