2014/04/29 by Maria Spichkova, Spichkova, Maria, Xiuna Zhu +3 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #Model-Driven Software Engineering Techniques #Software Engineering Research #cs.SE
paper · pdf · doi:10.48550/arxiv.1404.7265
In Proceedings International Conference on Model-Driven Engineering and Software Development (MODELSWARD'13)
arxiv created 2014/04/29 · arxiv updated 2014/04/30
One of the common problems of system development projects is that the system documentation is often outdated and does not describe the latest version of the system. The situation is even more complicated if we are speaking not about a natural language description of the system, but about its formal specification. In this paper we discuss how the problem could be solved by updating the documentation automatically, by generating a new formal specification from the model if the model is frequently changed.