聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 基于二分决策图的特征模型验证方法
出处:软件学报 2010年第1期 84-97,共14页
摘要:特征模型是领域分析活动产生的具有复用价值的软件需求模型.对特征模型的复用通常采用定制的方式.特征模... 显示全部
关键词: 特征模型 验证 领域工程 软件复用
在线阅读 下载全文
期刊文章 问题驱动的需求捕获中问题分析与解决技术研究
出处:计算机研究与发展 2013年第7期1513-1523,共11页
摘要:问题驱动的需求捕获方法广泛应用于需求获取.然而,利益相关者通常难以找到真实的、一致的问题解决方案并... 显示全部
关键词: 需求工程 问题驱动 需求捕获 协同 问题分析
在线阅读 下载全文
期刊文章 ABC:一种全生命周期软件体系结构建模方法
出处:中国科学:信息科学 2014年第5期564-587,共24页
摘要:随着计算机硬件能力的快速增长和软件应用规模的不断扩大,软件的复杂性也在持续增长.并始终制约着软件开... 显示全部
关键词: 软件复杂性 软件体系结构 特征模型 运行时模型 程序分析 网构软件
在线阅读 下载全文
期刊文章 无线传感设备及数据的对象化访问方法
出处:计算机科学与探索 2011年第12期 1076-1084,共9页
摘要:物联网(Internet of things,10T)是近年来的研究热点之一,然而传感设备只提供了比较底层的访问接口,通... 显示全部
关键词: 物联网 无线传感器 面向对象 对象关系映射
在线阅读 下载全文
期刊文章 知识引导的软件可信性需求的提取
出处:计算机学报 2011年第11期 2165-2175,共11页
摘要:软件系统的可信性已经成为一个受到广泛关注的焦点问题.开发可信的软件系统的前提是在需求阶段提取恰当的可... 显示全部
关键词: 可信需求 可信需求模式 可信需求获取 需求工程
在线阅读 下载全文
期刊文章 一种“用例+控例”驱动的软件分析与设计方法
出处:软件学报 2013年第4期675-695,共21页
摘要:随着软件本身及其运行环境的日益复杂,软件可信性引起人们越来越多的关注.软件的分析与设计也越来越需要... 显示全部
关键词: 软件可信性 可信性需求 需求分析 系统设计
在线阅读 下载全文
期刊文章 分离逻辑的技术基础与研究现状
出处:广州大学学报:自然科学版 2019年第2期1-9,共9页
摘要:随着计算机系统复杂性的日渐增加,可靠性正成为计算机软件理论中新的研究热点.运用数理逻辑中的推理方法,研... 显示全部
关键词: 分离逻辑 形式化方法 双向诱导推理 程序验证
在线阅读 下载全文
找到7条结果
`