检索结果-维普期刊中文期刊服务平台

基于求精关系的多视点需求工程框架模型被引量：1: 1; 作者何炎祥黄谦《计算机科学》 CSCD 北大核心 2002年第9期140-142,共3页; 1 引论传统需求工程方法应用于大型分布式系统的开发有一个严重问题:需求工程中的每一子过程里只能有一个全局规格.这一点与实际的分布式系统的特点很不适应.; 关键词软件工程求精关系多视点需求工程框架模型形式描述语言; 在线阅读下载PDF 职称材料

一种基于问题框架的视点表示模型被引量：4: 2; 作者梁正平毋国庆王志强《计算机工程》 CAS CSCD 北大核心 2007年第15期67-69,共3页; 在多视点需求工程中,视点表示模型与视点需求信息的获取、描述密切相关,影响着后阶段视点一致性的检查和集成。鉴于需求工程领域的发展,该文提出了一种基于问题框架的视点表示模型,展示了该模型的特点及应用。实践表明,该模型具有实用... 展开更多; 关键词需求工程视点问题框架视点表示模型; 在线阅读下载PDF 职称材料

基于多视点的需求描述模型被引量：6: 3; 作者李剑毋国庆陈伟清《小型微型计算机系统》 EI CSCD 北大核心 2000年第9期953-957,共5页; 本文提出了一个基于多视点的需求描述模型 ,该模型可通过视点模板来定义用户的需求 .此外 ,本文也结合一个管理信息系统的实例。; 关键词需求工程软件系统需求描述模型多视点; 在线阅读下载PDF 职称材料

多视点需求工程中视点一致性定义的研究被引量：2: 4; 作者梁正平纪震王志强《深圳大学学报（理工版）》 EI CAS 北大核心 2006年第4期332-336,共5页; 视点一致性是多视点需求工程中的核心,如何合理有效地定义视点的一致性,直接影响到视点一致性的检查和不一致的管理.介绍视点一致性定义的相关研究,从形式上将视点一致性的定义分为3种类型.基于问题框架的方法标识和表示视点的方式,可... 展开更多; 关键词需求工程视点问题域问题框架一致性定义; 在线阅读下载PDF 职称材料

一种模型驱动的软件需求分析方法及技术支持被引量：5: 5; 作者李智庞柳 +1 位作者刘国源杨智尚《广西师范大学学报（自然科学版）》 CAS 北大核心 2013年第2期19-26,共8页; 模型驱动工程(model-driven engineering,简称MDE)已成为软件工程领域的研究热点之一,它的核心基础是模型驱动架构(model-driven architecture,简称MDA)。本文在深入研究问题框架方法的基础上,结合模型驱动架构理论提出并开发了一种面... 展开更多; 关键词问题框架需求分析和建模模型变换计算机辅助软件工程; 在线阅读下载PDF 职称材料

基于剧本的目标模型开发框架被引量：2: 6; 作者林涛应晶《计算机科学》 CSCD 北大核心 2000年第10期23-26,共4页; 1 引言传统的需求工程,其目的在于建立一个完全、一致且无二义的在概念层次上定义了期望系统需求的规格说明,这就要求从一定层次的抽象模型(current_state model)出发,经过分析和验证,对该模型实施一系列的变换,如求精、抽象和增减等操作。; 关键词软件开发目标模型开发框架剧本需求工程; 在线阅读下载PDF 职称材料

扩展断言知识检验一致的需求建模方法被引量：2: 7; 作者郭新峰马世龙 +1 位作者吕江花李睿《智能系统学报》 CSCD 北大核心 2015年第1期81-89,共9页; 保证需求完整一致是需求建模的关键,文中提出一种基于知识库推理检验一致性的需求建模方法,该方法在建模中引入本体以增强表达能力,并结合语义建立约束规则构建需求模型知识库,基于描述逻辑描述需求和检验需求一致性,将需求建模过程作... 展开更多; 关键词需求模型一致性完整性多视点描述逻辑知识库可满足性 TABLEAU 需求工程; 在线阅读下载PDF 职称材料

从信息物理融合系统问题模型到UML用例图的变换方法被引量：4: 8; 作者李智邓杰 +1 位作者杨溢龙韦尚锋《计算机科学》 CSCD 北大核心 2020年第12期65-72,共8页; 问题框架(Problem Frames,PF)方法在需求工程研究中已经获得广泛重视,特别是应用于基于环境建模的信息物理融合系统中,但如何有效地把问题模型(问题图及相关描述)转换为软件设计和实现,仍是一个亟待解决的问题。文中提出了一种问题框架... 展开更多; 关键词信息物理融合系统问题框架统一建模语言需求工程模型驱动工程; 在线阅读下载PDF 职称材料

题名基于求精关系的多视点需求工程框架模型被引量：1: 1; 作者何炎祥黄谦; 机构武汉大学计算机科学系/软件工程国家重点实验室; 出处《计算机科学》 CSCD 北大核心 2002年第9期140-142,共3页; 基金国家教育部重点项目资助大学自强科技创新基金; 文摘 1 引论传统需求工程方法应用于大型分布式系统的开发有一个严重问题:需求工程中的每一子过程里只能有一个全局规格.这一点与实际的分布式系统的特点很不适应.; 关键词软件工程求精关系多视点需求工程框架模型形式描述语言; Keywords Requirements engineering, Viewpoint, Refinement relation,Specification translation; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种基于问题框架的视点表示模型被引量：4: 2; 作者梁正平毋国庆王志强; 机构深圳大学信息工程学院武汉大学计算机学院; 出处《计算机工程》 CAS CSCD 北大核心 2007年第15期67-69,共3页; 基金国家自然科学基金资助项目(60572100 60673122); 文摘在多视点需求工程中,视点表示模型与视点需求信息的获取、描述密切相关,影响着后阶段视点一致性的检查和集成。鉴于需求工程领域的发展,该文提出了一种基于问题框架的视点表示模型,展示了该模型的特点及应用。实践表明,该模型具有实用性和可操作性。; 关键词需求工程视点问题框架视点表示模型; Keywords requirements engineering viewpoint problem frame expression model of viewpoint; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于多视点的需求描述模型被引量：6: 3; 作者李剑毋国庆陈伟清; 机构武汉大学软件工程国家重点实验室; 出处《小型微型计算机系统》 EI CSCD 北大核心 2000年第9期953-957,共5页; 基金国家自然科学基金高等学校博士学科点专项科研基金; 文摘本文提出了一个基于多视点的需求描述模型 ,该模型可通过视点模板来定义用户的需求 .此外 ,本文也结合一个管理信息系统的实例。; 关键词需求工程软件系统需求描述模型多视点; Keywords Requirements engineering Viewpoints; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名多视点需求工程中视点一致性定义的研究被引量：2: 4; 作者梁正平纪震王志强; 机构深圳大学信息工程学院; 出处《深圳大学学报（理工版）》 EI CAS 北大核心 2006年第4期332-336,共5页; 基金国家自然科学基金资助项目(60572100 60673122); 文摘视点一致性是多视点需求工程中的核心,如何合理有效地定义视点的一致性,直接影响到视点一致性的检查和不一致的管理.介绍视点一致性定义的相关研究,从形式上将视点一致性的定义分为3种类型.基于问题框架的方法标识和表示视点的方式,可导致视点不一致的相关因素进行了分析,且从内容和形式两方面讨论视点一致性的定义,及其相关性质.; 关键词需求工程视点问题域问题框架一致性定义; Keywords requirements engineering viewpoint domain problem frame definition of consistency; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论] TP311.1 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种模型驱动的软件需求分析方法及技术支持被引量：5: 5; 作者李智庞柳刘国源杨智尚; 机构广西师范大学计算机科学与信息工程学院; 出处《广西师范大学学报（自然科学版）》 CAS 北大核心 2013年第2期19-26,共8页; 基金国家自然科学基金资助项目(61262004) 广西自然科学基金资助项目(2012GXNSFCA053010) +1 种基金 2013年广西研究生教育创新计划项目(YC-SZ2012059); 文摘模型驱动工程(model-driven engineering,简称MDE)已成为软件工程领域的研究热点之一,它的核心基础是模型驱动架构(model-driven architecture,简称MDA)。本文在深入研究问题框架方法的基础上,结合模型驱动架构理论提出并开发了一种面向问题的领域和需求模型变换技术及辅助支持工具,并且通过一个案例研究来展示该技术的实际应用过程。结果表明,所开发的计算机辅助软件工程工具既实现了模型的可视化变换,又实现了需求文本的同步自动变换,从而增强了工具在实际使用时的交互性和易理解性。; 关键词问题框架需求分析和建模模型变换计算机辅助软件工程; Keywords problem frames requirements analysis and modeling model transformation computer-aided software engineering（CASE）; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于剧本的目标模型开发框架被引量：2: 6; 作者林涛应晶; 机构浙江大学计算机系; 出处《计算机科学》 CSCD 北大核心 2000年第10期23-26,共4页; 基金国家自然科学基金(№69703005) 浙江省自然科学基金(№697006); 文摘 1 引言传统的需求工程,其目的在于建立一个完全、一致且无二义的在概念层次上定义了期望系统需求的规格说明,这就要求从一定层次的抽象模型(current_state model)出发,经过分析和验证,对该模型实施一系列的变换,如求精、抽象和增减等操作。; 关键词软件开发目标模型开发框架剧本需求工程; Keywords Requrirement engineering,Goal model,Scenario; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名扩展断言知识检验一致的需求建模方法被引量：2: 7; 作者郭新峰马世龙吕江花李睿; 机构山西大学软件学院北京航空航天大学计算机学院; 出处《智能系统学报》 CSCD 北大核心 2015年第1期81-89,共9页; 基金国家自然科学基金资助项目(61300007 61003016) +1 种基金 SKLSDE-2013ZX-11); 文摘保证需求完整一致是需求建模的关键,文中提出一种基于知识库推理检验一致性的需求建模方法,该方法在建模中引入本体以增强表达能力,并结合语义建立约束规则构建需求模型知识库,基于描述逻辑描述需求和检验需求一致性,将需求建模过程作为断言知识库的扩展过程,把需求完整性问题转化为需求一致性问题,并归结其为规则约束下的可满足问题。利用Tableau算法等实现需求一致性的检验,在整个建模活动中保证需求一致。应用实践中使用自行编制的ROB半自动建模软件进行需求建模与分析,验证了建模方法的需求一致性,并通过案例说明了扩展断言知识库检验一致的需求建模过程。; 关键词需求模型一致性完整性多视点描述逻辑知识库可满足性 TABLEAU 需求工程; Keywords model consistency completeness multi-view description logic knowledge base satisfiability Tableau requirement engineering; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名从信息物理融合系统问题模型到UML用例图的变换方法被引量：4: 8; 作者李智邓杰杨溢龙韦尚锋; 机构广西师范大学计算机科学与信息工程学院广西多源信息挖掘与安全重点实验室广西区域多源信息集成与智能处理协同创新中心北京航空航天大学软件学院; 出处《计算机科学》 CSCD 北大核心 2020年第12期65-72,共8页; 基金国家自然科学基金项目(61862009) 广西自然科学基金项目(2018GXNSFAA281314) 广西研究生教育创新计划项目(JXXYYJSCXXM-001)。; 文摘问题框架(Problem Frames,PF)方法在需求工程研究中已经获得广泛重视,特别是应用于基于环境建模的信息物理融合系统中,但如何有效地把问题模型(问题图及相关描述)转换为软件设计和实现,仍是一个亟待解决的问题。文中提出了一种问题框架与模型驱动技术相结合的方法,其可将问题模型转换为UML(Unified Modeling Language)需求模型中的用例图和概念类图,进而指导软件系统的设计和实现。所开发的CASE工具,通过支持领域涉众和软件设计人员合作建模来提高需求质量,并允许从问题空间的需求模型平滑过渡到解空间的软件设计。通过文献[1]中一个基准案例(邮件分拣控制问题)的扩展版本,展示了其可行性及在实际应用场景下的使用,从而对推动问题框架方法从理论研究走向实际应用具有重要意义。; 关键词信息物理融合系统问题框架统一建模语言需求工程模型驱动工程; Keywords Cyber-physical systems Problem Frames Unified Modeling Language Requirements Engineering Model-driven Engineering; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于求精关系的多视点需求工程框架模型	何炎祥黄谦	《计算机科学》 CSCD 北大核心	2002	1	在线阅读下载PDF 职称材料
2	一种基于问题框架的视点表示模型	梁正平毋国庆王志强	《计算机工程》 CAS CSCD 北大核心	2007	4	在线阅读下载PDF 职称材料
3	基于多视点的需求描述模型	李剑毋国庆陈伟清	《小型微型计算机系统》 EI CSCD 北大核心	2000	6	在线阅读下载PDF 职称材料
4	多视点需求工程中视点一致性定义的研究	梁正平纪震王志强	《深圳大学学报（理工版）》 EI CAS 北大核心	2006	2	在线阅读下载PDF 职称材料
5	一种模型驱动的软件需求分析方法及技术支持	李智庞柳刘国源杨智尚	《广西师范大学学报（自然科学版）》 CAS 北大核心	2013	5	在线阅读下载PDF 职称材料
6	基于剧本的目标模型开发框架	林涛应晶	《计算机科学》 CSCD 北大核心	2000	2	在线阅读下载PDF 职称材料
7	扩展断言知识检验一致的需求建模方法	郭新峰马世龙吕江花李睿	《智能系统学报》 CSCD 北大核心	2015	2	在线阅读下载PDF 职称材料
8	从信息物理融合系统问题模型到UML用例图的变换方法	李智邓杰杨溢龙韦尚锋	《计算机科学》 CSCD 北大核心	2020	4	在线阅读下载PDF 职称材料