| 商家名称 | 信用等级 | 购买信息 | 订购本书 |
 |
 |
国外经典教材?计算机科学与技术?软件开发的形式化工程方法:结构化+面向对象+形式化 |  |
 |
|
国外经典教材?计算机科学与技术?软件开发的形式化工程方法:结构化+面向对象+形式化 | |
出版日期: 2008年8月1日
《国外经典教材?计算机科学与技术?软件开发的形式化工程方法:结构化+面向对象+形式化》首次开创了一个新技术，即形式化工程方法，把传统的形式化方法和软件工程有机结合起来。它提供了一个严密、系统、有效的软件开发方法，其实用性超过了目前所有形式化方法。这正好可以满足学术界、软件工程类学生对学习形式化工程方法和SOFL的迫切需求。.
《国外经典教材?计算机科学与技术?软件开发的形式化工程方法:结构化+面向对象+形式化》通俗易懂，实例丰富，可满足读者即学即用的需要。书中对软件开发中的形式化工程方法进行了介绍和讨论，内容涵盖SE 2004中关于“软件的形式化方法”的知识点，主要包括：有限状态机、Statechart、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、Larch等。
在软件开发领域，形式化方法涉及数学符号和微积分的使用，此类方法很难应用到面临着具体局限的大型系统中，这些局限包括开发者技能有限、时间和财务预算限制以及不断变化的需求。针对这些现状，书中介绍了形式化方法，提倡在软件工程过程中采用数学符号，从而从根本上增强行业中常用开发方法的准确性、全面性和有效性。
《国外经典教材?计算机科学与技术?软件开发的形式化工程方法:结构化+面向对象+形式化》对SOFL (Structured Object-Oriented Formal Language)方法进行了介绍，此方法由作者设计并已经通过行业验证。《国外经典教材?计算机科学与技术?软件开发的形式化工程方法:结构化+面向对象+形式化》包含大量练习和重要的实际案例，有助于读者迅速理解并成功将这种方法运用于项目之中。
喜欢国外经典教材?计算机科学与技术?软件开发的形式化工程方法:结构化+面向对象+形式化请与您的朋友分享,由于版权原因，读书人网不提供图书下载服务
