Оспособљавање студената за ефикасно и ефективно модедловање и спецификацију софтверских система. Овладавање знањима и вештинама неопходним за анализу и спецификацију софтверских захтева. Овладавање основама модел базираног дизајна. Овладавање UML-спецификацијама.

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

Основни модел софтверског система. Однос спецификације захтева, спецификације дизајна и имплементације софтверских система. Основи инжењерства захтева, процес, исказивање, анализа, спецификација, верификација и валидација захтева. Израда формалног документа - спецификација захтева. Основи дизајна софтвера, статичко и динамичко моделовање. Основе UML, структура, организација и мета-модел. UML дијаграми: дијаграм случајева коришћења, дијаграми класа, дијаграми објеката, дијаграми сарадње, дијаграми секвенце, дијаграми активности, дијаграми стања. Напредно UML моделовање: интерфејси, пакети и моделовање физичке архитектуре.Архитектонски и дизајн шаблони и њихова примена у моделовању архитектуре софтверских система.

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