聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 基于Pi演算的网构软件组装与演化框架
出处:微计算机信息 2011年第2期243-245,共3页
摘要:如何在开放的Internet环境下实现各种异构资源的共享与集成,已经成为计算机技术面临的重大挑战,并由此提出... 显示全部
关键词: 网构软件 软件演化 演算 进程代数 形式化方法
在线阅读 下载全文
期刊文章 基于动态描述逻辑的网构软件系统故障诊断
出处:软件学报 2010年第2期 248-260,共13页
摘要:提出了一种应用动态描述逻辑对被诊断系统进行分析的方法.动态描述逻辑的语法和语义非常适宜刻画系统的正... 显示全部
关键词: 故障诊断 网构软件 动态描述逻辑 可信软件 离散事件系统
在线阅读 下载全文
期刊文章 一种基于主体的可信网构软件设计方法
出处:电子学报 2010年第11期 2523-2528,共6页
摘要:本文提出了一种基于主体的网构软件设计方法ABDPI,该方法对传统的多主体系统设计方法进行了扩展,支持网构软... 显示全部
关键词: 网构软件 信任模型 故障诊断 动态描述逻辑
在线阅读 下载全文
期刊文章 网构软件的学习与研究
出处:科协论坛:下半月 2008年第10期95-96,共2页
摘要: 20世纪90年代以来,计算机网络得到了飞速发展。基于Internet环境下软件开发和应用的需要,网构软件这一新型... 显示全部
关键词: 网构软件 构件 软件体系结构 基于构件的软件开发
在线阅读 下载全文
期刊文章 ABC:一种全生命周期软件体系结构建模方法
出处:中国科学:信息科学 2014年第5期564-587,共24页
摘要:随着计算机硬件能力的快速增长和软件应用规模的不断扩大,软件的复杂性也在持续增长.并始终制约着软件开... 显示全部
关键词: 软件复杂性 软件体系结构 特征模型 运行时模型 程序分析 网构软件
在线阅读 下载全文
找到5条结果
`