Software Systems

Games are huge software products that must be constructed, deployed, and maintained. This involves all aspects of the research in this cluster, like domain specific languages, game architecture, platforms, delivery infrastructures, testing, and usage analytics. It also involves research in the game production process and in the application of serious games in areas like education, safety, and health.

The research on software technology improves programming languages, helps programmers by providing powerful tools, and develops example products that emphasize the feasibility of the approach. Type systems, advanced higher-order, lazy functional programming languages, domain-specific languages, and programming methods form the basis of the research.

The cluster also applies software technology for learning and teaching and develops theories, formalisms, technology, and tools that support teaching and learning.

The research on software production investigates architectural trade-offs for non-functional attributes in the deployment infrastructures of emergent product delivery channels, such as SaaS and mobile platforms. Collaborative networks, software ecosystems, are investigated to develop new instruments for knowledge sharing and decision making during product development, releasing, and operations.

Keywords: Programming languages and techniques, compiler construction, program analysis, software analysis, software verification and testing, security, domain-specific languages, functional programming, parallel and distributed systems, version and configuration management, cloud computing, software architecture, software production, software deployment, software platforms and their ecosystems, methodology and knowledge infrastructures, game description languages, serious games, technology-enhanced learning, experimental and empirical research.

First contact: Johan Jeuring