PROPHETS. a framework for loose programming

Contact

This site is maintained by the Chair for Programming Systems of Dortmund University of Technology.

Postal address

TU Dortmund
Fakultät für Informatik
Lehrstuhl 5
44221 Dortmund

People

The concepts of loose programming are developed by Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen and Tiziana Margaria. Please visit their individual pages for information on how to contact them.

The realization/implementation of the jABC PROPHETS plugin is mostly provided by Stefan Naujokat. Contact him for any technical problems and questions about how to use PROPHETS.