南京大学：《软件工程 Software Engineering》课程教学资源（PPT课件讲稿）Part 22 面向对象软件工程 Object-Oriented Software Engineering（Unified Modeling Language, UML）

• 软件过程 • 软件质量保证 • 软件配置管理 • 软件项目管理概念

• 问题定义 • 需求分析 • 概要设计 • 详细设计 • 编码 • 测试 • 维护

Foreword OO visual modeling and formal methods Specification of UML2.0 language Activity Modeling State Machine Modeling

南京大学技术报告：Model driven architecture - Principles and practice（张天）

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

 Code Mobility  Mobile Agent  Migration Mechanism in Mobile Agent System

◼ knowledge of a basic formalism for modeling timed systems ◼ basic understanding of verification algorithms for timed systems (useful for practical modeling and verification)

南京大学：《形式语言与自动机 Formal Languages and Automata》课程教学资源（PPT课件讲稿）Transition System

Definitions Equivalence to Finite Automata