In this course, you will learn about common air pollutants and how to manage and control air pollution. The course gives you enhanced knowledge about relevant aspects of modern air quality management systems based on regulations and policies related to ambient air quality management in the EU and Sweden.
This course deals with model-based testing, a class of technologies shown to be effective and efficient in assessing the quality and correctness of large software systems. Throughout the course the participants will learn how to design and use model-based testing tools, how to create realistic models and how to use these models to automate the testing process in their organisation.
The aim of this course is to give students insight about certification and about what it means to certify/self-assess safety- critical systems with focus on software system and to create a safety case, including a multi-concern perspective when needed and reuse opportunities, when appropriate.
This course provides an understanding of the fundamental problems in software testing, as well as solid foundation in the practical methods and tools for a systematic state-of-the-art approach to testing of software.
This course shows how fundamental testing practices are applied in the context of secure software development. You will learn to integrate automated software testing with different approaches to verify software security, leveraging theories from continuous quality assurance in software development, as well as security best practices.
The course is adapted to give a solid introduction to non-testing experts with interest in software security, and addresses how professionals (developers, managers, decision-makers) can incorporate security into the quality assurance process of their products/services.
The aim of the course is to introduce the participants into methods and tools for verifying systems that need to react to external stimuli. The methods use system models with precise formal semantics and will span model-checking as well as deductive verification.
A set of simple examples as well as real-world applications will be used throughout the course to illustrate the methods and their tool support. The objective of the course is to understand the underpinning theories of formal verification, and learn how to apply tool support in order to verify system models.
Today, the explosion of data has created new opportunities to apply machine learning (ML). Handling of the large amounts of data created by the very rapid digitization would not be possible without Machine Learning (ML). The purpose of the course "Introduction to Machine Learning" is to give you the foundation for ML. You will get an introduction to the basic areas of ML: data, statistics and probability for ML.