Generating the program code to create software modules. The coding is subject to programming guidelines, which define the quality requirements for code generation and thus ensure the traceability of the program code. The correctness of the generated code is verified in the module test. Compliance with programming standards is verified on the basis of code reviews.