Institute of Software Engineering and Compiler Construction
- 1:
Teaching. - 2: Research.
- 2.1:
Topics.- 2.1.1:
Constraint Handling Rules. - 2.1.2: Constraint Programming.
- 2.1.3: Experimental software engineering.
- 2.1.4: Integrating conventional and formal methods of software engineering.
- 2.1.5: Model Driven Development.
- 2.1.6: Program transformation.
- 2.1.7: Requirements engineering.
- 2.1.1:
- 2.2: Theses.
- 2.3: Projects.
- 2.4: Publications.
- 2.5: Publications of External Ph.D. Students.
- 2.6: Events.
- 2.1:
- 3: Staff.
- 4: Contact.
Requirements engineering
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
- (horizontal and vertical) traceability of requirements
- integrating non-functional requirements
- general aspects of tool support for requirements engineering
Prof. Dr. Helmuth Partsch