Reproduction Package for Evaluating the Vitruvius Approach

The Vitruvius approach for consistency in view-based system development proposes a process and mechanisms for developing complex software and software-intensive systems by means of views that are kept consistent by explicit specifications of their dependencies.
This repository provides the projects of the Vitruv framework (https://vitruv.tools), which implements that approach. It contains a prepared execution environment for the framework as well as case study projects. In addition, it provides a script to run the environment and automatically resolve all dependencies based on Docker.
The repository was created to be used as a reproduction package for the evaluation of the article "Enabling consistency in view-based system development - The Vitruvius approach" by Klare et al., published in "The Journal of Systems & Software".