Requirements engineering deals with methods, formalisms and tools to identify, formulate and analyse requirements for software-based systems. The primary idea of our activities in requirements engineering is the creation of models. A model is an abstract, largely formal description of a system that allows to specify requirements without anticipating the implementation, while it enables the analysis of a system's structure and behaviour as soon as possible during its development.
Concrete topics are:

• foundations, connections, interfaces, and the integration of different existing approaches
• coexistence and the blending of different formalisms
• criteria for consistency and completeness of models or precise semantic definitions of particular modelling concepts
• methodology and computer support for the development of (formal) specifications from informal problem statements
• application of formal methods
• general aspects of tool support for requirements engineering