-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=模型注释 "
共 条 记 录，以下是1-1

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
面向模型检测的LTL语句自动生成方法被引量：2
《计算机工程与设计》2023年第8期2337-2344,共8页段喜龙 陆智伟 郑巍 陈晋升 樊鑫 肖鹏 
国家自然科学基金项目(61867004)。
为优化线性时态逻辑语句的生成过程,减少模型检测的时间,提出一种面向模型检测的基于自然语言处理生成线性时态逻辑验证语句的方法。对需求文档提取关键词,将文档中的数据和可以代表模型中状态的名词进行提取,注释UML模型,对UML模型中...
关键词：自然语言处理 模型一致性 线性时态逻辑 UML模型 形式化验证工具 模型验证 模型注释 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部