搜索筛选:
搜索耗时2.8845秒,为你在为你在102,285,761篇论文里面共找到 27 篇相符的论文内容
类      型:
[学位论文] 作者:舒风笛, 来源:武汉大学 年份:2003
该文针对嵌入式实时软件系统的需求规约和验证问题,提出了系统建模语言RTRSM,并以该语言为基础,展开全文,包括模型性质描述语言RITL的提出和相关规约验证问题的研究.需求属于...
[期刊论文] 作者:李欣,舒风笛, 来源:计算机应用研究 年份:2000
现在几个最常用的解决最长公共子序列(LCS)问题的算法的时间复杂度分别是O(pn),O(n(m-p)).这里m、n两个待比较字符串的长度,p是最长公共子串的长度.给出一种时间复杂度为O(p(m-p));空间复杂度为O(m+n)的算法.与以前的算法相比;不管在p<<m的情况下,还是在p接近m时,这种算法都有更快的速度.......
[期刊论文] 作者:舒风笛, 毋国庆, 来源:计算机科学 年份:2005
针对嵌入式实时系统复杂动态交互行为和严格实时的领域特征,提出了一种软件需求规约语言RTRSM*.该语言以扩充的层次并发有穷状态机HCA为核心,以支持合成的模板为基本组成单元...
[期刊论文] 作者:舒风笛,曹加恒, 来源:武汉大学学报:自然科学版 年份:1999
提出一种交互式自动挖掘知识的模型,论述了该模型的原理,实现机制,并讨论了模型中数据宝藏和影响域及其相互关系,该模型同时具有在线性与深入挖掘的优点,能灵活有效地满足实际应用......
[期刊论文] 作者:汤子楠,舒风笛, 来源:计算机工程与设计 年份:2008
软件开发工作量估算可以为多项与组织决策和项目管理相关的任务提供有效的支持。根据工作量估算的不同目标,通过对COCOMOⅡ成本驱动因子进行扩充和对国内外最新软件项目数据进...
[期刊论文] 作者:万郁香,舒风笛, 来源:计算机工程与设计 年份:2008
从价值的角度考虑软件测试过程能够增加软件的盈利。对软件测试过程创造的价值进行量化,构造了直观实用的软件测试工作量估算模型,可估算测试阶段的测试工作量和修改缺陷工作...
[期刊论文] 作者:汤子楠,舒风笛,, 来源:计算机应用研究 年份:2008
介绍了一种可用于软件采购定价的成本估算系统。首先引入了一个两阶段的成本估算模型框架。该框架利用一个裁剪的COCOMOⅡ模型估算开发总工作量,再利用一个贝叶斯网络模型估算开发总成本。并以某科技计划项目为例,对贝叶斯网络模型参数进行了定义和校准。在此基......
[期刊论文] 作者:黄蒙, 舒风笛, 李明树,, 来源:软件学报 年份:2006
需求优先级排序是指系统参与者为需求指定实现的优先次序,是迭代开发过程中开发者制定项目迭代计划的基础.现存的需求优先级排序方法对系统参与者之间的协商和调整优先级的支...
[期刊论文] 作者:舒风笛,毋国庆,王敏, 来源:小型微型计算机系统 年份:2001
本文在介绍了多媒体数据挖掘基本思想和图象数据主要特征基础之上,对图象数据关联规则挖掘进行了讨论.首先对关联规则挖掘有关问题加以描述和分析,针对图象数据,定义了新的关...
[期刊论文] 作者:舒风笛, 毋国庆, 李明树, 来源:软件学报 年份:2004
针对嵌入式实时软件需求规约及其检测问题,提出了基于层次并发有穷状态机的可合成的图形化建模语言RTRSM*(real-time requirements specification model*),利用转换有效期和...
[期刊论文] 作者:舒风笛,毋国庆,王敏, 来源:计算机科学 年份:2002
1前言软件开发的需求阶段需要严格定义被开发系统的需求规格说明书(Software Requirement Specifications,SRS).对于软件开发来说,SRS中的错误将导致开发成本、开发时间的增...
[会议论文] 作者:袁梦霆,毋国庆,舒风笛, 来源:2002全国软件与应用学术会议(NASAC) 年份:2002
本文提出解码器通信协议的一种形式化方法(FSPD),以描述不同解码器的通信协议.解码器控制软件读入不同FSPD规格说明书就能控制不同型号的解码器,从而提高了解码器控制软件的可适应性和可重用性.FSPD精确、简单,用它书写的规格说明书可以利用公理语义进行验证.......
[期刊论文] 作者:袁荣, 舒风笛, 汤子楠, 王青,, 来源:计算机工程与应用 年份:2007
输入的主观性以及输入过多是妨碍软件成本估算模型实际应用效果的重要影响因素。针对以上问题,提出了一种基于度量工具的软件成本估算模型使用方法。该方法通过引入统计理论中......
[期刊论文] 作者:王敏,毋国庆,朱立松,舒风笛, 来源:小型微型计算机系统 年份:2003
以需求描述模型RTRSM为基础,通过建立抽象的、能将控制流和数据流等有机地结合到一起的实时软件的动态执行模型,提出了构图覆盖的动态检测方法,并给出了其具体算法.该方法能...
[期刊论文] 作者:毋国庆,舒风笛,王敏,陈伟清, 来源:计算机科学技术学报 年份:2004
After introducing the overview of our requirements description model HRFSM,the paper presents a dynamic software execution model (DERTS) of embedded real-time s...
[期刊论文] 作者:舒风笛, 赵玉柱, 王继喆, 李明树,, 来源:计算机研究与发展 年份:2007
应用软件的需求获取与应用领域的特征密切相关,用户的参与日益受到重视,然而用户对系统的认识通常模糊且不完整,且对于多用户系统,需要拥有局部需求的多用户进行协同,才能得...
[期刊论文] 作者:李明树, 何梅, 杨达, 舒风笛, 王青,, 来源:软件学报 年份:2007
软件成本估算从20世纪60年代发展至今,在软件开发过程中一直扮演着重要角色.按照基于算法模型的方法、非基于算法模型的方法以及组合方法的分类方式,全面回顾、分析了软件成...
[期刊论文] 作者:吴克文,舒风笛,于本海,杨叶, 来源:计算机工程与设计 年份:2011
为克服传统进度分析方法的不足,根据项目风险理论,提出了基于人员能力和风险事件的软件项目进度风险分析模型ScedRisk。该模型能在已有项目计划及任务人员分配信息的基础上,...
[期刊论文] 作者:李奇,舒风笛,伍书剑,刘雪强, 来源:计算机工程与设计 年份:2008
软件工作量估算的方法和技术众多且各有千秋,没有一种方法被证明在各种情况下的估算都是最精确的。组合估算是一种非常有效的估算方法,它避免了选择单一的最优估算方法这一难题......
[期刊论文] 作者:李勇华,毋国庆,舒风笛,熊子阳,, 来源:计算机工程与应用 年份:2003
模拟执行是一种重要的需求规格说明书(SRS)的检测方法.文章基于面向嵌入式实时系统的需求描述模型RTRSM,提出了如何将组件化的思想和技术应用于模拟执行的检查方法中,从而增...
相关搜索: