Subject
Формални методи
| 1. | Наслов на наставниот предмет |
Формални методи Formal methods |
||||||||||||
| 2. | Код | KN-Z-03 | ||||||||||||
| 3. | Студиска програма | — | ||||||||||||
| 4. | Организатор на студиската програма (единица, односно институт, катедра, оддел) | Faculty of Computer Science and Engineering | ||||||||||||
| 5. | Степен (прв, втор, трет циклус) | Second Cycle | ||||||||||||
| 6. | Академска година / семестар | 9 / Зимски | ||||||||||||
| 7. | Број на ЕКТС кредити | 6 | ||||||||||||
| 8. | Наставник | Ласко Баснарков, Весна Димитриевска Ристовска | ||||||||||||
| 9. | Предуслови за запишување на предметот | — | ||||||||||||
| 10. | Цели на предметната програма (компетенции) | Предметот ќе ги запознае студентите со можностите што ги нудат формалните методи, категориите на формални методи и нивната употреба во градењето на софтверските архитектури. Притоа се изучува комплетната методологија на формално моделирање, спецификација и верификација на реактивните системи. По завршувањето на курсот, се очекува студентот да ги знае предностите што ги нудат формалите методи во компјутерското инженерство, и притоа да може практично да реализира моделирање на вакви системи, како и да изврши верификација на испонетоста на спецификацијата. | ||||||||||||
| 11. | Содржина на предметната програма | Основи на формалните методи. Модерни техники и алатки за автоматска верификација. Истовремени системи со конечен број на состојби. Model checking кај истовремени системи со конечен број на состојби. Моделирање со транзициски системи. Моделирање со темпорална логика. Алгоритми за верификација. | ||||||||||||
| 12. | Методи на учење | NULL | ||||||||||||
| 13. | Вкупен расположив фонд на време | 6 ЕКТС x 30 часа = 180 часа | ||||||||||||
| 14. | Распределба на расположивото време | 60 + 30 + 0 + 60 + 30 = 180 часа | ||||||||||||
| 15. | Форми на наставните активности |
|
||||||||||||
| 16. | Други форми на активности |
|
||||||||||||
| 17. | Начин на оценување |
|
||||||||||||
| 18. | Критериуми за оценување (бодови/ оценка) |
|
||||||||||||
| 19. | Услов за потпис и полагање на завршен испит | реализирани активности | ||||||||||||
| 20. | Јазик на кој се изведува наставата | NULL | ||||||||||||
| 21. | Метод на следење на квалитетот на наставата | NULL | ||||||||||||
| 22. | Literature |
|
