print · source · login   

Department of Software Science

Software science explores and develops theories, formal methods and tools for model construction, implementation, testing, validation and verification of software, and for developing new programming principles. An explicit aim is also to bridge the gap between theory and practice through collaboration with stakeholders from industry and other application areas and to understand in what way the developed methods can contribute to solving real-world problems: our "Practice as Laboratory Approach". We do research on:

  • foundations of software
  • model learning, their manual construction and automatic generation
  • model-based reasoning, theorem proving, model-based testing, verification and validation

The members of the Software Science department have expertise covering a broad range of topics concerning software construction, which is seen as a unique feature of the group with significant added value.