In this work, we present DUSM (Disciplined Use Cases with Screen Mockups), a novel method for describing and refining requirements specifications based on disci
Mod compilers apply various code transformation algorithms to improve the quality of the target code. However, a complex problem is to determine which transform