形式化方法

• 

  工业关键系统的形式化方法 应用综述

  查看PDF目录购买本书

  （意）格涅斯，（意）玛格丽特著2015 年出版228 页ISBN：9787111485216

  形式化方法以数学为基础，其目标是建立精确的、无二义性的语义，对系统开发的各个阶段进行有效的描述，使系统的结构具有先天的合理性、正确性和良好的维护性，能较好地满足用户需求。本书记录和展示了作者关于形式...

• 

  软件工程形式化方法与语言

  查看PDF目录购买本书

  李莹，吴江琴著2010 年出版200 页ISBN：9787308066679

  本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...

• 

  软件开发的形式化方法

  查看PDF目录购买本书

  古天龙著2005 年出版265 页ISBN：704016079X

  形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。本书对软件开发中的形...

• 

  形式化方法导论

  查看PDF目录购买本书

  张广泉著2015 年出版256 页ISBN：9787302411611

  鉴于形式化方法对软件工程的重要性， 2004 年 ACM 和 IEEE-CS 联合制订的软件工程教程《SE2004》将“形式化方法”列为 软件工程专业的核心课程。本书主要由系统建模、形式规约和形式验证三部分构成，具体包括...