Model-based generation of natural language specifications

Phan Vo Thu Nhat, Maria Spichkova

Application of formal models provides many benefits for the software and system development, however, the learning curve of formal languages could be a critical factor for an indus…