2019
The initial idea
ARDoCo started as a poster at the New and Emerging Ideas (NEMI) track of ICSA 2019. It sketches the goal the project has pursued since: keeping informal documentation and formal models consistent with one another.
2019
ARDoCo started as a poster at the New and Emerging Ideas (NEMI) track of ICSA 2019. It sketches the goal the project has pursued since: keeping informal documentation and formal models consistent with one another.