形式化方法

作品数：864被引量：2370H指数：18
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：薛锦云肖美华张广泉黄志球胡军更多>>
相关机构：华东师范大学中国科学院软件研究所上海交通大学南京大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于UML模型的用户界面自动生成
《计算机工程与设计》2025年第4期1208-1218,共11页董泽华 蒋建民 李朝江 何清 马国栋 
科技部重点研发计划基金项目(2022YFB3305101);国家自然科学基金项目(61772004);成都信息工程大学人才科研基金项目(KYTZ202009)。
为解决传统低代码平台无法全自动生成用户界面的缺陷,保证生成用户界面过程中的一致性、正确性、完整性,提出一种基于UML模型的用户界面自动生成方法。将领域概念模型和用例模型作为系统需求,结合形式化方法,开发用户界面自动生成算法...
关键词：UML模型 用户界面 形式化方法 低代码开发平台 模型驱动工程 一致性 高可信软件 
基于形式化方法的程序代码合并分析
《计算技术与自动化》2025年第1期147-154,共8页何清 蒋建民 
国家重点研发计划资助项目(2022YFB3305101);国家自然科学基金资助项目(61772004);成都信息工程大学人才科研基金资助(KYTZ202009)。
在实际软件开发中,开发人员通常会使用多个团队开发的程序来构建软件系统。然而,当这些程序包存在不同的版本时,将它们合并到一个完整的应用程序中可能会引发冲突,导致程序错误。提出了一种新的形式化模型——统一结构作为包图的形式语...
关键词：代码合并 UML 包图 形式化 包合并 合并冲突 
面向CPS时空规则验证制导的安全强化学习
《计算机科学与探索》2025年第2期513-527,共15页印婵 祝义 王金永 陈小颖 郝国生 
国家自然科学基金(62077029,62277030);CCF-华为胡杨林基金(CCF-HuaweiFM202209);高安全系统的软件开发与验证技术工业和信息化部重点实验室开放项目基金(NJ2020022);江苏省研究生科研与实践创新项目(SJCX22_1261)。
深度强化学习是目前信息物理融合系统(CPS)决策中常用的一种方法。然而,当面对未知环境和复杂任务时,基于黑盒的深度强化学习方法在系统的安全性和奖励函数设置的可解释性方面存在不足。针对上述问题,提出了一种形式化时空规则验证制导...
关键词：信息物理融合系统 形式化方法 进程代数 安全强化学习 自动驾驶 
机载软件层次化需求的形式化建模与分析
《南京航空航天大学学报(自然科学版)》2025年第1期195-204,共10页王康星 胡军 王立松 丁鼎 董亚炯 戴嘉磊 
国家自然科学基金(U2241216)。
越来越复杂的多层级功能需求给高安全机载软件的设计开发带来了重要挑战。本文给出了一个面向工程应用领域具有层次化语义特征的软件需求形式化建模与分析方法。首先,设计了一个层次化的形式化需求模型。层次化变量关系模型(Hierarchica...
关键词：计算机软件与理论 需求工程 形式化方法 需求建模与分析 飞行控制系统 
基于Lowe分类的EAP-AKA′协议安全性分析与改进
《数据通信》2025年第1期24-28,32,共6页黄明巍 缪祥华 张世奇 张世杰 王欣源 
EAP-AKA′协议是5G网络中重要的认证协议之一,但在其协议中存在一些潜在的安全风险。针对EAP-AKA′协议在5G网络中的安全性问题,基于Lowe分类法对协议的安全性进行了分析,并提出了一系列改进措施,包括使用由Fiat-Shamir启发式优化的挑战...
关键词：5G网络安全 EPA-AKA′协议 Lowe分类 Tamarin分析器 Dolve-Yao敌手模型 Fiat-Shamir启发式 形式化方法 
智能软件创新赋能新质生产力发展--2024 CCF中国软件大会在陕西省西安市举办
《保密科学技术》2024年第12期7-9,共3页郝君婷 
2024年11月150-17日,由中国计算机学会(CCF)主办,CCF软件工程专委会、系统软件专委会、形式化方法专委会、西安电子科技大学承办的2024 CCF中国软件大会(2024 CCF ChinaSoft)在陕西省西安市举办。来自国内外软件相关领域内学者、师生与...
关键词：中国计算机学会 智能软件 形式化方法 软件工程 赋能 西安电子科技大学 CCF 陕西省西安市 
汽轮机控制保护系统攻击建模与逻辑完整性检测
《控制工程》2024年第11期2062-2070,共9页马海迎 李奕彤 袁晓舒 何立栋 
国家自然科学基金资助项目(61973163);东方电气集团科研项目(GKKY21001)。
控制保护逻辑是整个汽轮机控制保护系统的核心,以往传统模型侧重于描述系统的物理属性,而对逻辑属性有所忽视。目前关于汽轮机控制保护系统的攻击大多围绕网络通信的脆弱性以及模型数据的不可靠性展开,对系统本身逻辑过程脆弱性的研究...
关键词：汽轮机控制保护逻辑 形式化方法 活性 UPPAAL 
基于状态图转形式化B模型的安全苛求系统开发方法
《计算机工程》2024年第11期173-186,共14页赵大地 王恪铭 
四川省自然科学基金(2022NSFSC0464);成都市软科学研究项目(2023-RK00-00084-ZF)。
形式化方法精确且严格,较多应用于安全苛求系统开发,但目前仍存在学习成本高、使用复杂、重用性低等问题。常用的非形式化状态图模型虽易于使用却缺乏严格验证。针对这些问题,提出一种将状态图SCXML模型转译为形式化B模型的模型转化方法...
关键词：软件功能安全 形式化方法 模型转化 SCXML状态图 B方法 
基于动作链的形式化任务协同规划
《中国科学：信息科学》2024年第11期2623-2641,共19页刘泽森 李忠奎 国萌 
国家自然科学基金(批准号:U2241214,62203017,T2121002)资助项目。
基于形式化方法的多智能体任务规划因其丰富的任务形式和多样的系统功能而备受关注.然而,随着智能体数量增加,规划复杂度呈指数级增长,因此形式化方法在计算效率和集群规模上都受到了限制.已有的改良方法中,基于图搜索的方法对计算效率...
关键词：多智能体任务规划 形式化方法 线性时序逻辑 在线自适应 偏序集 
形式化方法与应用专题前言
《软件学报》2024年第9期4011-4012,共2页曹钦翔 宋富 詹乃军 
随着硬件运算速度变得越来越快、体系结构变得越来越复杂,软件的功能也变得越来越强大而复杂,如何开发可靠的软件系统,已经成为了一项巨大的挑战.形式化方法是利用数学理论与方法论证检验软件系统可靠性与安全性的方法,包括模型检验、...
关键词：形式化方法 软件系统 模型检验 运算速度 定理证明 体系结构 应用专题 理论与方法论 
全选清除导出
共85页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部