排序方式: 共有9条查询结果,搜索用时 203 毫秒
1
1.
2.
以定义事件驱动型系统需求的SCR(Software CostReduce)方法和时序逻辑为基础,提出了一种能够根据SCR方法与时序逻辑之间的语义联系和时序逻辑的推理能力有效地检查用SCR方法定义的事件驱动型系统的需求分析方法.为便于理解,还给出了一个简单的例子来介绍如何分析和检查用SCR方法定义的需求的有效性. 相似文献
3.
为了提高高维数据集合数据挖掘效率,探讨了采用数据变换进行数据维数消减的方法及其应用,提出了一个通用的数据变换维数消减模型,给出了应用主成分分析方法计算模型中的数据变换矩阵的方法,相应的数据变换应用实例表明,通过数据变换用相当少的变量来捕获原始数据的最大变化是可能的. 相似文献
4.
代码组件的动态组合重用方法 总被引:1,自引:0,他引:1
阐述了代码组件及其动态组合重用方法的基本概念,详细地介绍了一种动态组合重用代码组件的方法——DCRCC(Dynam icCom position Reuse ofCodeCom ponent)方法. 实践表明,基于代码组件的封装技术、组合技术和库管理技术,DCRCC方法能够通过动态组合重用代码组件的方式有效地进行软件开发. 相似文献
5.
6.
由于SCR(SoftwareCostReduction)是较实用的定义软件系统需求的方法,以此方法为基础,提出一个形式化的分析和检查需求的模型.此分析和检查模型主要根据综合知识表示模型的一些基本原理,使用状态转换规则、语义计算规则和属性来形式化地描述SCR中表格符号的语义,并通过执行规则来自动分析由SCR定义的需求.为便于理解,给出了一个简单的实例来介绍如何分析和检查基于SCR的需求的一致性和完整性. 相似文献
7.
由于DeMarco的数据流图(DDFD)缺乏形式化的描述方法,本文提出了一种使用综合知识表示模型MAS来形式化描述DDFD的新方法.使用此方法,能方便地建立一些有关DDFD的知识规则,并能对DDFD自动进行一致性和完全性检查 相似文献
8.
提出了一个结合多视点的快速原型化方法,该方法及其需求定义过程主要使用视点和视点模板来定义用户的需求,从而提高了需求规格说明的可读性和可审查性.此外,本文也讨论了这个新方法的特点和今后需要解决的问题. 相似文献
9.
提出了一个检测嵌入式实时软件需求规格说明的方法,该方法将原型化方法,可执行的需求描述语言和动画显示集成为一体,并可模拟执行嵌入式实时软件的需求规格说明,此外,也阐述了这个方法的基本原理和某些实现方法,最后,讨论了这个方法及相关的支持环境的特点。 相似文献
1