Mathematical Models of Complex Software

Entry requirements: Basics of Software Development and Sets Theory

Credits: 5

Course: Core

Language of the course: English

Objectives

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

Contents

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.

Format

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

Assessment

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).