UML模型

作品数：163被引量：365H指数：9
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李宣东曾一郑国梁段富余双双更多>>
相关机构：重庆大学电子科技大学北京航空航天大学南京大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国防科技技术预先研究基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于UML模型的用户界面自动生成
《计算机工程与设计》2025年第4期1208-1218,共11页董泽华 蒋建民 李朝江 何清 马国栋 
科技部重点研发计划基金项目(2022YFB3305101);国家自然科学基金项目(61772004);成都信息工程大学人才科研基金项目(KYTZ202009)。
为解决传统低代码平台无法全自动生成用户界面的缺陷,保证生成用户界面过程中的一致性、正确性、完整性,提出一种基于UML模型的用户界面自动生成方法。将领域概念模型和用例模型作为系统需求,结合形式化方法,开发用户界面自动生成算法...
关键词：UML模型 用户界面 形式化方法 低代码开发平台 模型驱动工程 一致性 高可信软件 
一种UML模型跨图一致性检查系统设计与实现
《信息技术与信息化》2024年第10期35-39,共5页袁薇 孙康健 张雪 吕韬 
统一建模语言是获取系统需求、进行系统设计的重要手段,使用多种UML模型图对同一软件进行描述和表达时,多个模型图中的对象命名、逻辑关系可能出现不一致的情况。现有可视化UML建模工具大多只在某一种模型图内部进行正确性检查,或依赖...
关键词：UML 可视化建模 模型解析 一致性检查 对象约束语言 
UML模型在信息系统需求分析中的应用被引量：1
《现代计算机》2024年第12期62-66,78,共6页胡振章 张治坤 
系统需求分析是软件信息系统开发活动的起始环节,使用UML模型进行软件需求分析是目前面向对象的需求分析方法的一种重要方法,根据不同软件系统的需求描述,选取适当的UML分析模型从不同的角度对需求中的功能点进行描述,可以使系统用户、...
关键词：UML 需求分析 用例图 活动图 状态图 
面向模型检测的LTL语句自动生成方法被引量：2
《计算机工程与设计》2023年第8期2337-2344,共8页段喜龙 陆智伟 郑巍 陈晋升 樊鑫 肖鹏 
国家自然科学基金项目(61867004)。
为优化线性时态逻辑语句的生成过程,减少模型检测的时间,提出一种面向模型检测的基于自然语言处理生成线性时态逻辑验证语句的方法。对需求文档提取关键词,将文档中的数据和可以代表模型中状态的名词进行提取,注释UML模型,对UML模型中...
关键词：自然语言处理 模型一致性 线性时态逻辑 UML模型 形式化验证工具 模型验证 模型注释 
中国海绵城市源头设施数据库设计探讨
《中国给水排水》2023年第8期53-60,共8页徐常青 张容榕 史馨玫 陈正侠 贾海峰 
国家自然科学基金青年项目(52200218);国家自然科学基金资助面上项目(52070112);中国博士后科学基金资助面上项目(2021M691769);城市水循环与海绵城市技术北京市重点实验室开放基金资助项目(HYD20230F01)。
我国开展城市雨洪管理研究起步较晚,在海绵城市建设中可参考借鉴的本地化数据不多,为可持续地支持我国海绵城市建设,亟需参照国外相关数据库建设的经验,对我国海绵城市试点建设实践取得的相关数据进行归纳整理,建立海绵城市源头设施数...
关键词：海绵城市 需求分析 源头设施 UML模型 
基于UML模型的道岔控制安全逻辑分析及设计实现被引量：1
《智慧轨道交通》2022年第5期77-80,共4页王若冲 韩笑 严紫薇 
本文旨在通过UML(Unified Modeling Language,统一建模语言)这一形式化建模方式,理清信号系统内部的关键逻辑关系,用于指导工程实践中设计研发和项目管理工作。本文以RTU(Remote Terminal Unit,远程控制单元)软件逻辑为例进行分析,首先...
关键词：UML 有轨电车 工程设计分析 远程控制单元 
基于全寿命周期的军地装备计量保障信息化管理研究被引量：1
《计量与测试技术》2022年第8期96-98,102,共4页刘语婵 
为应对装备计量保障中涉及的多类信息管理混乱的问题,本文以信息化管理为切入点,将军民融合融入到装备全寿命管理中,设计了基于全寿命周期的军地装备计量保障信息化管理系统。该系统具有强大的数据存储、查询及分析功能,能够有效提高装...
关键词：装备计量保障 信息化管理 全寿命周期 UML模型 
基于Markov链使用模型的软件可靠性测试方法
《信息技术与信息化》2022年第6期123-126,共4页孙德刚 
山东华宇工学院模式识别应用工程技术研发中心研究基金(No.201905)。
针对基于UML模型的软件可靠性测试方法的应用,软件可靠性模型在软件可靠性测试中的算法优化,从应用工具、数据存储方法等多个方面展开详细探讨,对软件可靠性测试中模型的选择问题进行了分析,并提出了一种将UML形态图行通过扩展算法转化...
关键词：UML模型 软件测试 可靠性 MARKOV链使用模型 
基于FSM的UML模型与代码一致性动态检测被引量：1
《延安大学学报（自然科学版）》2021年第4期54-60,共7页王雷 张帅 宋慧娜 
国家自然科学基金项目(62041212);陕西省教育厅科研计划项目(21JK0988);延安大学博士科学研究启动项目(YDBK2019-51);延安大学科研计划项目(YDY2019-16);陕西省能源大数据智能处理省市共建重点实验室开放基金项目(IPBED22)。
为解决统一建模语言(UML,unified modeling language)模型与源代码一致性检测缺少动态分析的问题,讨论了一种基于有限状态机(FSM,finite state machine)的UML模型与代码一致性动态检测方法。该方法执行源代码并捕获方法调用跟踪,将捕获...
关键词：一致性检测 动态检测 有限状态机 函数调用 软件验证 UML模型 
基于需求分析的可视化技术在软件开发中的应用被引量：1
《电子技术与软件工程》2021年第20期41-43,共3页王智超 肖玉 周燕 
本文分析了传统软件需求分析技术的弊端,并提出使用可视化的软件需求分析技术来解决传统分析设计中出现的问题,通过案例详细描述了可视化建模工具UML在软件开发需求阶段中的使用方法,针对软件需求分析的主要任务,主要采用了UML中的用例...
关键词：软件需求分析 可视化 UML模型 
全选清除导出
共17页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部