国家自然科学基金(61262004)
- 作品数：8 被引量：21H指数：4
- 相关作者：李智庞柳金芝刘喆更多>>
- 相关机构：广西师范大学北京大学更多>>
- 发文基金：国家自然科学基金广西壮族自治区自然科学基金广西壮族自治区科学研究与技术开发计划更多>>
- 相关领域：自动化与计算机技术语言文字经济管理更多>>
- 面向问题的软件开发协同建模工具的研究与实现被引量：3
- 2018年
- 建模软件是辅助需求工程师分析的工具,在需求设计阶段必不可少。目前,很少有需求建模工具可以跨平台运行,支持在线多用户协同以及验证需求模型正确性和完整性等功能。鉴于问题框架方法在需求工程领域获得了较大关注,文中开发了一款用户体验较好、兼容多平台的计算机辅助问题框架建模软件。本研究解决了自动化校验问题图的正确性和完整性以及复杂问题图拆分等难题,实现了用户登录、云端数据库存储设计和多人协同建模和验证,从而构建了一个在线需求建模、共享和验证的平台。
- 张晓李智赵子岩付昌兰李伟东禹月昆王超
- 一种CASE工具在《软件工程》教学实践中的应用
- 2013年
- CASE工具可以支持软件生命周期各阶段的开发活动。探讨如何将自主开发的软件需求工程CASE工具有效地应用在硕士研究生《软件工程》课程教学实践中,并通过一系列案例教学模式的推广和应用,有效提高学生对软件需求分析的能力。
- 李智
- 关键词：软件需求工程实践教学
- 一种模型驱动的软件需求分析方法及技术支持被引量：5
- 2013年
- 模型驱动工程(model-driven engineering,简称MDE)已成为软件工程领域的研究热点之一,它的核心基础是模型驱动架构(model-driven architecture,简称MDA)。本文在深入研究问题框架方法的基础上,结合模型驱动架构理论提出并开发了一种面向问题的领域和需求模型变换技术及辅助支持工具,并且通过一个案例研究来展示该技术的实际应用过程。结果表明,所开发的计算机辅助软件工程工具既实现了模型的可视化变换,又实现了需求文本的同步自动变换,从而增强了工具在实际使用时的交互性和易理解性。
- 李智庞柳刘国源杨智尚
- 关键词：计算机辅助软件工程
- 基于多通道交互技术的计算机辅助需求分析系统的研发被引量：5
- 2017年
- 近年来,人机交互向着认知系统方向发展,以便提供自然与有效的交互原则。认知系统依靠来自多个传感器的数据的处理和融合算法的结合,通过动态地适应外界环境来改善人机交互体验。本原型作品在现有的面向问题的计算机辅助软件需求工程(Computer-Aided Requirements Engineering,CARE)工具的基础上,以及在人机交互理论和设计原则的指导下,针对需求展示的场合,提出了一种基于手势操作的自然交互方式,并在追踪识别手势的过程中运用多通道技术辅助追踪,从而大大加快了追踪与识别的速度,提高了精确度,提供了更好的用户体验。
- 刘喆李智
- 关键词：人机交互手势识别
- 从用户需求到软件规约:一种问题变换的方法被引量：8
- 2013年
- 研究的目的是在获取用户需求和领域描述的基础上规约出对软件规格的描述.提供了一种实现从用户需求到软件规约的平滑和可推理的变换方法.在深入研究问题框架方法的基础上,采用Hoare的通信顺序进程语言CSP及Lai的最弱环境演算符实现了整个问题图的变换,且导出的软件规格是具有高抽象粒度的程序代码模型,能够被FDR模型检测工具所验证.该工作为实现嵌入式软件开发从需求到软件代码、文档的自动转化及验证等奠定了理论基础.此外,把该理论与模型检测工具FDR联合起来会有助于提高嵌入式软件开发的效率和准确性.
- 李智金芝
- 关键词：通信顺序进程软件规约
- 基于问题框架的计算机辅助需求工程工具的研发被引量：5
- 2014年
- 问题框架(Problem Frames,PF)已经得到需求工程界的广泛重视和研究。目前,问题框架在理论基础和开发方法等方面已经有很多研究成果,但如何把它们应用到实际的软件开发项目中仍是一个有待解决的问题。本工具可帮助系统分析员实现从用户需求到软件规约的平滑和可推理的变换,从而为软件开发项目中需求的沟通、建模及分析等提供技术支持。此外,该工具产生的结果也为下一步的软件设计提供帮助。它对促进问题框架方法的进一步发展和成熟,如从研究走向实用,具有重要的推动作用。
- 刘国源万光海庞柳李智
- 《电子商务导论》双语教学实践探讨
- 2013年
- 通过实践教学探讨如何克服《电子商务导论》课程双语教学中出现的理论知识抽象难懂、国外原版教材内容繁多、学生阅读和学习双语材料较为吃力等困难。介绍结合实例讲解电子商务理论知识、节选国外最新教材内容、基于教学网站平台(包括"学习论坛"和"作业系统")等措施,在教学实践中取得较好的效果。
- 李智
- 关键词：电子商务导论双语教学教学改革
- 基于问题框架的行为驱动开发研究被引量：1
- 2017年
- 问题框架(Problem Frames,PF)在需求工程研究领域中已经获得了广泛重视和研究。目前,问题框架的相关研究已经取得了较多成果,但如何从需求模型(问题图)平滑过渡到软件设计以及实现仍是一个有待解决的问题。文中对如何将问题图转换到用户场景文本以及通过用户场景来辅助行为驱动开发方法进行软件设计与开发进行了研究,提出了一种问题框架与行为驱动开发相结合的软件开发方法(PFBDD)。该方法能够帮助系统分析员将用户需求平滑过渡到软件设计及测试,从而避免软件项目中表达不一致带来的问题。此外,通过实例介绍了如何将此方法应用到一个车管业务排队系统中,并介绍了Gherkin语言和Specflow工具。该方法对于问题框架进一步走向实践具有重要的推动作用。
- 高宁李智
- 关键词：测试驱动开发
