面向对象分析与设计论文

GDP：面向对象和软件组件技术的设计与实现

一、GDP:面向对象和软构件技术的设计与实现（论文文献综述）毛新军[1]（2021）在《自主机器人软件工程的研究综述》文中指出自主机器人是一类运行在开放环境下具有自主行为的复杂...
用于模型检查的 UML 状态机语义

一、面向模型检验的UML状态机语义（论文文献综述）肖伟[1]（2021）在《自主化CTCS-3级列控系统新增场景建模及安全分析》文中指出自主化CTCS-3级列控系统在确保高铁列...