Development of Critical Applications: Rozdiel medzi revíziami
Riadok 6: | Riadok 6: | ||
| year = 2 | | year = 2 | ||
| credits = 6 | | credits = 6 | ||
− | | form = C - | + | | form = C - course (4) |
| evaluation = 40/60 | | evaluation = 40/60 | ||
| webpage = not available | | webpage = not available |
Verzia zo dňa a času 16:41, 19. august 2008
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 - 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. |
E-mail: | gruskaii.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