位置：成果数据库 > 期刊 > 期刊详情页
基于时序逻辑的软件体系结构描述语言及其可视化环境
  • 期刊名称：计算机工程与应用
  • 时间：0
  • 作者或编辑：3448
  • 第一作者所属机构：中国科学院软件研究所
  • 页码：37(5):14-16,2001
  • 语言：中文
  • 相关项目：基于XYZ/E的可视化软件体系结构描述语言研究
作者： 张广泉|郑建丹|骆华俊|
同期刊论文项目
基于XYZ/E的可视化软件体系结构描述语言研究
期刊论文 22 会议论文 2 著作 1
同项目期刊论文
基于线性时序逻辑的实时系统模型检查
带有时钟变量的线性时序逻辑与实时系统验证
基于时序逻辑语言XYZ/E的软件体系结构研究(II)—常见体系结构风格的描述
基于时序逻辑语言XYZ/E的软件体系结构研究(I)—基本组件和连接件的描述
可视化软件体系结构描述工具XYZ/ADL的设计与实现
三机冗余容错系统的描述和验证
一种基于构件的软件体系结构求精方法及其应用
XYZ/E面向对象程序语义概述
基于线性时序逻辑的实时系统建模与求精
UML在运输业务管理系统建模中的应用
基于时序逻辑语言描述的监控系统的软件体系结构求精
基于时态逻辑的软件体系结构描述语言及其可视化环境
面向方面的软件体系结构建模研究
基于XYZ／ADL的电梯控制系统体系结构的描述与求精
一种新型的软件体系结构描述方法研究
Study on conversion mechanism from software architectural description language to UML
XYZ／ADL到UML的一种映射方法
UML Statechart图中数据流的语义及验证
定义及验证UML Statechart图中的数据流语义