Institute of Software Engineering and Programming Languages
Building O27, Level 4
Phone: +49 (0)731 / 50 - 2416
Our research topics cover aspects of software engineering and compiler construction. In particular, we focus on requirements engineering methods, formalisms, and tools as well as model-driven software engineering, experimntal software engineering, and development of innovative software tools.
Formal Problem Specification on an Algebraic Basis
In Möller, B. and Partsch, H. and Schuman, S., editor, Formal Program Development: IFIP TC2 State-of-the-Art Report Volume 755 of Lecture Notes in Computer Science