[ 404PCSD20 ] Subject Practical Computer Science and Software Development

Workload Mode of examination Education level Study areas Responsible person Coordinating university
9 ECTS Accumulative subject examination M1 - Master's programme 1. year Mathematics Manuel Kauers Johannes Kepler University Linz
Detailed information
Original study plan Master's programme Computer Mathematics 2020W
Objectives 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.
Subordinated subjects, modules and lectures