UML与形式化建模方法PDF电子书

Name: UML与形式化建模方法PDF电子书
Rating: 4.5 (44 reviews)
Author: FireworksFlower

上传者：FireworksFlower 2019-07-13 17:10:29上传 PDF文件 3.24MB 热度 44次

统一建模语言（UnifiedModelingLanguage，UML）又称标准建模语言，是始于1997年的一个OMG标准，它是一个支持模型化和软件系统开发的图形化语言。本书是UML的入门书籍。

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

UML与形式化建模方法PDF电子书

统一建模语言（UnifiedModelingLanguage，UML）又称标准建模语言，是始于199...

大小：0B | 2019-07-13 17:10:29
论文研究仿真建模与形式化.pdf

论文研究-仿真建模与形式化.pdf, 离散事件仿真在复杂系统的分析和设计中正得到越来越广泛的应用,...

大小：483KB | 2020-07-20 17:26:54
形式化方法

Formal method

大小：0B | 2019-06-22 22:03:24
UML建模电子书入门

UML建模电子书(入门),适合初学者学习。

大小：3.52MB | 2020-09-17 03:43:47
Petri网原理形式化建模方法

是一种形式化建模方法。常用来构建系统。其他的还有流程图的方式等

大小：0B | 2020-05-18 04:30:16
形式化方法CSP

Communicatingsequentialprocesses:形式化方法CSP,进程代数CSP

大小：0B | 2020-06-01 19:03:18
形式化方法教材

形式化方法教材，教材及练习题答案。Ch01-Ch16，APPENDIX2

大小：0B | 2020-05-15 21:37:38
UML建模图解教程电子书

第1章UML概述1.1统一建模语言1.1.1什么是UML1.1.2UML的发展1.2UML静态模型图...

大小：0B | 2020-05-24 14:31:42
形式化方法资料

形式化方法的课件，北大裘宗燕老师的课件

大小：0B | 2018-12-26 05:23:29
形式化方法概貌

大小：0B | 2019-01-10 23:14:58
UML模型形式化B方法转换的实现

UML是软件开发的标准语言,已经广泛运用于各种领域的软件设计建模之中。但是UML的半形式化表达方式缺...

大小：564KB | 2021-02-24 02:48:14
形式化方法B和UML的结合研究

形式化方法B和UML的结合研究，邹盛荣，，形式化方法B用抽象机器符号来描述软件的规格说明，因为工具集...

大小：0B | 2020-06-07 23:18:45
安全关键软件形式化建模

一种铁路信号系统安全关键软件的形式化建模和分析方法

大小：650KB | 2020-07-25 13:04:30
电信协议工程与形式化方法

Telecommunications protocol engineering and formal...

大小：0B | 2019-06-26 17:20:39
标准建模语言UML教程电子书

《标准建模语言UML教程》。

大小：0B | 2019-07-18 03:40:10
形式化方法课件中文

北大形式化方法课程的课件，重点介绍软件开发过程中的形式化方法。

大小：0B | 2018-12-26 05:23:08