EN
The article deals with problems concerning the control of the process of designing information systems and of the design documentation connected with it. Such controls aim at increasing the reliability of information systems. There have been described, among others, the following methods: source code review, comparison of a program with on attested version, program tracing, reprocessing, parallel simulation.