uml建模工具论文

基于抽象状态机的网格系统设计与分析

一、基于抽象状态机的网格系统设计和分析（论文文献综述）周翔[1]（2015）在《基于抽象状态自动机和π演算的UML动态语义研究》文中指出随着集成电路产业的发展,计算机的硬件性能...
从 UML 状态图到 PVS 规范的自动转换和验证

一、从UML状态图到PVS规范的自动转换、验证（论文文献综述）刘文倩[1]（2020）在《基于车车通信的列控系统资源管理方法研究》文中认为近年来,国内外广泛开展了对基于车车通信...
图书馆信息系统的UML可视化建模

一、图书馆信息系统的UML可视化建模（论文文献综述）戴莉萍,王文乐[1]（2021）在《UML实验中点放式建模与编程式建模探讨》文中研究表明UML建模技术实验教学要求学生熟练掌...