【摘 要】
：
通过对使用情形的分析来进行需求获取和需求分析可以使软件需求分析的工作较为系统和有序.由于每一个情形实例都只从特定的使用者的角度,根据所需达到的特定使用目的,针对特
论文部分内容阅读
通过对使用情形的分析来进行需求获取和需求分析可以使软件需求分析的工作较为系统和有序.由于每一个情形实例都只从特定的使用者的角度,根据所需达到的特定使用目的,针对特定的使用条件,来描述一个复杂系统中的一个局部,与对整个复杂系统的需求进行分析和描述相比,在特定情形实例下对软件需求进行分析与描述较简单容易.然而,如何保证情形实例描述之间的一致性,如何从情形实例的描述获得整个软件系统的需求定义则是以情形实例分析为基础的需求分析方法的关键,也是尚未解决的问题中的难点.本文介绍在以功能分解为基础的需求分析途径中描述软件需求情形实例的方法,讨论情形实例描述与需求定义之间的一致性和完备性,介绍从情形实例描述到完整的软件需求定义的自动综合以及一致性、完备性的自动检查.
其他文献
目的研究血浆N端B型钠尿肽前体（NT—proBNP）水平对老年患者急性呼吸困难鉴别诊断意义。方法对焦作市人民医院门诊或住院治疗的老年急性呼吸困难患者，检测血浆NT—proBNP含量，并进
曲菌病(aspergillosis)是曲菌属菌引起的感染性疾病,肺曲菌球是其中的特殊类型,多发生于肺结核、慢性支气管炎、支气管扩张、肺癌等,特别是多发于上述疾病又伴有空洞性病变者
目的:观察阿维A治疗2例重症板层状鱼鳞病的疗效和安全性.方法:通过对比服药前后皮损情况分析阿维A治疗重症板层状鱼鳞病的疗效、剂量及其副作用.结果:2例重症板层状鱼鳞病患
目的 观察茵陈蒿汤防治母儿ABO血型不合的临床疗效。方法 将80例血型免疫抗体IgG抗A(B)≥128的孕妇随机分为2组,治疗组62例,给予茵陈汤治疗。对照组18例,口服维生素C、E和吸
对影响风机运行周期的原因进行了综合分析，从设备、工艺和维护几方面分析了可能导致风机运行时间短的因素，提出多种措施，改善了风机作业状况、工作环境，延长了风机运行寿命。
将键级守恒-Morse势方法应用于合金体系,作了部分修正.通过与Ni(100),Cu(100)比较,研究了NiCu(100)上合成气甲烷化反应活性.表明,因Cu的加入,NiCu上甲烷化反应活性较Ni上显著
在数据库系统中连接操作是一个开销相当大的操作,因此人们对连接算法进行了大量的研究工作,包括连接过滤器技术的研究.本文提出了一种新的连接过滤器技术,即签名过滤器,以进
增量式IHMCAP算法采用适合于混合型学习的FTART神经网络，成功解决了符号学习与神经网络学习精度之间的均衡性问题．该算法还具有较强的增量学习能力，在给系统增加新的示例时，不用
本文描述了Agent规范与编程语言SPLAW的语法,为SPLAW中的各种语言成分提供了操作语义,并基于标记转换系统给出Agent性质的证明规则.由于SPLAW的通信部分采用不依赖于具体应用
工程图纸的计算机输入识别和理解是当今CAD／CAM领域中一个亟待解决的重要课题．本文系统分析了此类系统中常见的一些处理方法，剖析了各自的优劣之处，介绍了基于图段结构的整体识别方法的主要思想、涉及到的基本概念及核心数据结构——图段结构．在此基础上提出了几个主要算法，并分析了整体识别方法的特点．最后给出了一个实例，结果表明该方法较好地解决了其它方法所面临的一些困难，不失为一种值得进一步探索的有效手段．