Mälardalen University

In this course, we will go through different commands and techniques to create advanced shapes. You will also learn how to analyze the appearance of surfaces and shapes, and you will learn how to use top-down modeling to create models. You will also learn how to create products from sheet metal and products made from standard profiles. The software used is SolidWorks. This course is given in Swedish.

This course will provide a basic theoretical and practical knowledge in the art of configuring and securing computer networks and create simpler topologies. Together with the "Computer Networks II" distance course (Datakommunikation i nätverk II, distanskurs) you will be covering most, but not all, of the content that are part of a Cisco Certified Network Associate (CCNA) certificate. The certificate is not part of this course.

The rapid development of digital technologies and advances in communications have led to gigantic amounts of data with complex structures called ‘Big data’ being produced every day at exponential growth. The aim of this course is to give the student insights in fundamental concepts of machine learning with big data as well as recent research trends in the domain. The student will learn about problems and industrial challenges through domain-based case studies. Furthermore, the student will learn to use tools to develop systems using machine-learning algorithms in big data.

The aim of this course is to provide participants with the principles behind model-driven development of software systems and the application of such a methodology in practice. Modelling is an effective solution to reduce problem complexity and, as a consequence, to enhance time-to-market and properties of the final product.

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.

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.

Turbulent times increase the importance for innovation and transformation in all sectors. The understanding about future trends and how to identify them is an important skill. Trend spotting is important in innovation processes to understand how needs and contexts may change from now and into the future. In this course, you will gain an understanding of how trend spotting and contextual analyses are relevant parts of the innovation process. You learn methods and tools that you can use in your professional role and other roles you have in life. As a professional worker, you can use the course's exercises in your own development work in parallel with your studies. The goal is to create knowledge about the field itself, and to provide the conditions for self-reflection and a future-oriented approach to innovation and changes. This is valuable both for individuals and on an organizational level. Besides the online course, it will also be given in Skellefteå.