大型软件形式化开发方法及CASE工具ZIPC

Name: 大型软件形式化开发方法及CASE工具ZIPC
Rating: 4.5 (87 reviews)
Author: xutianle

上传者：xutianle 2019-05-16 10:21:26上传 PPT文件 12.68MB 热度 87次

大型软件形式化开发方法及CASE工具ZIPC软件开发方法PPT

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

大型软件形式化开发方法及CASE工具ZIPC

大型软件形式化开发方法及CASE工具ZIPC软件开发方法PPT

大小：0B | 2019-05-16 10:21:26
软件形式化开发方法的选择策略研究

随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合...

大小：667KB | 2021-02-06 08:37:05
B方法讲义形式化开发软件方法之一

B方法，形式化开发软件的方法之一。有利于自动开发软件。

大小：0B | 2020-06-20 09:26:14
B语言与方法实用形式化开发指南

本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成系统开发的方法。首先，介绍了B语言的发展...

大小：0B | 2019-09-28 22:25:53
B语言与方法_实用形式化开发指南

B语言与方法/（英）K.Lano著,鲍涌等译高等教育出版社出版日期：1998.7目录:第一章引言1．...

大小：0B | 2019-06-05 16:53:36
软件开发的形式化方法

大小：0B | 2019-04-09 13:25:53
软件开发形式化方法教材

软件开发的形式化方法。语义学方面的教材。

大小：0B | 2019-05-23 00:09:48
软件开发中的形式化方法

Formal methods in software development

大小：0B | 2019-06-22 22:03:29
软件开发的形式化方法.pdf

大小：0B | 2019-04-09 13:25:53
形式化开发Hanoi塔问题非递归算法

Formal development of the non-recursive algorithm ...

大小：0B | 2019-06-27 02:34:18
软件形式化方法PetriZ方法.txt

百度云连接-如有问题询1039175216软件及其开发概述有限状态机及其扩展Petri网进程代数一阶...

大小：0B | 2020-05-24 07:24:17
形式化方法

Formal method

大小：0B | 2019-06-22 22:03:24
软件形式化方法概述.docx

软件形式化方法概述.docx

大小：0B | 2020-05-30 13:55:48
形式化方法CSP

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

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

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

大小：0B | 2020-05-15 21:37:38
高级软件工程形式化方法

大小：0B | 2019-01-11 00:06:44