面向对象分析与设计论文

形式描述技术LOTOS的实时扩展与应用

一、形式描述技术LOTOS的实时扩展及应用（论文文献综述）冯晓霞[1]（2020）在《基于模型驱动的光电跟踪系统人机界面研究》文中研究说明随着硬件、软件技术的快速发展,更新换代...
基于抽象状态机的网格系统设计与分析

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

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