UML与形式化建模方法PDF电子书
统一建模语言(UnifiedModelingLanguage,UML)又称标准建模语言,是始于1997年的一个OMG标准,它是一个支持模型化和软件系统开发的图形化语言。本书是UML的入门书籍。
用户评论
推荐下载
-
第4章形式化说明技术.pdf
第4章-形式化说明技术.pdf
10 2021-04-23 -
论文研究基于形式化规格说明的UML状态图提取.pdf
为了辅助软件开发者理解形式化规格说明,提出一种从B方法规格说明中提取UML状态图的方法。通过分析状态信息在规格说明中的表现形式,定义一系列精确的简单状态、状态迁移、复合迁移、分层状态和状态图通信等提取
18 2020-02-19 -
UML基础案例与应用电子书.rar
UML基础、案例与应用电子书.rar
59 2019-05-04 -
电子书PDF
C#初学者适用的一本电子书。
67 2019-08-13 -
PatternRecognitionAndMachineLearningBishop电子书PDF及其答案电子书PDF
PatternRecognitionAndMachineLearningBishop的电子书,彩色PDF格式,及其PDF完整答案
36 2019-05-15 -
论文研究无线移动终端的SAV协议的形式化建模与模型检测.pdf
公钥数字签名方案中验证方是低运算能力的移动智能设备时,验证方在验证过程中需要借助于服务器来辅助验证。SAV(server-aidedverification)协议是一个对无线移动终端实现辅助计算和签名
11 2020-06-10 -
软件形式化方法视频课程5_8
软件形式化方法视频教程,非常好,付费购买某视频网站。软件形式化方法是指建立在严格数学基础上的软件开发方法。形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用
32 2019-03-29 -
软件形式化方法视频课程9_12
软件形式化方法9-12,购买于某视频网站。软件形式化方法是指建立在严格数学基础上的软件开发方法。形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用严格的数学
26 2019-03-29 -
软件形式化方法有限状态机
软关于有限状态机的件形式化方法,包括模型检测,外文论文打包。
24 2019-07-06 -
概念地图形式化及语义分析方法
概念地图形式化及语义分析方法,郝金星,,人类社会加速进入大数据时代,
15 2020-09-20
暂无评论