2011 年出版253 页ISBN：9787500496632
语义知识的表达策略及其形式化描写技术是语义资源建设的关键问题，直接影响到资源的质量与效率。迄今为止，国内外现有的词汇语义资源充分研究了概念间的宏观语义关系，形成了多种理论。为了进一步细化词汇语义知...
2017 年出版488 页ISBN：7520307123
当全世界仍在努力修复第二次世界大战给人类造成的巨大创伤时，科学界一颗新星悄然升起。这颗新星在诞生二十年后，被命名为“认知科学”。而这个新型对人类生活将产生的广泛而深远的影响以及对人类的存在方式和...
2003 年出版367 页ISBN：7505386468
本书就网络协议分析与设计中的形式化方法与技术展开讨论和介绍，主要内容包括：网络协议及开发概论；网络协议的形式化模型；网络协议的形式描述语言；网络协议的形式化验证；网络协议的形式化综合；网络协议的测试；网络协...
2001 年出版269 页ISBN：7301053320
国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。...
2012 年出版212 页ISBN：9787111367079
企业信息系统（Enterprise Information System，EIS）在众多行业中得到了广泛的应用，并且发挥着越来越重要的作用，日益成为企业运行中必不可少的组成部分。形式化即“符号化＋抽象公理化”，也就是采用定量的数学方法描...
2008 年出版146 页ISBN：7030200322
本书叙述了与信息安全有密切联系的基于网络电子商务协议的形式化分析理论与实际应用。具体内容包括：电子商务协议的形式化逻辑分析方法、通用形式化Petri网模型分析方法、有穷自动机模型检测分析方法、安全...
2012 年出版133 页ISBN：9787561457290
本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...
2017 年出版269 页ISBN：9787113225797
随着我国铁路事业的快速发展，对列车运行控制系统安全性的研究已成为目前铁路运输系统的重要研究问题。形式化方法为设计高可信系统提供了重要途径。本书针对列车运行过程中安全关键因素，如无线通信网络性能、...
2008 年出版408 页ISBN：7302183171
本书首次开创了一个新技术，即形式化工程方法，把传统的形式化方法和软件工程有机结合起来。它提供了一个严密、系统、有效的软件开发方法，其实用性超过了目前所有形式化方法。这正好可以满足学术界、软件工程类...
2014 年出版157 页ISBN：9787564516581
本书以现代语言学主流学派生成语法的“原则与参数”理论，全面研究并深入探讨了英汉两种语言的疑问句系统，并以严谨的论证和充分的论据充实了旨在揭示人类自然语言共性与差异的普遍语法学说。本书以现代语言学...
2017 年出版147 页ISBN：9787030522139
本书以前期研究形成的支持程序开发全过程的形式化方法PAR为基础，选取排序类和查找类算法作为研究的突破口，开展了形式化方法制导下的算法程序自动化的研究。PAR为算法程序自动化提供了有力支持，它由自定义泛型...
2010 年出版214 页ISBN：9787111297260
本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议。
2010 年出版411 页ISBN：9787030276094
本书重点介绍过去五年内取得的相关研究成果，兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证...
