System engineering Analysis Testing Design Maintenance Code 系统定义 分析 设计 编码 测试 维护
文件格式: PPT大小: 907.5KB页数: 260
• 软件过程 • 软件质量保证 • 软件配置管理 • 软件项目管理概念
文件格式: PPT大小: 349.5KB页数: 185
•“面向对象”是从结构组织的角度去模拟客观世界的一种方法，这种方法的基本着眼点是构成客观世界的那些成分----对象。•用“面向对象”的观点去认识客观世界，用“面向对象”的方法去模拟客观世界，这就构成了“面向对象”的完整含义
文件格式: PPT大小: 494.5KB页数: 102
• 问题定义 • 需求分析 • 概要设计 • 详细设计 • 编码 • 测试 • 维护
文件格式: PPT大小: 886KB页数: 220
The halting problem is undecidable Decidability
文件格式: PPTX大小: 475.48KB页数: 100
◼ knowledge of a basic formalism for modeling timed systems ◼ basic understanding of verification algorithms for timed systems (useful for practical modeling and verification)
文件格式: PPT大小: 4.56MB页数: 60
南京大学：《形式语言与自动机 Formal Languages and Automata》课程教学资源（PPT课件讲稿）Petri Net
文件格式: PPTX大小: 3.17MB页数: 84
南京大学：《形式语言与自动机 Formal Languages and Automata》课程教学资源（PPT课件讲稿）Transition System
文件格式: PPTX大小: 3.01MB页数: 69
Turing Machines Recursive and Recursively Enumerable Languages
文件格式: PPTX大小: 1.45MB页数: 91
Statement Applications
文件格式: PPTX大小: 320.44KB页数: 54