云南高校图书馆联盟文献共享服务平台- 国家自然科学基金(69873035)

国家自然科学基金(69873035): 作品数：14被引量：24H指数：3; 导出分析报告; 相关作者：毋国庆蔡持峰李勇华李剑王敏更多>>; 相关机构：武汉大学武汉理工大学华南理工大学更多>>; 相关期刊：《Wuhan University Journal of Natural Sciences》《计算机工程与应用》《计算机应用研究》《小型微型计算机系统》更多>>; 相关主题：软件工程软件开发软件系统需求规格说明需求规约更多>>; 相关领域：自动化与计算机技术建筑科学更多>>

一种谓词驱动的目标求精方法被引量：1: 《计算机工程》2007年第21期58-60,共3页李勇华王锋毋国庆江敏; 国家自然科学基金资助项目(69873035);高等学校博士点专项科研基金资助项目; 目标求精是场景和目标相结合的需求建模方法中的一个重要环节。该文基于目标和场景相结合的需求建模,提出了谓词驱动的目标求精方法,通过对目标谓词描述的分类来指导整个求精过程的进行。同传统的求精方法相比,该方法具有对需求分析员...; 关键词：需求工程目标场景需求规约

模拟执行操作目标的方法研究: 《计算机工程与应用》2007年第15期15-18,共4页李勇华毋国庆; 国家自然科学基金(the National Natural Science Foundation of China under Grant No.69873035);高等学校博士点专项科研基金。; 模拟执行的检测方法是检测需求规格说明书的一种重要手段。在目标和场景相结合的需求建模方法的基础上,提出了对操作目标集合的模拟执行方法。该方法为代理的层次划分提供了理论支持,并将操作目标集合转换成了基于规则的层次式有穷状态...; 关键词：需求工程模拟执行目标场景需求规约

从时序图描述推导目标描述的方法研究被引量：1: 《小型微型计算机系统》2007年第3期443-446,共4页李勇华毋国庆刘小丽张帆; 国家自然科学基金(69873035)资助;高等学校博士点专项科研基金资助; 面向场景的需求建模方法自面世以来,在需求分析过程中被越来越广泛的使用.但是面向场景的需求分析方法在保证需求的一致性和完整性上存在着很大的困难.面向目标的需求分析方法,以目标需求为研究内容,目前已经成功的解决了需求完整性和...; 关键词：场景时序图目标需求分析

A Requirements Engineering Environment for Embedded Real-Time Software—SREE: 《Wuhan University Journal of Natural Sciences》2006年第3期533-538,共6页LI Yonghua SHU Fengdi WU Guoqing LIANG Zhengping; Supported by the National Natural Science Foun-dation of China(69873035) ;the K.C. Wong Education Foundation,Hong Kong,China; The paper presents the embedded real-time software-oriented requirements engineering environment—SREZ. It involves the whole process of software requirements engineering, including the definition, analysis and checki...; 关键词：embedded real-time system requirements specification requirements verification simulation execution

根据用户行为网上导航的方法被引量：2: 《计算机研究与发展》2005年第5期765-770,共6页杨捷毋国庆; 国家自然科学基金项目(69873035);华南理工大学自然科学基金项目(G03E5041450); 随着因特网的成长,网络浏览使人们从本地或远程更方便地获取各种信息.网页数量的疯狂增长已经使得用户面对庞大的数据群无所适从,急需导航技术的帮助.一个新的马尔可夫链模型被引入用来跟踪所有团体成员的网页访问活动,并且推荐一些有...; 关键词：数据挖掘网络导航数据搜集马尔可夫链

软件体系结构评估方法的研究被引量：6: 《计算机应用研究》2004年第6期11-14,共4页胡红雷毋国庆梁正平刘秋华; 国家自然科学基金资助项目 (6 98730 35 ); 体系结构评估是软件开发中的一项重要工作 ,目的是分析体系结构潜在的风险 ,并检验设计中提出的质量属性需求。介绍并讨论了有代表性的三种评估方法 :SAAM ,ATAM ,ALPSM ,在此基础上提出一个概念上的比较框架来分析这些评估方法的相似...; 关键词：软件体系结构评估质量属性场景 SAAM ATAM ALPSM

基于构图覆盖的软件需求检测方法: 《小型微型计算机系统》2003年第11期1963-1968,共6页王敏毋国庆朱立松舒风笛; 国家自然科学基金 (项目号 :69873 0 3 5 )资助 ;高等学校博士点专项科研基金资助; 以需求描述模型 RTRSM为基础 ,通过建立抽象的、能将控制流和数据流等有机地结合到一起的实时软件的动态执行模型 ,提出了构图覆盖的动态检测方法 ,并给出了其具体算法 .该方法能检测嵌入式实时软件系统动态执行步中各并行成分及其相互...; 关键词：嵌入式实时软件系统需求规格说明动态执行模型构图

组件思想在模拟执行的需求检查方法中的运用被引量：2: 《计算机工程与应用》2003年第3期61-63,共3页李勇华毋国庆舒风笛熊子阳; 国家自然科学基金(编号:69873035);高等学校博士点专项科研基金资助; 模拟执行是一种重要的需求规格说明书(SRS)的检测方法。文章基于面向嵌入式实时系统的需求描述模型RTRSM,提出了如何将组件化的思想和技术应用于模拟执行的检查方法中,从而增加了SRS的可靠性和正确性。最后,文章提出了根据需求描述模型...; 关键词：组件思想模拟执行需求检查方法软件开发软件系统嵌入式实时软件系统需求规格说明

一种嵌入式实时系统软件的形式化开发方法: 《计算机工程与应用》2002年第13期26-29,80,共5页杨捷毋国庆; 国家自然科学基金(编号:69873035); 高等学校博士点专项科研基金; 领域特征突出的嵌入式实时系统软件开发,既需要严格地保证可靠性又要充分反映实时和交互行为特征,针对这种需要,该文提出了一种从需求分析到体系结构建模直至使用组件技术实现软件的形式化开发方法。文章在介绍了目前的各软件工程领域...; 关键词：嵌入式实时系统软件形式化开发方法软件工程

嵌入式实时系统的软件需求检测被引量：5: 《软件学报》2002年第5期994-1002,共9页毋国庆朱立松王敏蔡持峰陈伟清; 国家自然科学基金资助项目(69873035);国家教育部博士点基金资助项目~~; 以需求描述模型HRFSM(hierarchical finite state machines based on rules)为基础,提出了一个嵌入式实时系统软件的动态执行模型(dynamic execution model,简称DEM)和基于该模型的检测方法.由于DEM能将控制流、数据流和时间有效地集成...; 关键词：软件开发嵌入式实时系统软件需求检测

国家自然科学基金(69873035)