会议论文《UML模型向SOFL规范的转换》发表于第一届研究生IT创新学术论坛。该文探讨了如何将统一建模语言（UML）模型转换为结构化面向对象形式语言（SOFL）规范，以提高软件系统的可验证性和一致性。研究提出了转换方法和规则，有助于实现从设计到形式化验证的无缝衔接，对软件工程领域具有重要意义。
文档为pdf格式，0.18MB，总共5页。
举报
