形式化开发

作品数：25被引量：80H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：薛锦云石海鹤石海鹏申金媛刘润杰更多>>
相关机构：江西师范大学北京航空航天大学武汉大学郑州大学更多>>
相关期刊：《上海大学学报（自然科学版）》《计算机学报》《系统工程与电子技术》《计算机与数字工程》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划江西师范大学青年成长基金广东省高等学校自然科学研究重点项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Event-B与ADT的TACS形式化开发方法与验证被引量：1
《中国铁道科学》2023年第6期172-183,共12页陈祖希 牛传军 梅萌 刘杰 刘传振 郑黎晓 骆翔宇 潘亮 汪小勇 徐中伟 
国家重点研发计划项目(2022YFB430050461802134);福建省自然科学基金资助项目(2021J01320);上海市自然科学基金资助项目(22ZR1422200)。
为克服Event-B方法在开发全新一代列车自主运行控制系统(Train Autonomous Circumambulate System,TACS)中所出现的建模复杂性问题,提出将抽象数据类型(Abstract Data Types,ADT)实例化与Event-B相结合的方法,对TACS进行形式化开发和验...
关键词：EVENT-B 抽象数据类型 精化策略 列车自主运行控制系统 
基于演化算法的软件形式化开发部件选取方法
《软件导刊》2018年第7期64-66,共3页谭棉 冯夫健 
国家自然科学基金项目(61263034);贵州省教育厅青年科技人才成长项目(黔教合KY字[2016]165)
形式化方法在软件开发过程中一直扮演着重要角色。由于其建立在严格的数学基础之上,因此开发成本较高。为了解决开发成本问题,将软件开发整体分为形式化开发集合类和非形式化开发集合类。在此基础上,开发部件采用二进制串描述并构建目...
关键词：形式化方法 演化算法 目标函数 集合类 
软件形式化开发关键部件选取的水波优化方法被引量：10
《软件学报》2016年第4期933-942,共10页郑宇军 张蓓 薛锦云 
国家自然科学基金(61020106009;61105073;61272075;61473263)~~
形式化方法有助于从根本上提高软件系统的质量与可靠性,但其开发成本往往过于高昂.一种折衷的办法是在软件系统中选取关键性部件进行形式化开发,但目前尚无非常有效的定量选择方法.将软件系统中的形式化开发关键部件选取建模为一个0-1...
关键词：形式化方法 可靠度 元启发式搜索方法 水波优化算法 
形式化开发非递归Koch曲线算法被引量：1
《计算机科学》2011年第9期126-129,共4页刘润杰 申金媛 穆维新 
河南省教育厅自然科学研究计划项目(2010A510015;2008B120010);江西省高性能计算技术重点实验室开放课题资助
形式化方法是构建可信软件的重要途径。Koch曲线是典型的分形图形。基于形式化方法PAR及循环不变式开发策略,开发了Koch曲线非递归算法,并对其进行了形式化的正确性证明。在得到求解Koch曲线算法的循环不变式的同时,直接得到易读、高效...
关键词：KOCH曲线 形式化方法 非递归 PAR方法 循环不变式 
三个经典数学问题的形式化开发被引量：2
《计算机与现代化》2010年第8期1-4,共4页杨晨 薛锦云 苏昭 
国家自然科学基金资助项目(60773054);科技部合作项目(2008DFA11940)
计算机科学最高奖图灵奖获得者Knuth指出,算法是计算机科学的核心。算法的设计和理解对开发高效、正确的软件至关重要。本文选取平方数问题、几何级数求和问题和多项式求值这3个经典数学问题,使用支持算法程序形式化的PAR方法和PAR平台...
关键词：PAR方法 PAR平台 形式化推导 
基于PAR的算法形式化开发被引量：29
《计算机学报》2009年第5期982-991,共10页石海鹤 薛锦云 
国家自然科学基金(60573080,60773054);科学技术部国际科技合作计划项目(2008DFA11940);江西省自然科学基金(2008GQS0056)资助~~
形式化方法是构建可信软件的重要途径.基于对算法问题的分析,针对形式化方法PAR开发算法的特征,刻划了问题分划、递推关系构造方面的规律.从一类问题的形式化功能规约出发,可机械地完成问题的分划及规约的变换,自然地揭示出求解问题的...
关键词：算法 形式化方法 PAR 规约 可信软件 
集成安全策略到系统建模:一个实例
《计算机与数字工程》2008年第10期70-73,共4页张帆 毋国庆 刘小丽 喻超 
国家863高科技研究与发展计划(编号:2007AA01Z185)资助
安全模型从理论上保证了系统的安全性。把安全模型应用到实际系统当中,是从理论走向实践的一个重要步骤。同时,形式化开发方法也是高可信、高安全的系统开发所必需的。因此,如何利用形式化的方法,把安全模型精确地表达到系统的实际建模...
关键词：B方法 形式化开发 系统建模 安全策略 
一种基于B方法和构件技术的形式化开发方法
《井冈山大学学报（自然科学版）》2008年第4期21-23,共2页唐宇 
构件技术和形式化方法是解决软件危机和提高软件开发效率问题的关键。在分析了构件技术、B方法、XML和XSLT后,本文提出了一种基于B方法和构件技术进行形式化开发的方法,并示例说明。
关键词：B方法 构件技术 形式化开发方法 
一种形式化开发非递归算法的方法被引量：3
《计算机应用研究》2007年第11期203-205,共3页石海鹤 石海鹏 薛锦云 
国家自然科学基金资助项目(60573080);江西师范大学2006年度青年成长基金资助项目
提出了一种简单、统一的形式化开发非递归算法的方法。该方法直接面向非递归算法,在形式化方法PAR的指导下,使用循环不变式的开发新策略,在得到求解递归问题的循环不变式的同时,能直接得到易读、高效且可靠的非递归算法,并通过一个具体...
关键词：形式化方法 非递归 PAR 循环不变式 可靠性 
形式化开发Hanoi塔问题非递归算法被引量：3
《计算机工程与应用》2007年第11期96-99,共4页石海鹤 石海鹏 薛锦云 
国家自然科学基金(the National Natural Science Foundation of China under Grant No.60573080)。
使用形式化方法PAR及循环不变式开发新策略,开发了Hanoi塔问题非递归算法,并对其进行了形式化的正确性证明。直接面向非递归算法,在得到求解Hanoi塔问题的循环不变式的同时,直接得到易读、高效且可靠的非递归算法。对使用形式化方法及...
关键词：HANOI塔问题 形式化方法 非递归 PAR方法 循环不变式 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部