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.
Experimental software engineering
To improve the quality of software development in a systematic and traceable way one needs a description of the quality aims that can be measured. It is only with such a quantitative basis that one can objectively determine quality characteristics in process and project development to use them in planning, supervising, and controlling software development. Within the scope of Ulm's software laboratory (set off in 1996 by the state of Baden-Württemberg) we experimentally investigate current topics in the field of embedded systems (usually in co-operation with DaimlerChrysler Research Ulm). In particular we aim at obtaining reliable data on systematic development and analytic quality assurance.
Prof. Dr. Helmuth Partsch