形式化开发方法

作品数：9被引量：16H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：张立臣陈广明陈生庆杨捷梅萌更多>>
相关机构：广东工业大学嘉应学院武汉大学同济大学更多>>
相关期刊：《井冈山大学学报（自然科学版）》《小型微型计算机系统》《计算机应用》《中国铁道科学》更多>>
相关基金：国家自然科学基金广东省高等学校自然科学研究重点项目广东省自然科学基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于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 抽象数据类型 精化策略 列车自主运行控制系统 
一种基于B方法和构件技术的形式化开发方法
《井冈山大学学报（自然科学版）》2008年第4期21-23,共2页唐宇 
构件技术和形式化方法是解决软件危机和提高软件开发效率问题的关键。在分析了构件技术、B方法、XML和XSLT后,本文提出了一种基于B方法和构件技术进行形式化开发的方法,并示例说明。
关键词：B方法 构件技术 形式化开发方法 
基于实时语言和面向方面的形式化开发方法
《计算机应用》2006年第1期240-242,248,共4页陈生庆 张立臣 陈广明 
国家自然科学基金资助项目(6047407260174050);广东省自然科学基金资助项目(04009465010059);广东省高校自然科学研究项目(Z03024)
面向方面方法和实时语言特性应用于实时软件开发工程,将降低实时软件开发的复杂性,而形式化方法将提升系统的可信度。该文提出的一种面向方面的实时软件开发方法AOSDBRTL,它基于经面向方面扩展的形式化方法AO-RT-Z,在编码阶段应用实时语...
关键词：面向方面 实时系统 形式化方法 RT—Z AO—RT—Z PEARL语言 
一种基于 UML 的嵌入式系统可视化开发方法被引量：1
《计算机与信息技术》2005年第10期29-31,共3页王国宁 唐明浩 
近年来,在嵌入式领域中缺乏一个成熟的始终一贯的形式化开发方法,这已成为制约嵌入式系统发展的瓶颈之一。本文结合统一建模语言 UML,对嵌入式系统开发方法进行了有益的探索研究,提出了一种基于 UML 的适合于嵌入式系统的形式化开发方法...
关键词：UML 嵌入式系统 形式化开发方法 
面向方面的实时系统形式化开发方法被引量：10
《计算机科学》2005年第7期189-192,217,共5页陈广明 张立臣 陈生庆 
国家自然科学基金(No.60474072;No.60174050);广东省自然科学基金(No.04009465;No.010059);广东省高校自然科学研究项目(No.Z03024)基金
实时系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要如面向方面和基于组件的软件工程方法的支持,同时实时系统的可信性要求采用形式化方法来开发实时系统。本文试图建立一种面向方面的实时系统形式化开发方法,这种...
关键词：形式化开发方法 实时系统 面向 系统开发方法 软件工程方法 规格描述语言 组件模型 功能接口 系统复杂性 形式化方法 可重用性 可配置性 设计阶段 框架结构 可信性 RT 部件 
安全苛求系统的形式化开发方法被引量：2
《北方交通大学学报》2002年第6期52-55,共4页王海峰 陈建明 张仲义 
从系统工程的角度出发,基于形式化理论,对安全苛求系统的开发方法进行了研究.首先介绍了安全苛求系统的形式化方法,分析了形式化方法对安全苛求系统的作用;提出了一种安全苛求系统的形式化开发模型(FDM),给出了具体的应用实例.
关键词：安全苛求系统 形式化方法 开发方法 系统开发 形式化开发模型 计算机安全 
一种嵌入式实时系统软件的形式化开发方法
《计算机工程与应用》2002年第13期26-29,80,共5页杨捷 毋国庆 
国家自然科学基金(编号:69873035); 高等学校博士点专项科研基金
领域特征突出的嵌入式实时系统软件开发,既需要严格地保证可靠性又要充分反映实时和交互行为特征,针对这种需要,该文提出了一种从需求分析到体系结构建模直至使用组件技术实现软件的形式化开发方法。文章在介绍了目前的各软件工程领域...
关键词：嵌入式实时系统软件 形式化开发方法 软件工程 
一种基于Z和精化演算的形式化开发方法被引量：2
《小型微型计算机系统》2001年第5期592-595,共4页阮幼林 李传湘 
通过分析 Z和精化演算各自的特点 ,本文提出了一种使两者无缝集成的形式化开发方法 .该方法利用 Z良好的描述特性和扩充的类机制 ,将系统规约直接定义成精化演算中的抽象程序 ,然后用精化规则对抽象程序逐步精化 ,直到可执行程序 .
关键词：精化演算 软件开发 形式化开发方法 Z语言 软件工程 
一种从面向对象Z规约到代码的精化演算方法
《软件学报》2000年第8期1041-1046,共6页王云峰 庞军 查鸣 杨朝晖 郑国梁 
国家自然科学基金! (No.6 96 730 0 6 );国家"九五"重点科技攻关项目基金! (No.98- 780 - 0 1- 0 7- 0 6 )资助
COOZ(complete object- oriented Z)的优势在于精确描述大型程序的规约 .COOZ本身的结构不支持精化演算 ,这限制了 COOZ的应用能力 ,使 COOZ难以作为完整的方法应用于软件的开发 .将精化演算引入COOZ,弥补了 COOZ在设计和实现阶段的不...
关键词：形式化开发方法 精化演算 面向对象 代码 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部