个人工具
您位于: 首页 → 成员 → 兴趣专长
 

兴趣专长

体系结构与设计
Software Architecture and Design
分布协同开发
Computer-supported Cooperative Work
分布计算与中间件
Distributed Systems and Middleware
分析与测试
Analysis and Testing
可信软件
Trustworthy, Dependable, High-confident Software
工具与环境
Tools and Environments
开发范型与过程
Development Paradigms and Software Processes
开放标准与认证
Open Standards and Certification
形式化技术
Petri网, 进程代数, Pi演算等
操作系统
Operating system
测试与验证
Verification, Validation
移动与嵌入式系统
Mobile and Embedded Systems
程序理解
Program Comprehension and Visualization
系统管理
Linux, 网络管理
经验软件工程
Empirical Software Engineering
自主管理
自主适配、优化、防护、演化
规约及验证
Specification and Verification
计算理论
Computing theory
设计模式
Design patter
语言及编译
Language, compiler
软件复用
基于构件的复用技术
软件度量
Software Metrics
逆向工程与重构
Reverse Engineering, Refactoring, and Evolution
配置管理
Software Configuration and Deployment
需求工程
Requirements Engineering
面向侧面的开发
Aspect-oriented software development
面向服务的计算
Service-oriented Software Engineering
« 2012年 五月 »
五月
一二三四五六日
123456
78910111213
14151617181920
21222324252627
28293031