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