形式化规格说明

作品数：13被引量：25H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：缪淮扣胡芸刘玲王皙王铁江更多>>
相关机构：上海大学上海交通大学同济大学西安电子科技大学更多>>
相关期刊：《信息技术与信息化》《系统仿真学报》《计算机工程与设计》《铁道学报》更多>>
相关基金：国家自然科学基金铁道部科技研究开发计划教育部科学技术研究重点项目国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于B方法的网络发票系统设计与实现
《信息技术与信息化》2014年第8期91-94,共4页徐兵兵 刘如强 于治楼 
目前,在软件项目设计方法中,B方法是少数几种能够贯穿从需求分析到系统实现环节的、对软件产品进行全生命周期管理的形式化方法之一。本文以网络发票系统为例,对其使用B方法进行产品设计的良好实践进行了说明,阐述了该方法从规格说明到...
关键词：B方法 网络发票系统 形式化规格说明 
基于责任策略的非严格实时系统形式化研究
《计算机工程》2014年第8期302-309,共8页马莉 钟勇 霍颖瑜 
广东省自然科学基金资助项目(10152800001000016);2011年佛山市科技发展专项基金资助项目(2011AA100061)
严格实时系统行为的实时性要求具有不可更改性,非严格实时系统的实时性要求则具有延缓性、替代性以及可补偿性特征,现有的形式化规格说明语言多集中在对严格实时系统的研究,对非严格实时系统的这些特征则缺乏描述能力。针对上述问题,使...
关键词：非严格实时系统 形式化规格说明 责任策略 分布式时态逻辑 Object-Z语言 历史不变式 
基于形式化规格说明的UML状态图提取被引量：3
《计算机应用研究》2011年第5期1767-1769,共3页曾一 周欣 周吉 
为了辅助软件开发者理解形式化规格说明,提出一种从B方法规格说明中提取UML状态图的方法。通过分析状态信息在规格说明中的表现形式,定义一系列精确的简单状态、状态迁移、复合迁移、分层状态和状态图通信等提取规则。借助状态变量表和...
关键词：形式化规格说明 B方法 统一建模语言状态图 分层状态 
Web应用的UML协作图建模与形式化规格说明被引量：2
《计算机工程与设计》2008年第19期4898-4902,共5页汪斌 袁捷 缪淮扣 毕德闯 朱洪宝 
国家自然科学基金项目(60673115);上海市重点学科建设基金项目(J50103)
针对Web应用的特点,从整体功能层面和交互行为层面用UML协作图构建了Web应用模型,以便精确、有效地描述参与协作对象间的结构关系和交互行为,保证在利用UML形式的规格说明推导测试用例时所需的语义信息。研究了运用Object-Z语言来形式...
关键词：WEB应用 建模 UML协作图 形式化规格说明 自动化工具 
社区卫生服务系统形式化规格说明
《湖北汽车工业学院学报》2006年第3期42-46,共5页陈宇峰 潘正清 
通过对社区卫生服务的功能需求出发,采用Z语言对系统规格进行了形式化说明,包括基础数据、系统状态以及系统操作等。采用形式化方法对社区卫生服务系统进行设计,能够得到一致的、精确的、简明的和无歧义的规格说明。
关键词：医院信息化 社区卫生服务 需求分析 形式化规格说明 
一种容忍入侵结构的Z规格说明被引量：3
《系统仿真学报》2004年第12期2837-2841,2846,共6页郭渊博 史庭俊 马建峰 
国家自然科学基金重大计划 (90204012); 国家863计划(2002AA143021); ;教育部优秀青年骨干教师资助计划;教育部科学技术重点研究项目。
面向对象的形式化规格说明语言Object Z在软件开发中的规格需求方面已广泛应用,但在安全关键系统开发中的应用还是空白。容忍入侵是一种全新的系统安全防护手段,是实现系统可生存性的一种方法,可用于安全关键性基础设施以及系统的基本...
关键词：形式化规格说明 ONect Z语言 容忍入侵 建模 
用形式化和非形式化技术对VB程序逆向工程被引量：1
《吉林大学学报（信息科学版）》2003年第4期387-392,共6页何丽莉 胡成全 齐红 张卓鹏 
国家自然科学基金资助项目(60175024);国家教育部符号计算与知识工程重点实验室基金资助项目
研究了采用形式化和非形式化相结合的方法,为VB程序生成形式化规格说明的逆向工程技术。给出了VB语言基本结构的最强后件语义表示、模式匹配规则、抽象匹配规则以及产生规格说明的基于结构化分析的3阶段过程。在此基础上使用VB语言实现...
关键词：逆向工程 形式化规格说明 形式化方法 
计算机联锁软件的Z规格说明被引量：8
《铁道学报》2003年第4期62-66,共5页王铁江 郦萌 
铁道部科技研究开发计划项目(2002X007)
计算机联锁软件是一种典型的安全关键软件,具有非常复杂的联锁控制逻辑和以失效安全为核心的安全需求。形式化其安全需求是一件十分必要,也是一件十分艰巨的任务。本文使用形式化规格说明语言———Z语言来描述其安全需求,生成形式化规...
关键词：形式化规格说明 Z语言 安全需求 计算机联锁 铁路信号 
从测试规格说明到测试用例的自动生成方法被引量：4
《同济大学学报（自然科学版）》2002年第10期1226-1231,共6页胡芸 缪淮扣 刘玲 
国家自然科学基金资助项目 ( 6 0 1730 30 )
讨论了使用域测试策略生成测试用例的过程 :将测试规格说明 ,即经过预处理的形式规格说明所得到的以析取范式形式表示的线性谓词 ,变换成不等式组 ,然后对每一个不等式组利用 1× 1域测试策略生成域测试矩阵 ,最终得到测试用例包 .提出...
关键词：测试用例 自动生成方法 形式化规格说明 测试规格说明 1×1域测试策略 软件测试 
基于排序形式化规格说明的软构件匹配被引量：4
《合肥工业大学学报（自然科学版）》2000年第4期477-481,共5页王淑红 袁兆山 
国家教委博士点基金资助项目! (970 35 90 1)
基于排序形式化规格说明的软构件匹配是检索可重用构件的有效方法 ,在软件复用和库检索中 ,有助于确定一个构件是否可以取代另一个构件或一个构件如何通过修改以满足另一个构件的要求。利用基于排序形式化规格说明来描述软构件的行为 ,...
关键词：形式化规格说明 软构件匹配 排序 软件重用 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部