点击切换搜索课件文库搜索结果(990)
文档格式:PPT 文档大小:437.5KB 文档页数:99
南京大学:《软件工程 Software Engineering》课程教学资源(PPT课件讲稿)Part 22 面向对象软件工程 Object-Oriented Software Engineering(Unified Modeling Language, UML)
文档格式:PPT 文档大小:349.5KB 文档页数:185
• 软件过程 • 软件质量保证 • 软件配置管理 • 软件项目管理概念
文档格式:PPT 文档大小:886KB 文档页数:220
• 问题定义 • 需求分析 • 概要设计 • 详细设计 • 编码 • 测试 • 维护
文档格式:PDF 文档大小:1.11MB 文档页数:96
Foreword OO visual modeling and formal methods Specification of UML2.0 language Activity Modeling State Machine Modeling
文档格式:PDF 文档大小:912.13KB 文档页数:46
南京大学技术报告:Model driven architecture - Principles and practice(张天)
文档格式:PDF 文档大小:2.34MB 文档页数:52
1 Introduction Problem Definition Existing Methods Motivation and Contribution 2 Isotropic Hashing Model Learning Experimental Results 3 Multiple-Bit Quantization Double-Bit Quantization Manhattan Quantization 4 Conclusion 5 Reference
文档格式:PPTX 文档大小:1.09MB 文档页数:108
 Code Mobility  Mobile Agent  Migration Mechanism in Mobile Agent System
文档格式:PPT 文档大小:4.56MB 文档页数:60
◼ knowledge of a basic formalism for modeling timed systems ◼ basic understanding of verification algorithms for timed systems (useful for practical modeling and verification)
文档格式:PPTX 文档大小:3.01MB 文档页数:69
南京大学:《形式语言与自动机 Formal Languages and Automata》课程教学资源(PPT课件讲稿)Transition System
文档格式:PPTX 文档大小:870.24KB 文档页数:106
Definitions Equivalence to Finite Automata
首页上页5051525354555657下页末页
热门关键字
搜索一下,找到相关课件或文库资源 990 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有