Mathematical Models of Complex Software

Entry requirements: Basics of Software Development and Sets Theory

Credits: 5

Course: Core

Language of the course: English


Software architecture development, computational processes modeling, composite application and workflows basics.


The course is developed to cover different aspects of software modeling, including models used within software architecture development (UML and other diagrams notations, patterns, life-cycle models, architecture archetypes etc.), models of computational processes (Petri networks, Pi-calculus, parallel program schemata etc.), and models of workflows and composite applications.


The course includes three modules containing lectures, practical tasks, seminars, and course work.


To fulfill course requirements, students need to participate in seminars in M1 and M2, complete practical tasks in M2, prepare and present coursework in M1, pass the final exam test (all modules).