需求规约

作品数：23被引量：35H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：黄志球毋国庆袁文杰万海祝义更多>>
相关机构：武汉大学南京航空航天大学中山大学云南大学更多>>
相关期刊：《安徽工程大学学报》《南京大学学报（自然科学版）》《小型微型计算机系统》《中国战略新兴产业》更多>>
相关基金：国家自然科学基金国家教育部博士点基金国家高技术研究发展计划广东省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
《信息系统与抽象建模》教学案例
《中国信息技术教育》2024年第1期32-34,共3页戴芳铭 高士娟 张红玉 曹恒来 
学习内容分析信息系统是人们在社会活动中,以满足信息需求为目标而建立的综合系统。在开发信息系统前,需要运用抽象思维对系统的用户需求进行分析。在需求定义过程中,由于开发人员、系统用户对系统目标的考虑或表达不全面,常常会出现内...
关键词：统一建模语言 信息系统 需求定义 二义性 需求规约 可验证性 含糊不清 图形符号 
轨道交通控制软件中基于场景的需求分析方法被引量：1
《计算机工程》2021年第8期284-293,300,共11页闫倩倩 缪炜恺 
国家自然科学基金面上项目“数据驱动的机器学习软件系统的形式化需求建模工程方法”(61872144);国家自然科学基金青年基金“嵌入式控制软件的形式化规格说明构建的工程方法”(61402178)。
针对轨道交通控制软件的形式化方法,在实际工程应用中存在形式化建模和系统级场景验证困难的问题。提出一种面向轨道交通领域的形式化建模和需求确认及验证方法。通过非形式化、半形式化到形式化规约三步演化过程,为形式化规约构建提供...
关键词：形式化方法 需求规约 需求确认和验证 场景优化 轨道交通控制软件 
刍议面向航天器星载软件的形式化验证方法
《电脑知识与技术》2020年第25期205-206,共2页王明亮 王永 尤志坚 施敏华 
随着星载软件在航天器上实现的功能比重越来越高,星载软件可靠性和可信性的指标要求越来越严格。传统软件测试方法的局限性难以确保万无一失,形式化方法以其高度数学化和严谨性的特点,常被应用于安全关键软件的验证。本文针对星载软件...
关键词：星载软件 形式化验证 需求规约化 形式化语法 
大数据驱动的多视点软件需求规约被引量：2
《中国电子科学研究院学报》2020年第2期147-151,158,共6页张国生 
国家自然科学基金项目(61379032).
用大数据方法对自然语言软件需求文档进行分析,基于LDA三层贝叶斯网概率主题模型,将文档建模为多个主题的混合概率分布,将每一个隐含主题建模为多个词的混合概率分布。用Gibbs采样算法估算模型的主题概率分布和词概率分布,将需求文档集...
关键词：LDA 主题 GIBBS采样 视点 概率分布 大数据 需求规约 
面向特征的软件需求规约被引量：1
《微电子学与计算机》2019年第11期20-23,共4页张国生 
国家自然科学基金(61379032)
基于大数据方法对自然语言用户需求文本进行分析,用TF-IDF方法计算特征词在需求文本中的出现频率,归一化后求得特征词在文本中的权重,用卡方统计量衡量特征词和簇之间的相关性,用k-均值算法和二分k-均值算法对特征集聚类,生成用户需求...
关键词：TF-IDF 卡方 K-均值 二分k-均值 特征树 功能分解树 
基于限定自然语言需求模板的AADL模型生成方法被引量：14
《软件学报》2018年第8期2350-2370,共21页王飞 杨志斌 黄志球 周勇 刘承威 章文炳 薛垒 许金淼 
国家自然科学基金(61502231,61272083);阁家高技术发展计划(863)(2015AA105303);GF基础科研重点项目(JCKY20162038011)：国家重点研发计划(20J6YFB1000802);江苏省自然科学基金(BK20150753);软件开发环境国家重点实验室开放课题(SKLSDE-2015KF-04);航空科学基金(2015ZC52027)
随着嵌入式软件系统在汽车、核工业、航空、航天等安全关键领域的广泛应用,其失效将会导致财产的损失、环境的破坏甚至人员的伤亡,使得保障软件安全性成为系统开发过程中的重要部分.传统的安全性分析方法主要应用在软件的需求分析阶段...
关键词：嵌入式软件 软件安全性 需求规约 限定自然语言需求模板 AADL 可追踪性 
面向服务组合的用户隐私需求规约与验证方法被引量：4
《软件学报》2016年第8期1948-1963,共16页彭焕峰 黄志球 范大娟 章永龙 
国家自然科学基金(61272083);国家高技术研究发展计划(863)(2015AA015303);中国博士后科学基金(201104914 11);江苏省博士后科研计划(1101092C)~~
用户向Web服务组合提供隐私数据时,不同用户有自身的隐私信息暴露需求,服务组合应支持用户隐私需求的可满足性验证.首先提出一种面向服务组合的用户隐私需求规约方法,用户能够定义隐私数据及不同使用情境的敏感度,采用敏感度-信誉度函...
关键词：信誉度 服务组合 隐私保护 隐私开放工作流网 隐私数据项依赖图 
云计算:让个人重回英雄时代
《中国战略新兴产业》2015年第3期80-81,共2页刘鹏 
强大的计算能力、存储能力和简单高效的编程接口,使得一位程序员能够轻松地操控成千上万台计算机,而不必考虑太多的细节。在信息技术的不断变革中,那些曾经耳熟能详的程序英雄的名字渐渐地离我们远去,个人的力量变得越来越渺小。正当我...
关键词：计算能力 编程接口 英雄时代 信息技术 江民 需求规约 用户界面层 业务逻辑层 代码量 求伯君 
一种基于需求规约的谓词测试用例生成方法
《安徽工程大学学报》2014年第3期45-48,共4页方冉 
安徽省自然科学基金资助项目(1408085MF124)
软件失效多数由其包含的谓词引发.本文针对特定的故障模型,提出一种基于需求规约的谓词测试用例生成方法.该方法从需求规约中提取出因果图,再将因果图转换为谓词,再由BRO算法生成测试约束集,最后将生成测试用例集.实例分析表明,方法能...
关键词：需求规约 因果图 测试用例生成 谓词测试 
需求演化排队模型研究被引量：1
《计算机科学》2012年第5期106-109,123,共5页严玉清 李师贤 孙为军 黄昌勤 
国家自然科学基金(60940033);广东省自然科学基金(10151063101000046)资助
用定量手段研究需求演化需要相关方法加以指导。利用排队论来分析需求变化请求从提出到实现的整个过程所具有的排队模型特征。在M/M/1/m/m假设之下,改进了现有需求成熟度的计算方法,并通过实例计算了该排队模型的特征指标,分析了这些数...
关键词：需求演化 需求规约 排队论 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部