Since 1998, I manage and package the Opal distribution. See here for further information about the distribution, links to download it, and german and english installation guides. It is also an exercise in programming with Opal's agents and in using the OpalWin library for the graphical user interface. Some features of the system are specific to Opal, but the main objectives are language independent. The Dosfop system was developed regarding these request.
Documentation is included into Opal programs in form of particularly marked comments.
The documentation is available in different representations. Dosfop is distributed as part of the Opal distribution . A Technical Report describing the approach to software documentation implemented in the Dosfop system. In this thesis we present a compiler architecture that enables the compiler to check the correctness of the source code as part of the compilation process . It allows to perform these correctness checks with different methods, in particular formal testing and formal proof.