期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
软件体系结构环境中的行为规范说明与验证
1
作者
支小莉
陆鑫达
《计算机工程》
CAS
CSCD
北大核心
2003年第11期8-10,共3页
以实时线性时态逻辑作为逻辑框架,以时控自动机作为计算模型,扩展了软件体 系结构环境Armani的行为规范说明与验证的能力。从而可以在体系结构描述的基础上从结构 和行为两方面分析验证系统在体系结构层次上的重要性质,减少软件开发...
以实时线性时态逻辑作为逻辑框架,以时控自动机作为计算模型,扩展了软件体 系结构环境Armani的行为规范说明与验证的能力。从而可以在体系结构描述的基础上从结构 和行为两方面分析验证系统在体系结构层次上的重要性质,减少软件开发的风险;并且支持 非完全规范说明,具有半形式化验证与组合验证的灵活性。
展开更多
关键词
软件体系结构
行为规范
时控自动机
下载PDF
职称材料
一种用于无线系统的自适应QoS结构
2
作者
沈芙辉
周娅
《网络安全技术与应用》
2006年第8期92-94,共3页
本文介绍了一种通过确认的支持自动化QoS决策的体系结构。该体系结构的模型以及QoS决策功能由辅助组件完成,该辅助组件是由知识库和决策机构联合而成。这种管理体系在适应新形式的QoS请求和降低人为操作上有优势。
关键词
无线系统
QOS
时控自动机
原文传递
题名
软件体系结构环境中的行为规范说明与验证
1
作者
支小莉
陆鑫达
机构
上海交通大学计算机系
出处
《计算机工程》
CAS
CSCD
北大核心
2003年第11期8-10,共3页
基金
国家自然科学基金资助项目(60173103)
文摘
以实时线性时态逻辑作为逻辑框架,以时控自动机作为计算模型,扩展了软件体 系结构环境Armani的行为规范说明与验证的能力。从而可以在体系结构描述的基础上从结构 和行为两方面分析验证系统在体系结构层次上的重要性质,减少软件开发的风险;并且支持 非完全规范说明,具有半形式化验证与组合验证的灵活性。
关键词
软件体系结构
行为规范
时控自动机
Keywords
Software architecture
Behavioral specification
Timed automata
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一种用于无线系统的自适应QoS结构
2
作者
沈芙辉
周娅
机构
桂林电子工业学院计算机系
出处
《网络安全技术与应用》
2006年第8期92-94,共3页
文摘
本文介绍了一种通过确认的支持自动化QoS决策的体系结构。该体系结构的模型以及QoS决策功能由辅助组件完成,该辅助组件是由知识库和决策机构联合而成。这种管理体系在适应新形式的QoS请求和降低人为操作上有优势。
关键词
无线系统
QOS
时控自动机
Keywords
Lead-in Systcm
QoS
The hour controls from motive
分类号
TN925 [电子电信—通信与信息系统]
原文传递
题名
作者
出处
发文年
被引量
操作
1
软件体系结构环境中的行为规范说明与验证
支小莉
陆鑫达
《计算机工程》
CAS
CSCD
北大核心
2003
0
下载PDF
职称材料
2
一种用于无线系统的自适应QoS结构
沈芙辉
周娅
《网络安全技术与应用》
2006
0
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部