我们真的需要为一个系统写文档吗？CASE工具附加组件：生成器+编辑器，用于精确的文档编制
Do we really need to write documentation for a system? CASE tool add-ons: generator+editor for a precise documentation
摘要：
系统开发项目的一个常见问题是系统文档往往过时，并且没有描述系统的最新版本。如果我们不是在谈论系统的自然语言描述，而是在谈论它的形式化规范，那么情况就更加复杂了。在本文中，我们将讨论如何解决这个问题，自动更新的文档，通过生成一个新的正式规格的模型，如果模型是经常改变。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
