Theoretical and practical foundations for engineering the production of contemporary and future software intensive systems. Advanced engineering problem solving concepts and skills enabled by means of state of the art modeling and testing tools. Provides the basis for the analysis and co-design of complex hardware and software systems.