软件工程——软件建模与文档写作
✍ 龙浩 王文乐 刘金 戴莉萍
📂 Library
🌐 Chinese
✦ LIBER ✦
📁
Event-B建模 系统和软件工程
✍ Scribed by Jean-Raymond Abria
- Publisher
- Cambridge University Press
- Year
- 2021
- Tongue
- Chinese
- Leaves
- 496
- Edition
- Di 1 ban.
- Category
- Library
⬇ Acquire This Volume
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
软件建模与设计: UML、用例、模式和软件体系结构
✍ Hassan Gomaa
📂 Library
📅 2014
🏛 机械工业出版社
🌐 Chinese
基于任务驱动模式的软件工程与UML建模技术
📂 Library
🌐 Chinese
书签已装载， 书签制作方法请找 [email protected] 完全免费 封面 书名 版权 前言 目录 第一部分 概览 第1章 引言 1.1软件建模 1.2面向对象方法与统一建模语言 1.3软件体系结构设计 1.4方法和表示法 1.5 COMET：一种基于UML的软件应用建模和设计方法 1.6 UML标准 1.7软件体系结构的多视图 1.8软件建模和设计方法的发展 1.9面向对象分析和设计方法的发展 1.10并发、分布式和实时设计方法 1.11总结 练习 第2章 UML表示法概述 2.1 UML图 2.2用例图 2.3类和对象 2.4类图 2.4.1关联 2.
统计建模与R软件
动力学系统建模
✍ 张景绘
📂 Library
📅 2000
🏛 国防工业出版社
🌐 Chinese
https://book.ixueshu.com/book/61847bcc82be69ba4699330312ecd012318947a18e7f9386.html https://picture.iczhiku.com/resource/eetop/WYkWzIfpISYlObvM.pdf
面向计算机科学的数理逻辑系统建模与推理: 系统建模与推理
✍ 胡思
📂 Library
📅 2005
🏛 机械工业
🌐 Chinese
书签已装载， 书签制作方法请找 [email protected] 完全免费 数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-S