您的位置: 专家智库 > >

骆华俊

作品数:4 被引量:61H指数:2
供职机构:中国科学院软件研究所更多>>
发文基金:“九五”国家科技攻关计划国家自然科学基金国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 3篇期刊文章
  • 1篇学位论文

领域

  • 4篇自动化与计算...

主题

  • 3篇体系结构
  • 3篇描述语言
  • 3篇结构描述语言
  • 3篇可视化
  • 3篇XYZ/AD...
  • 2篇软件体系结构
  • 2篇时态逻辑
  • 2篇时序逻辑
  • 2篇时序逻辑语言
  • 2篇体系结构描述...
  • 2篇逻辑语言
  • 1篇软件工程
  • 1篇软件体系结构...
  • 1篇软件体系结构...
  • 1篇逐步求精法
  • 1篇模块化
  • 1篇模块化程序
  • 1篇模块化程序设...
  • 1篇可视化环境
  • 1篇可视化软件

机构

  • 4篇中国科学院软...
  • 1篇重庆师范学院

作者

  • 4篇骆华俊
  • 3篇郑建丹
  • 2篇张广泉
  • 1篇唐稚松

传媒

  • 1篇重庆师范学院...
  • 1篇软件学报
  • 1篇计算机工程与...

年份

  • 2篇2001
  • 1篇2000
  • 1篇1999
4 条 记 录,以下是 1-4
排序方式:
可视化软件体系结构描述工具XYZ/ADL的设计与实现被引量:2
2001年
在时态逻辑语言XYZ/E的基础上 ,建立一种以可视化图形表示的软件体系结构描述工具XYZ/ADL ,它采用组件、连接件及交互端等基本设计单元 ,可同时描述软件体系结构的静态与动态行为 ,该语言能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡 ,从而将模块化程序设计方法和基于规范的逐步求精方法有机地结合起来。
张广泉骆华俊郑建丹
关键词:时态逻辑可视化模块化程序设计逐步求精法
基于时态逻辑的软件体系结构描述语言及其可视化环境被引量:8
2001年
在时态逻辑语言XYZ/E的基础上,建立了一种以可视化图形表示的软件体系结构描述语言XYZ/ADL.它可同时描述软件体系结构的静态与动态行为,能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡,从而将模块化程序设计方法和基于规范的逐步求精方法有机地结合起来。
张广泉郑建丹骆华俊
关键词:时态逻辑XYZ/E软件体系结构体系结构描述语言可视化
可视化体系结构描述语言XYZ/ADL被引量:54
2000年
提出一种基于时序逻辑语言 XYZ/ E的可视化体系结构描述语言 XYZ/ ADL(XYZ/ architecturedescription language) .它采用组件、连接件及交互端等设计单元 ,能描述常用的多种软件体系结构 .XYZ/ E能以统一的形式同时表示静态语义和动态语义 ,因此 ,以 XYZ/ E为基础的 XYZ/ ADL能在统一框架下完成不同抽象级体系结构设计之间的逐步过渡 .
骆华俊唐稚松郑建丹
关键词:时序逻辑语言可视化体系结构软件工程
可视化体系结构描述语言XYZ/ADL
研究人员针对XYZ系统特征提出了可视化软件体系结构描述语言XYZ/ADL,并以它作为XYZ系统的界面语言.XYZ/ADL是基于一种被称为组件(Component)的基本构件,实际上组件正是模块概念的推广,它包括两个方面:...
骆华俊
关键词:XYZ系统时序逻辑语言软件体系结构体系结构描述语言
共1页<1>
聚类工具0