时态逻辑语言相关硕士博士期刊学术论文 - 搜论网

时态逻辑语言相关论文

基于时态逻辑语言XYZ/E的软件体系结构研究(Ⅰ)——基本组件和连接件的描述

XYZ/E是世界上第一个可执行的时态逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结......

期刊

时态逻辑语言 XYZ/E 软件体系结构组件连接件

基于时态逻辑语言XYZ/E的软件体系结构(Ⅱ)——常见体系结构风格的描述

XYZ/E是世界上第一个可执行的时态逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结......

期刊

时态逻辑语言 XYZ/E 软件体系结构体系结构风格

看过本文同时还关注