Software Design Test and Development Process offers an introduction into systematic development of sizeable and complex software systems and into methodical quality assurance.

Specification and Verification introduces formal methods for describing (specifying) software systems at a high level of abstraction in a declarative/non-procedural way, and presents basic proof techniques for checking the correctness of the underlying system.

Process Engineering discurres on the basis of the participating students’ field experience process related managerial aspects of software and systems development considering specifically the maturity models of CMMI and ISO 15.504 (SPICE).

IT-Projektmanagement & Change allows students to look at various aspects of management in IT related projects. It focuses on process control as well as on social-technical leadership.

Speziallehrveranstaltungen wie Current Topics in SE, Agile Software-Processes, Reverse Engineering, Requirements Engineering, Software-Qualitätssicherung, oder Soft Computing und Information Retrieval runden das Spektrum ab.

All courses in Informatics Didactis offered in the context of the teachers formation degree programme are offered by ISYS’s KID group.