软件开发的形式化工程方法 2024 pdf epub mobi 电子书

☆☆☆☆☆
简体网页||繁体网页

软件开发的形式化工程方法 2024 pdf epub mobi 电子书著者简介

软件开发的形式化工程方法电子书图书目录

下载链接在页面底部

点击这里下载

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-09-10

软件开发的形式化工程方法 2024 pdf epub mobi 电子书

喜欢软件开发的形式化工程方法电子书的读者还喜欢

软件开发的形式化工程方法电子书读后感

评分☆☆☆☆☆

类似图书点击查看全场最低价

出版者:

作者:刘少英

出品人:

页数:403

译者:

出版时间:2008-8

价格:45.00元

装帧:

isbn号码:9787302183174

丛书系列:

图书标签: 软件工程形式化方法软件开发计算机程序设计 Methods Formal_Methods Formal

软件开发的形式化工程方法 2024 pdf epub mobi 电子书图书描述

《国外经典教材•计算机科学与技术•软件开发的形式化工程方法:结构化+面向对象+形式化》首次开创了一个新技术，即形式化工程方法，把传统的形式化方法和软件工程有机结合起来。它提供了一个严密、系统、有效的软件开发方法，其实用性超过了目前所有形式化方法。这正好可以满足学术界、软件工程类学生对学习形式化工程方法和SOFL的迫切需求。.

《国外经典教材•计算机科学与技术•软件开发的形式化工程方法:结构化+面向对象+形式化》通俗易懂，实例丰富，可满足读者即学即用的需要。书中对软件开发中的形式化工程方法进行了介绍和讨论，内容涵盖SE 2004中关于“软件的形式化方法”的知识点，主要包括：有限状态机、Statechart、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、Larch等。

在软件开发领域，形式化方法涉及数学符号和微积分的使用，此类方法很难应用到面临着具体局限的大型系统中，这些局限包括开发者技能有限、时间和财务预算限制以及不断变化的需求。针对这些现状，书中介绍了形式化方法，提倡在软件工程过程中采用数学符号，从而从根本上增强行业中常用开发方法的准确性、全面性和有效性。

《国外经典教材•计算机科学与技术•软件开发的形式化工程方法:结构化+面向对象+形式化》对SOFL (Structured Object-Oriented Formal Language)方法进行了介绍，此方法由作者设计并已经通过行业验证。《国外经典教材•计算机科学与技术•软件开发的形式化工程方法:结构化+面向对象+形式化》包含大量练习和重要的实际案例，有助于读者迅速理解并成功将这种方法运用于项目之中。

软件开发的形式化工程方法 2024 pdf epub mobi 电子书

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!