Former Research

Language Design and Domain Specific Languages

• Parameterized Service Specifications
• Supporting the Derivation of Comprehensive Specifications for Black-box Services
• Human-centered adaptive work processes
• Dynamic Meta Modeling
• DoubleCheck: Semantic Preserving Model Transformations
• ClassSheets
• Modell Based Development of Web Applications
• Model-Driven Development of Context-Adaptive UIs
• Ontologies

Software Quality Assurance

• Architecture Management of OTF Computing Markets
• Human-Centered Software Engineering
• Modell Based Testing
• Quality of Software Models
• Quality of Business Processes
• Efficient Test Strategies and Test Management
• Test Automation

Software Architecture and Evolution

• Model-Integrating Development
• Model-Driven Software Modernization
• Architecture Management of OTF Computing Markets
• Supporting the Derivation of Comprehensive Specifications for Black-box Services
• Self-adaptive Software Systems
• Software Platform Evolution
• Service Oriented Architectures (SOA)
• Software Product Lines

Information Processing Systems

• Intelligent Information Processing
• Interactive Knowledge Stack
• Knowledge Base Quality Assurance

Software Development Methods

• Development of Cross-Device Systems
• Architecture Management of OTF Computing Markets
• Human-Centered Software Engineering
• Situational Method Engineering