截图右侧手写质数列表仅写到 43，代码完整算出 1~120 全部质数，补齐 47、53、59、61、67、71、73、79、83、89、97、101、103、107、109、113。使用 ANSI 颜色码模拟截图紫色质数格子，10 个数字一行，和图片布局完全对齐。控制台输出 10 列数字网格，质数紫色高亮，和截图布局一致。运行结果：输出 1~120 完整质数集合。

本文探讨了形式化方法与UML建模在软件开发中的结合应用。形式化方法通过数学符号和逻辑推演确保系统可靠性，适用于高安全领域，包括形式化规格、验证和开发三个核心分类。而《大象：Thinking in UML》强调UML是业务抽象工具而非简单绘图，贯穿软件全生命周期。文章指出，UML作为半形式化建模语言可与形式化方法互补：UML提供易懂的模型表达，形式化方法则进行严格验证。二者结合既能保证业务模型清晰落