Development of Critical Applications 2-AIN-283
Development of Critical Applications 2-AIN-283
| 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 - exercise (4) |
| Credits: | 6 |
| Evaluation (semester/exam): | 40/60 |
| Course webpage: | http://www.sccg.sk/~durikovic/classes/ApllicCG_IV |
| Information sheet: | 2-AIN-283 information sheet |
| Teacher(s): | doc. RNDr. Damas Gruska, PhD. |
| E-mail: | gruska ii.fmph.uniba.sk
|
| Homepage(s): | http://ii.fmph.uniba.sk/~gruska/ |
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