print · source · login   

Mission and Structure of our Research

The mission of the department of Software Science is to carry out fundamental research on the use of (mathematical) models in the development of computer systems in relationship to application areas, on the one hand, and basic techniques, on the other hand, as schematically depicted below. Our theories, methods and tools are empirically validated through the development of challenging applications from industry, government, and health care, thus aiming at bridging the gap between theory and practice.

Keywords: Modeling, computer-aided verification, analysis and reasoning, model-based application generation.