国家自然科学基金(61262004)

作品数：8被引量：21H指数：4
导出分析报告
相关作者：李智庞柳金芝刘喆更多>>
相关机构：广西师范大学北京大学更多>>
相关期刊：《软件学报》《广西师范大学学报（自然科学版）》《现代计算机（中旬刊）》《计算机科学》更多>>
相关主题：CASE计算机辅助软件工程环境演算通信顺序进程软件规约更多>>
相关领域：自动化与计算机技术语言文字经济管理更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向问题的软件开发协同建模工具的研究与实现被引量：3
《计算机科学》2018年第9期119-122,134,共5页张晓 李智 赵子岩 付昌兰 李伟东 禹月昆 王超 
广西研究生教育创新计划项目(XYCSZ2017066);学位与研究生教育改革课题(XJGY201809);校级双语教学课程建设项目(A-0201-00-00013F);国家自然科学基金项目(61262004);广西区域多源信息集成与智能处理协同创新中心;广西多源信息挖掘与安全重点实验室2014年度主任基金课题(14-A-03-01);2015年系统性研究课题(15-A-03-01);广西科学研究与技术开发计划项目(桂科合1347004-22);广西自然科学基金项目(2012GXNSFCA053010);广西科技基地和人才专项(桂科AD16380008)资助
建模软件是辅助需求工程师分析的工具,在需求设计阶段必不可少。目前,很少有需求建模工具可以跨平台运行,支持在线多用户协同以及验证需求模型正确性和完整性等功能。鉴于问题框架方法在需求工程领域获得了较大关注,文中开发了一款用户...
关键词：建模软件 问题框架 问题图拆分 协同建模 
基于问题框架的行为驱动开发研究被引量：1
《计算机科学》2017年第11期187-190,共4页高宁 李智 
国家自然科学基金(61262004);广西自然科学基金(2012GXNSFCA053010);广西科学研究与技术开发计划项目(桂科合1347004-22);2013年度广西高等教育教学改革工程项目(2013JGB121);广西多源信息挖掘与安全重点实验室开放基金(14-A-03-01);"八桂学者"工程专项经费资助
问题框架(Problem Frames,PF)在需求工程研究领域中已经获得了广泛重视和研究。目前,问题框架的相关研究已经取得了较多成果,但如何从需求模型(问题图)平滑过渡到软件设计以及实现仍是一个有待解决的问题。文中对如何将问题图转换到用...
关键词：问题框架 问题图 行为驱动开发 测试驱动开发 
基于多通道交互技术的计算机辅助需求分析系统的研发被引量：5
《计算机科学》2017年第4期177-181,共5页刘喆 李智 
国家自然科学基金(61262004);广西自然科学基金(2012GXNSFCA053010);广西科学研究与技术开发计划项目(桂科合1347004-22);2013年度广西高等教育教学改革工程项目(2013JGB121);广西多源信息挖掘与安全重点实验室开放基金(14-A-03-01);"八桂学者"工程专项经费资助
近年来,人机交互向着认知系统方向发展,以便提供自然与有效的交互原则。认知系统依靠来自多个传感器的数据的处理和融合算法的结合,通过动态地适应外界环境来改善人机交互体验。本原型作品在现有的面向问题的计算机辅助软件需求工程(Com...
关键词：人机交互 多通道交互技术 手势识别 计算机辅助需求工程(CASE) 问题框架 
基于问题框架的计算机辅助需求工程工具的研发被引量：5
《计算机科学》2014年第11期137-140,168,共5页刘国源 万光海 庞柳 李智 
国家自然科学基金项目(61262004);广西自然科学基金项目(2012GXNSFCA053010);教育部国际合作与交流司第46批"留学回国人员科研启动基金";广西科学研究与技术开发计划(桂科合1347004-22);2013年度大学生创新创业训练计划项目;2013年广西研究生教育创新计划项目(YCSZ2012059)资助
问题框架(Problem Frames,PF)已经得到需求工程界的广泛重视和研究。目前,问题框架在理论基础和开发方法等方面已经有很多研究成果,但如何把它们应用到实际的软件开发项目中仍是一个有待解决的问题。本工具可帮助系统分析员实现从用户...
关键词：问题框架 问题图 计算机辅助需求工程(CASE) 
一种CASE工具在《软件工程》教学实践中的应用
《现代计算机（中旬刊）》2013年第5期29-32,共4页李智 
国家自然科学基金项目(No.61262004);广西自然科学基金项目(No.2012GXNSFCA053010);广西研究生教育创新计划资助项目(No.JGY2013022);2013年度广西高等教育教学改革工程项目(No.2013JGB121)
CASE工具可以支持软件生命周期各阶段的开发活动。探讨如何将自主开发的软件需求工程CASE工具有效地应用在硕士研究生《软件工程》课程教学实践中,并通过一系列案例教学模式的推广和应用,有效提高学生对软件需求分析的能力。
关键词：计算机辅助软件工程(CASE) 软件需求工程 实践教学 
从用户需求到软件规约:一种问题变换的方法被引量：8
《软件学报》2013年第5期961-976,共16页李智 金芝 
国家重点基础研究发展计划(973)(2009CB320701);国家自然科学基金(61262004);广西自然科学基金(2012GXNSFCA-053010);"八桂学者"工程专项经费
研究的目的是在获取用户需求和领域描述的基础上规约出对软件规格的描述.提供了一种实现从用户需求到软件规约的平滑和可推理的变换方法.在深入研究问题框架方法的基础上,采用Hoare的通信顺序进程语言CSP及Lai的最弱环境演算符实现了整...
关键词：问题框架 通信顺序进程 领域和需求建模 最弱环境演算 软件规约 
一种模型驱动的软件需求分析方法及技术支持被引量：5
《广西师范大学学报（自然科学版）》2013年第2期19-26,共8页李智 庞柳 刘国源 杨智尚 
国家自然科学基金资助项目(61262004);广西自然科学基金资助项目(2012GXNSFCA053010);北京大学高可信软件技术教育部重点实验室开放课题(HCST201102);2013年广西研究生教育创新计划项目(YC-SZ2012059)
模型驱动工程(model-driven engineering,简称MDE)已成为软件工程领域的研究热点之一,它的核心基础是模型驱动架构(model-driven architecture,简称MDA)。本文在深入研究问题框架方法的基础上,结合模型驱动架构理论提出并开发了一种面...
关键词：问题框架 需求分析和建模 模型变换 计算机辅助软件工程 
《电子商务导论》双语教学实践探讨
《现代计算机》2013年第11期35-36,共2页李智 
国家自然科学基金项目(No.61262004);广西自然科学基金项目(No.2012GXNSFCA053010);广西研究生教育创新计划资助项目(No.JGY2013022);2013年度广西高等教育教学改革工程项目(No.2013JGB121)
通过实践教学探讨如何克服《电子商务导论》课程双语教学中出现的理论知识抽象难懂、国外原版教材内容繁多、学生阅读和学习双语材料较为吃力等困难。介绍结合实例讲解电子商务理论知识、节选国外最新教材内容、基于教学网站平台(包括"...
关键词：电子商务导论 双语教学 教学改革 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部