一种形式化软件建模框架设计与实践

作者：杨德仁; 王晓峰^*; 刘建平; 袁渊

来源：集成电路应用, 2022, 39(12): 52-53.

DOI：10.19339/j.issn.1674-2583.2022.12.019

• 计算机技术
• 软件工程
• 建模框架

阐述一种形式化软件建模框架的设计，经过基于项目实训的多层次和多维度探索，得到了规范和优化，其工程应用有助于提升软件建模精度。

• 单位
  北方民族大学; 宁夏医科大学