XYZ／E 相关硕士博士期刊学术论文 - 搜论网

XYZ／E相关论文

基于时态逻辑的软件体系结构描述语言及其可视化环境

在时态逻辑语言XYZ／E的基础上，建立了一种以可视化图形表示的软件系结构描述文XYZ／ADL，它可同时描述软件体系结构的静态与动态行为，能在......

期刊

时态逻辑 XYZ/E 软件体系结构体系结构描述语言可视化： temporal logic XYZ／E software architecture arch

看过本文同时还关注