Typing Requirement Model as Coroutines

Qiqi Gu, Wei Ke

Model-Driven Engineering (MDE) is a technique that aims to boost productivity in software development and ensure the safety of critical systems. Central to MDE is the refinement of…