Automated requirements engineering for MDE
Kevin Lano · Zenodo (CERN European Organization for Nuclear Research) · 2021
This repository contains source requirements documents and the formalised specifications resulting from our automated requirements formalisation approach. The tools used and instructions for reproduction are also provided. MTBE and CGBE examples are also provided.