形式化方法B和UML的结合研究

Name: 形式化方法B和UML的结合研究
Rating: 4.5 (45 reviews)
Author: sky_you

上传者：sky_you 2020-06-07 23:18:45上传 PDF文件 578.92KB 热度 45次

形式化方法B和UML的结合研究，邹盛荣，，形式化方法B用抽象机器符号来描述软件的规格说明，因为工具集的有力支持已成为形式化方法的首选并有了一些成功的工业应用，UML是

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

形式化方法B和UML的结合研究

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

大小：0B | 2020-06-07 23:18:45
UML模型形式化B方法转换的实现

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

大小：564KB | 2021-02-24 02:48:14
形式化方法B的学习课件

法国著名大学研究生的b方法学习课件，不容易啊。老师提供的

大小：0B | 2019-05-23 00:10:05
形式化B语言

形式化验证B语言安全系统设计软件工程

大小：0B | 2020-05-29 14:00:58
形式化方法

Formal method

大小：0B | 2019-06-22 22:03:24
论文研究形式化方法Designware B的比较.pdf

提出一种0-1序列生成器的设计方法。该方法通过Logistic映射得到一组对初始值具有敏感性、快速衰...

大小：0B | 2020-01-13 15:05:56
形式化方法CSP

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

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

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

大小：0B | 2020-05-15 21:37:38
形式化方法资料

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

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

大小：0B | 2019-01-10 23:14:58
本体的形式化研究

知识本体作为共享概念模型的形式化的规范说明,在信息技术领域的各个方面有着广泛的应用。本体的表示有多种...

大小：361KB | 2020-10-28 06:42:12
UML类图的形式化及分析

大小：0B | 2019-01-06 14:06:10
基于MDE的UML模型到形式化模型的转换方法研究

模型转换的参考资料，仅供参考。出处：研究生：刘亚萍研究方向：软件开发与验证指导教师：黄志球教授南京航...

大小：0B | 2019-09-27 22:26:34
形式化方法课件中文

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

大小：0B | 2018-12-26 05:23:08
UML与形式化建模方法PDF电子书

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

大小：0B | 2019-07-13 17:10:29
形式化方法概貌2018

大小：0B | 2019-02-22 16:44:23