Modelling of Software Systems

Software projects often fall short of their goals because the software developed is untestable or is unable to deliver the features its users actually need. The source of these problems is usually a highly ambiguous or incomplete specification. This course will show you how abstract models are used to formalize specifications of software systems.

Description

Abstract models are used to formalize specifications of software systems. Formalized reference specifications serve as a basis for the design of software implementations and for validating critical properties of software systems. This course provides the fundamental mathematical concepts needed to understand abstract models of software and to reason about them as well as examples showing how they are applied.