李智
- 作品数：29 被引量：48H指数：5
- 供职机构：广西师范大学更多>>
- 发文基金：国家自然科学基金广西壮族自治区自然科学基金广西研究生教育创新计划项目更多>>
- 相关领域：自动化与计算机技术经济管理理学语言文字更多>>
- 一种基于需求模型的企业级系统生成方法
- 发明提出的一种基于需求模型的企业级系统自动生成方法，分别：以需求模型作为输入，通过对其中包含的系统顺序图、系统操作合约、概念类图和用例图进行解析，从而输出请求响应功能的实现代码、业务处理功能的实现代码、数据访问功能的实现...
- 杨溢龙李智朱绍宏张莉
- 三角函数系性质的推广及其在定积分中的应用被引量：3
- 2019年
- 本文主要研究三角函数系,对其性质进行推广,并将得到的结论应用于求解定积分.例题的求解过程表明:利用本文的结论求解定积分确实可以简化计算.
- 陈翠玲韩彩虹李智李明
- 关键词：三角函数正交性定积分
- 一种模型驱动的软件需求分析方法及技术支持被引量：5
- 2013年
- 模型驱动工程(model-driven engineering,简称MDE)已成为软件工程领域的研究热点之一,它的核心基础是模型驱动架构(model-driven architecture,简称MDA)。本文在深入研究问题框架方法的基础上,结合模型驱动架构理论提出并开发了一种面向问题的领域和需求模型变换技术及辅助支持工具,并且通过一个案例研究来展示该技术的实际应用过程。结果表明,所开发的计算机辅助软件工程工具既实现了模型的可视化变换,又实现了需求文本的同步自动变换,从而增强了工具在实际使用时的交互性和易理解性。
- 李智庞柳刘国源杨智尚
- 关键词：计算机辅助软件工程
- 从用户需求到软件规约:一种问题变换的方法被引量：8
- 2013年
- 研究的目的是在获取用户需求和领域描述的基础上规约出对软件规格的描述.提供了一种实现从用户需求到软件规约的平滑和可推理的变换方法.在深入研究问题框架方法的基础上,采用Hoare的通信顺序进程语言CSP及Lai的最弱环境演算符实现了整个问题图的变换,且导出的软件规格是具有高抽象粒度的程序代码模型,能够被FDR模型检测工具所验证.该工作为实现嵌入式软件开发从需求到软件代码、文档的自动转化及验证等奠定了理论基础.此外,把该理论与模型检测工具FDR联合起来会有助于提高嵌入式软件开发的效率和准确性.
- 李智金芝
- 关键词：通信顺序进程软件规约
- 一种基于问题框架的敏捷需求拆分方法
- 本发明公开了一种基于问题框架的敏捷需求拆分方法，包括如下步骤：1）用户故事分解；2）用户故事建模；3）模型验证；4）模型变换；5）模型匹配；6）模型拆分。这种方法使得原始的用户故事运用问题框架方法进行建模与分析，将用户故...
- 李智付昌兰张晓张平赵子岩
- 面向问题的软件开发协同建模工具的研究与实现被引量：3
- 2018年
- 建模软件是辅助需求工程师分析的工具,在需求设计阶段必不可少。目前,很少有需求建模工具可以跨平台运行,支持在线多用户协同以及验证需求模型正确性和完整性等功能。鉴于问题框架方法在需求工程领域获得了较大关注,文中开发了一款用户体验较好、兼容多平台的计算机辅助问题框架建模软件。本研究解决了自动化校验问题图的正确性和完整性以及复杂问题图拆分等难题,实现了用户登录、云端数据库存储设计和多人协同建模和验证,从而构建了一个在线需求建模、共享和验证的平台。
- 张晓李智赵子岩付昌兰李伟东禹月昆王超
- 基于人机交互的计算机辅助软件需求分析工具的研发被引量：4
- 2015年
- 软件需求工程在软件开发项目中起着至关重要的作用,而需求分析活动的主角是人,因此计算机辅助需求分析工具的设计要做到以用户为中心,即以人为本。本原型作品在已有的面向问题的计算机辅助软件需求工程(Computer-Aided Requirements Engineering,CARE)工具的基础上,进一步在支持的平台及易用性等方面进行了扩展。选择安卓平台来开发此工具,理由是移动端应用软件相较于PC端具有一些优势(功能多样性、便捷性等)以及安卓的开源性质,它能够为提高软件质量以及用户体验带来新的技术支持。此外,还具体展示并介绍了该工具是如何基于人机交互的理论模型及设计原则设计的。
- 何正海李智
- 关键词：人机交互
- 一种基于BERT和DPCNN的Web服务分类方法被引量：8
- 2021年
- Web服务是一种基于Web环境的具有自适应、自描述、模块化和互操作能力的应用程序,这些特点使其具有很好的重用性。软件重用是目前降低软件开发成本的一种颇具前景的方法,Web服务的自动分类在软件重用中起着至关重要的作用。近年来人们将机器学习技术广泛应用于服务分类,取得了一些成果。但是传统机器学习方法的性能高度取决于特征工程的质量。本文提出一种基于预训练模型BERT和深度金字塔卷积神经网络DPCNN相结合的BERT-DPCNN深度神经网络模型,该模型可以自动抽取服务描述的低级表现形式并抽象为高级特征而无需进行特征工程。为了验证该方法的有效性,本文在50个类别、10184个真实Web服务的数据集上与传统的机器学习方法和一些深度神经网络模型进行全面比较,结果表明,本文提出的模型相比其他方法具有更高的准确率。
- 路凯峰杨溢龙李智
- 关键词：WEB服务
- 一种基于PD_Plus模型的主客观复杂性度量方法
- 本发明公开了一种基于PD_Plus模型的主客观复杂性度量方法，包括如下步骤：1）对传统问题图即PD模型进行扩展，并将扩展后的PD模型命名为PD_Plus，以得到包含更多系统信息的PD_Plus模型；2）基于PD_Plus...
- 李智卜艺涛黎玉龙肖宏彬
- 前言
- 2021年
- 需求工程是软件与系统工程中最具挑战的环节.近年来,国内外需求工程研究与人工智能新技术紧密结合,新的成果和应用层出不穷.随着人工智能在各行各业的应用需求不断增长,对智能化需求的正确理解决定软件项目的成败.经常遇到用户来和我们说:“我这里有几年来关于这个主题的数据资源,看看我们能开发什么样的人工智能应用?”或者“我想做一个智能应用,数据不是问题,你告诉我需要什么数据,我们想办法找到相应的数据资源”.从这些常见的现象我们可以看出,人工智能应用的目标往往具有不确定性和开放性,这更彰显出需求工程的重要性.需求工程对人工智能应用的重要性,体现在要确保人工智能应用所针对的目标是对用户有价值的目标,要确保所获取和使用的数据所训练得到的决策模型能够公平、无偏见、合理有效地支撑既定的业务目标.为此,«计算机研究与发展»推出了人工智能背景下的需求工程专题,以促进相关研究工作的传播与发展.
- 刘璘李智
- 关键词：人工智能应用数据资源不确定性
