【摘 要】
：
问题框架方法是Michael Jackson提出的一个著名的问题分析和结构化的软件工程方法.但是,现在依然没有工具支持问题框架方法的使用。本文提出基于本体的工具是一种可行的手段
【机 构】
：
中科院研究生院 北京 100080 中科院数学与系统科学研究院 北京 100080
论文部分内容阅读
问题框架方法是Michael Jackson提出的一个著名的问题分析和结构化的软件工程方法.但是,现在依然没有工具支持问题框架方法的使用。本文提出基于本体的工具是一种可行的手段。本文的目的就是建立一个问题框架本体来指导问题框架方法的规范描述。它提供了问题框架方法中使用的基本的概念和术语,并且给出了问题框架方法的一个概念模型。我们用一个案例研究来说明它如何指导问题框架方法的规范描述。
其他文献
当细胞遭受各种压力刺激后,内质网会积累大量未折叠蛋白,产生内质网应激,对细胞产生损害.为了削弱这种损害,细胞会通过启动未折叠蛋白应答途径,促进下游基因表达来帮助细胞生
为了揭示绒毛白蜡种质之间的遗传多样性和亲缘关系,本试验选取50份绒毛白蜡种质,采用荧光标记AFLP技术,利用筛选出的9对EcoR Ⅰ/Mse Ⅰ引物对绒毛白蜡种质进行遗传变异及遗传
Internet环境开放、动态的本质,计算实体自身的自主性和独立性以及网络连接的不稳定性等,均对组装高可用实时网构软件提出了新的要求。本文提出了一种基于Agent的高可用实时
那是一个春光明媚的时节,我在瑞士苏黎世的一家小旅馆里度过了一个不眠之夜。翌日清晨,我独自一人前往机场,去搭乘奥地利航空公司的班机,旅程的终点是维也纳。天气晴朗。道
作为一种面向对象分析和设计建模语言,统一建模语言(UML)已经越来越多地被用在大型系统中,尽管其表达简单明了,易于理解,但缺乏准确语义,难以对其进行语义分析和验证的问题。
基于类间依赖的测试一直是面向对象软件测试的一个难点和热点。研究类间依赖关系的核心是为了确定类测试顺序,不同的测试顺序分配算法将产生不同的测试工作量。在确保软件质
为了研究玉米叶型性状的QTL以及它们的上位性效应,本研究以豫82为母本、豫87-1为父本发展而成的一套重组自交系群体为材料,通过一年3点的表型鉴定,利用遍布玉米全基因组的SNP
为培养合格的软件工程师,北京航空航天大学软件工程研究所集成化过程研究组在近几年中进一步对个体软件过程(PSP)进行相关的研究、实验和教学,积累了丰富的经验,取得了显著的
为研究根癌农杆菌介导的SPDS基因遗传转化酸枣叶片体系建立的条件,本研究以酸枣叶片为受体,采用根癌农杆菌(Agrobacterium tumefaciens,LBA4404)介导法,将SPDS基因导入酸枣基
软件生产是一个复杂、多变的过程,我们无法定义一个标准的过程将其应用到各种软件项目中。另一方面,软件过程中也存在一些在一定场景下反复出现的问题,它们是相对稳定的。在