• 简体   /   繁体
基于定理证明的UML多视图模型良构一致性验证方法-计算机应用研究2026年02期

基于定理证明的UML多视图模型良构一致性验证方法

作者:吴润方 杜晔 黎妹红 字体:      

中图分类号:TP311.5 文献标志码:A 文章编号:1001-3695(2026)02-031-0577-11doi:10.19734/j.issn.1001-3695.2025.05.0220

0 引言

在复杂系统与软件工程领域,统一建模语言(UML)凭借其优良的可视化能力与多视图(试读)...

计算机应用研究

2026年第02期