IMAD

short for “Interactive Modeling for Agile Development.” github

In this project, we are exploring “interactive modeling” as a paradigm for iteratively producing executable models of application domain concepts, scenarios and requirements within an agile development process. We are developing a prototype of an interactive tool to specify and describe domain entities. We are also developing an approach to incrementally attribute behaviour to these entities in concrete scenarios.

We also plan to explore how such executable models can then be exploited to support testing, analysis and live documentation of the evolving software project. This work is being carried out in the context of the SNSF project Agile Software Assistance (#200020-181973), and in particular the second track of this project on Executable domain models. See the IMAD Project Board for ongoing tasks

FSA (IMAD-FSA): Experiments to see how to model FSAs and Petri Nets with Mondrian. * Inspect: `FSAExamples`