软件工程
Software Engineering
分布式系统
Distributed Systems
人机交互
Human-Computer-Interaction
基于模型的安全分析
Model-based Safety Analysis
反应系统的建模、规范和验证
Modelling, Specification and Verification of Reactive Systems
需求工程
Requirements Engineering
基于模型的软件工程
Model-based Software Engineering
现代CPU架构下的数据库系统
Database Systems on Modern CPU Architectures
分布式系统软件工程
Software Engineering for Distributed Systems
嵌入式系统软件工程
Software Engineering for Embedded Systems
实用的IT安全
Practical IT-Security