COURSE DESCRIPTION
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.
This course provides an understanding of automating software testing using program analysis with the goal of intelligently and algorithmically creating tests. The course covers search-based test generation, combinatorial and random testing while highlighting the challenges associated with the use of automatic test generation. You will learn: Understand algorithmic test generation techniques and their use in developer testing and continuous integration. Understand how to automatically generate test cases with assertions. Have a working knowledge and experience in static and dynamic generation of tests. Have an overview knowledge in search-based testing and the use of machine learning for test generation.
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 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.
Målet med kursen är att ge lärare fortbildning inom ämnet djurvälfärd och hållbarhet. Kursens mål är också att ge lärare inspiration att designa sin egen undervisning, att ge lärare möjlighet att ta till sig ny forskning och att dela med sig av läraktiviteter som kan användas av fler.
With concerns about climate and global environmental changes, extreme events, and increases in social, economic, and political shocks, the concept of resilience is proving popular across a range of sectors as a way to understand and respond to our surprise-riddled world. This concept is now presented in a course led by the Stockholm Resilience Centre and the Centre for Complex Systems in Transitions and includes the latest research and practice on resilience. Resilience thinking includes the ability to persist in the face of challenges, adapt to new realities, or transform to fundamentally new paths for development. Resilience thinking is more than a theory, more than a set of tools. It is a way of seeing the world, offering a new perspective of how change in the world happens. Resilience thinking provides a new approach for building understanding and taking action in a complex world that is deeply interconnected and ever-changing. A world where controlled, planned approaches, existing knowledge and current solutions are not enough to effectively respond to the challenges in a highly dynamic and uncertain future. Addressing poverty, injustice, and inequality, and advancing human well-being remains a major ambition and challenge for the 21st century, and it now needs to consider that development will happen in a context radically different from the past. This course includes case studies and examples from practitioners who are working with resilience concepts in diverse contexts around the world. It is supported by strong scientific evidence and committed to being a platform to bring together and spark collaboration between individuals and organizations from around the world who are driven to transform development. This course is for: Development practitioners, policymakers and managers within development agencies around the world, as well as those working in the field with an interest in resilience thinking as it relates to development policy and practice.Students who are interested in the intersection of resilience, sustainability and development, and with a general interest in both local and global sustainability challengesAnyone with an interest in development, resilience thinking, and sustainability
Today, many industries face an increase in the design of dependable systems, often with a multitude of challenges including more complex electronics and intensive software. At the same time, most of the engineers graduating from universities do not have skills in designing fault tolerant systems. This online course aims to give engineers and students a toolbox of fail-safe design concepts, addressing both hardware and software techniques, such that they can understand the rationales for suitable mitigation strategies.