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


软件开发的形式化工程方法

简体网页||繁体网页
刘少英
2008-8
403
45.00元
9787302183174

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


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




点击这里下载
    


想要找书就要到 小哈图书下载中心
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-11-10

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

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

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



图书描述

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

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

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

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

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

著者简介


图书目录


软件开发的形式化工程方法 pdf epub mobi txt 电子书 下载
想要找书就要到 小哈图书下载中心
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

用户评价

评分

评分

评分

评分

评分

读后感

评分

评分

评分

评分

评分

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

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


分享链接









相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 qciss.net All Rights Reserved. 小哈图书下载中心 版权所有