情态演算相关硕士博士期刊学术论文 - 搜论网

情态演算相关论文

基于情态演算的UML形式化验证与OCL约束自动生成研究

从软件工程中软件生命周期的角度分析,软件架构是软件的核心结构与行为,因而软件架构的设计是软件设计的核心,也是随后进行代码开......

学位

UML 情态演算 Prolog OCL 形式化验证自动生成

情态演算在行动推理中的应用

情态演算是专门设计来表示动态变化世界的一个二阶多类语言,它可作为描述动态系统的一个工具,在行动推理的应用中显示出其强大的表......

期刊

情态演算行动推理规划感知动态系统

看过本文同时还关注