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

Design and Practice of a Formal Software Modeling Framework

作　　者：杨德仁[1] 王晓峰[2] 刘建平 袁渊 YANG Deren;WANG Xiaofeng;LIU Jianping;YUAN Yuan(School of Science,Ningxia Medical University,Ningxia 750004;School of Computer Science and Engineering,Northern Minzu University,Ningxia 750021,China)

机构地区：[1]宁夏医科大学理学院,宁夏750004 [2]北方民族大学计算机科学与工程学院,宁夏750021

出　　处：《集成电路应用》2022年第12期52-53,共2页Application of IC

基　　金：教育部产学合作协同育人项目(202101335034);国家自然科学基金项目(62062001)。

摘　　要：阐述一种形式化软件建模框架的设计,经过基于项目实训的多层次和多维度探索,得到了规范和优化,其工程应用有助于提升软件建模精度。This paper describes the design of a formal software modeling framework.Through multi-level and multi-dimensional exploration based on project training,it has been standardized and optimized.Its engineering application helps to improve the accuracy of software modeling.

关 键 词：计算机技术 软件工程 建模框架 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]