Development of Critical Applications 2-AIN-283

go to list of all courses...

Course name and code: Development of Critical Applications (2-AIN-283)
Prerequisite courses: none
Available in/recommended study year: Winter semester / 2
Form and # of hours/week: C - course (4)
Credits: 6
Evaluation (semester/exam): 40/60
Course webpage: not available
Information sheet: 2-AIN-283 information sheet
Teacher(s): doc. RNDr. Damas Gruska, PhD.

Short description:

The course is a continuation of the course Formal Methods of Software Development where students learn some basic models exploited in formal specifications of systems (Process Algebras, Petri nets, Timed Automata ..). In this lecture we will focus on applications of the previously presented models and technique in design of critical applications.

Offered in these study programs: Elective in Master program in Applied Informatics

Recommendations: none