Thesis

Execution Trace Management to Support Dynamic V&V for Executable DSMLs
PDF
Requirements management led by formal verification