@ 2012 - Site Map - Credits

Emil-Figge-Str. 72,
Campus Nord,
44227 Dortmund, Germany

Phone: +49 (0) 231 / 755-5331

Team members
	Bernhard Steffen Professor

Howar Falk PhD Student

Merten Maik PhD Student

The TU Dortmund, the central IT-university in the Rhine-Ruhr area, is among the three largest in Germany in Computer Science. The CS Department targets prevalently applied research and education, and privileges international activities and technology transfer to the surrounding industrial reality. Most of the scientific activities are performed within the framework of national and international research projects, with particular attention to new directions (media, platforms, and contents) in education and a strong expertise in programming languages and environments. A number of first class research institutes on and off campus provide an excellent base for future development.

Expertise brought to CONNECT

The Chair of Programming Systems is active in the development of lightweight formal verification methods and tools for program analysis, compiler optimization, model generation, and testing. It has matured significant experience in the use of formal methods to support state of the art industrial software development of distributed cooperative systems. Characteristic contribution and experience concern the jABC framework for supporting the full life cycle of end-to-end processes and the ETI platform, which was initially used as an interactive online experimentation component for Springer's Int. Journal Software Tools for Technology Transfer.

Contribution to CONNECT research

Within CONNECT, the team contributes compositional modeling and specification techniques, both at the programming level and at the service level, where components are specified by ontological characterizations. It provides a powerful learning framework, the LearnLib, as well as the support and expertise to tailor this framework to the CONNECT setting.