Формални методи

1.

Наслов на наставниот предмет

Формални методи

Formal methods

2.

Код

KN-Z-03

3.

Студиска програма

Компјутерски науки, Пресметување во облак, Data science in computer science and engineering, Управување во информатички технологии, Биоинформатика, Безбедност, криптографија и кодирање, Едукација со ИКТ, Еко-информатика, Интелигентни системи, Интернет технологии и сајбер безбедност, Софтвер за вградливи системи, Пресметување во облак, Управување во информатички технологии, Биоинформатика, Безбедност, криптографија и кодирање, Статистика и аналитика на податоци, Статистика и аналитика на податоци, Софтверско инженерство, Софтверско инженерство,

4.

Организатор на студиската програма (единица, односно институт, катедра, оддел)

Факултет за информатички науки и компјутерско инженерство

5.

Степен (прв, втор, трет циклус)

Втор циклус

6.

Академска година / семестар

5 / Зимски

7. Број на ЕКТС кредити

6.0

8.

Наставник

проф. д-р Ласко Баснарков проф. д-р Весна Димитриевска Ристовска

9.

Предуслови за запишување на предметот

10.

Цели на предметната програма (компетенции):

Предметот ќе ги запознае студентите со можностите што ги нудат формалните методи, категориите на формални методи и нивната употреба во градењето на софтверските архитектури. Притоа се изучува комплетната методологија на формално моделирање, спецификација и верификација на реактивните системи. По завршувањето на курсот, се очекува студентот да ги знае предностите што ги нудат формалите методи во компјутерското инженерство, и притоа да може практично да реализира моделирање на вакви системи, како и да изврши верификација на испонетоста на спецификацијата.

11.

Содржина на предметната програма:

Основи на формалните методи. Модерни техники и алатки за автоматска верификација. Истовремени системи со конечен број на состојби. Model checking кај истовремени системи со конечен број на состојби. Моделирање со транзициски системи. Моделирање со темпорална логика. Алгоритми за верификација.

12.

Методи на учење:

NULL

13.

Вкупен расположив фонд на време

6.0 ЕКТС x 30 часа = 180 часа

14.

Распределба на расположивото време

60 + 30 + 0 + 60 + 30 = 180 часа

15.

Форми на наставните активности

15.1.

Предавања- теоретска настава

60 часови

15.2.

Вежби (лабораториски, аудиториски), семинари, тимска работа

30 часови

16.

Други форми на активности

16.1.

Проектни задачи

60 часови

16.2.

Самостојни задачи

0 часови

16.3.

Домашно учење

30 часови

17.

Начин на оценување

17.1.

Тестови

0 бодови

17.2.

Семинарска работа/ проект ( презентација: писмена и усна)

60 бодови

17.3.

Активности и учење

20 бодови

17.4.

Завршен испит

0 бодови

18.

Критериуми за оценување (бодови/ оценка)

до 50 бода

5 (пет) (F)

од 51 до 60 бода

6 (шест) (E)

од 61 до 70 бода

7 (седум) (D)

од 71 до 80 бода

8 (осум) (C)

од 81 до 90 бода

9 (девет) (B)

од 91 до 100 бода

10 (десет) (A)

19.

Услов за потпис и полагање на завршен испит

реализирани активности

20.

Јазик на кој се изведува наставата

NULL

21.

Метод на следење на квалитетот на наставата

NULL

22.

Литература

22.1.

Задолжителна литература

22.2.

Дополнителна литература