An important part of computer mathematics is to translate mathematical results into executable algorithms. Another important aspect is to implement these executable aspects into actual computer programs so that they can be used for solving problems that are of independent interest. Students of computer mathematics must therefore also have a certain familiarity with software development, which is taught in this subject.
Subject
The subject is divided into two courses. In the course Practical Software Technology, tools are presented that are used for supporting the software development process (design, implementation, coordination of team members, bug management, etc.). In the course on Formal Methods in Software Development, basic concepts of formal specification and formal reasoning about software are presented.
