Location: TU Eindhoven

The development of advanced software systems has many different aspects, including requirements, specification design and implementation, testing deployment and organization. The ST program focuses on the project-based design and development of software for resource-constrained software-intensive systems, such as real-time embedded systems. This course addresses formal methods of specification, verification and design together with software engineering and system technology.

Visit the website of ST.