形式化方法以严格的数学化和机械化方法为基础来规约、构建和验证计算系统，是改善和确保计算系统质量的重要方法，其模型、技术和工具已延生成为计算思维的重要载体。 中国计算机学会形式化方法专业委员会立足于形式化方法核心内容，深化拓展形式化方法与相关领域的交叉，加强学术界与 ...
FMAC 全国形式化方法与应用会议 中国计算机学会主办，立足于形式化方法核心内容，深化拓展形式化方法与相关领域的交叉，加强学术界与工业界合作，在科学研究、人才培养、国际交流、应用实践等方面努力开展卓有成效的工作，促进形式化方法在中国的发展。
计算机研究与发展. 月刊.1958年创刊. 主编：徐志伟. 中国计算机学会会刊. 推荐文章 更多>>. 基于深度学习的图异常检测技术综述. OpenFlow交换机流表溢出缓解技术研究综述. 处理器芯片敏捷设计方法：问题与挑战. 实现软硬件解耦合的类脑计算硬件设计方法.
期刊出版形式差错数计算方法 【打印本页】 【关闭页面】 上一篇： 新闻出版总署关于加强养生保健类出版物管理的通知 下一篇： 国家新闻出版署关于进一步加强网络文学出版管理的通知 ...
形式化方法B及其程序规约机理[J].计算机工程,2004,30(16):16-18. 被引量：16 3 邵开丽,王命延.VDM在银行软件开发中的应用[J].科技广场,2005(2):42 4 姜梦稚,张桂戌.基于Petri网和B语言集成的形式化
中国期刊网,期刊,杂志,读者服务,电子杂志,论文,文库,期刊网,电子刊 [导读] 摘要：新课程标准规定培养学生的科学探究的能力，要求运用科学的教学方法让学生在高效地进行学习。新人教版高中生物教材中包含教学的理念和教学方法，为学生学习生物提供了基础。
维普中文期刊服务平台，是重庆维普资讯有限公司标准化产品之一，本平台以《中文科技期刊数据库》为数据基础，通过对国内出版发行的15000余种科技期刊、7000万篇期刊全文进行内容组织和引文分析，为高校图书馆、情报所、科研机构及企业用户提供一站式文献服务。
领域本体构建方法概述 作者 白宁超 2015年11月6日11:07:46 摘要： 领域本体的构建方法是当前本体研究的热点问题之一。 但是，目前的领域本体的创建还缺乏系统的、针对所有领域的、工程化的方法。本文介绍了本体的相关理论，和基本构建知识，并 ...
这样，高效准确的安全协议的形式化分析是必不可少的。所以形式化方法分析安全协议已成为目前研究的重点。本文以H.530协议为例给出其形式化分析与模型检测。 关键词：H.530协议；形式化分析；模型检测 中图分-龙源期刊网
符鸿飞，上海交通大学约翰·霍普克罗夫特计算机科学中心助理教授。他于2010年赴德国亚琛工业大学计算机科学系攻读形式化方法相关的博士学位，读博期间，符鸿飞主要研究概率系统形式化验证。获得博士学位之后，符鸿飞开展了博士后研究，和奥地利科学技术研究院（IST Austria）的Krishnendu ...
【摘要】:形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方...
摘要:形式化方法B支持从抽象规约到实现的完整的开发过程,用于开发安全关键的软件系统.给出了B方法精化的定义后,介绍了抽象机的精化过程与方法,结合实例分析了仅...
形式化方法的参考文献频道为您的论文写作与发表精选了17851片论文参考文献类相关论文范文,包含优秀免费参考文献方面大学硕士本科毕业论文与职称论文文献6677章下载。
为了构建适用于电力智能单元传输规约的安全性分析模型,概述了主流的协议安全性分析理论与方法。基于符号模型的形式化方法包括逻辑推理、模型检验、定理证明;基于计算模型的计...
摘要:形式化方法是把概念、判断、推理转化成特定的形式符号后,对形式符号表达系统进行研究的方法。是用具有精确语义的形式语言书写的程序功能描述,它是设计和...
内容提示:苇19卷第2期VuJ.I9No.2重庆师范学院学报(自然科学版)JournalofChongqingNormalUniversity(NaturalScienceEdition)2002年6月Jun.2002关于软件...
利用形式化规格说明语言--B语言对软件需求进行了严格定义,在严格的数学基础上进行软件开发,以获得更好的软件性能.利用形式化方法的需求分析,有助于发现需求中隐含的不一致性...
一、形式邏輯的思維規律是思想的邏輯結构的規律形式邏輯和研究思想的运动发展的辯证邏輯不同。作者馬兵出处《哲学研究》1961年第3期17-26,共10页PhilosophicalResear...
各位达人，小弟一新人，最近写了一篇形式化方法的论文，关于Statecharts的，主要在基本的Statecharts的基础上...
【摘要】:正形式化方法主要研究如何把具有清晰数学基础的模型、规范、分析以及验证融入软硬件设计开发的各个阶段,是改善和确保计算机系统正确性和可靠性的重要途...