论文部分内容阅读
软件工程形式化是软件工程自动化的前提,软件自动化能在根本上提高软件质量和生产效率。文章提出了一种形式化的需求获取方法,首先在离散系统模型的基础上,提出了一个可以适用于软件生命周期所有阶段的模型-公平离散系统模型,进而给出了其在软件需求获取过程中求精、验证和控制复杂性的方法、需求模型复用的概念。
一种适用于软件生命周期系统模型的需求获取方法研究
【摘 要】
：
软件工程形式化是软件工程自动化的前提,软件自动化能在根本上提高软件质量和生产效率。文章提出了一种形式化的需求获取方法,首先在离散系统模型的基础上,提出了一个可以适
【出 处】
：
微型电脑应用
【发表日期】
：
2010年2期
其他文献
目的:究和分析门诊投诉管理以及医疗服务质量持续改进的临床价值效果。方法:选取2017年4月至2018年3月在我院门诊就诊的450例患者,对他们进行问卷调查,让他们对不满意的地方
当前的网页数据记录抽取方法，存在着需要大量人工标注或者通用性不足的缺陷。为了解决这些问题，利用网页数据记录的结构性特征和视觉特征，提出了一种基于聚类的全自动网页记录抽
AdHoc网络在很多重要领域有着广泛的应用，而AdHoc网络的信道访问控制（MAC）协议对AdHoc网络的运行和性能具有重要影响。该文针对AdHoc网络对业务流量均衡性和QoS保障机制的要求，提
在城市迅速发展下,水暖管道施工随着水暖分户计量的实施而有所改变,城市居民室内所采用的水暖管道大多采用的是塑料管,这样便于安装与地埋施工,但施工过程若处理不当,也会出
车牌识别技术作为智能交通管理的核心技术,在现代化的交通管理系统中占有重要的地位,基于DSP芯片TMS320C6446构建车牌识别系统,具有集成度高、安装方便、扩充性好、操作简单等特点,同时,也能够应对交通系统中各种复杂天气情况等工作要求,因此具有广阔的应用前景。从嵌入式车牌识别算法的研究和基于TMS320C6446的硬件平台的构建两个方面,对嵌入式车牌识别技术做了比较深入的研究,设计的车牌识别方法
高中阶段是学生树立正确“三观”的重要时期,也是培养其核心素养的关键阶段。在高中阶段,思想政治是比较重要的学科,它有助于从多方面提升学生的素养,也能有效培养学生的核心
<正>中美经贸关系是两国关系"压舱石",这句话常被人们提起。互利的经贸往来给两国人民带来切实利益,也为两国经济发展和世界经济复苏注入动力。然而,由于美国长期不愿放宽对
电法勘探技术因其设备投资少、施工成本低、工作效率高、对地下水的赋存状况反应相对敏感等优势，被广泛地应用于寻找地下水源的工作中。认为物探人员在进行电法找水时，若能紧密