State Exam

Software Engineering @ FMI

Теоретична част

N	Курс	Тема	Допълнително
1	ДС-1	Графи. Дървета. Обхождане на графи.	1(2008-07-05 КН) 1(2014-07-15 КН) 5(2017-09-09 КН)
2	ДС-1	Булеви функции. Пълнота.
3	ДС-2	Крайни автомати. Регулярни езици. Теорема на Клини.	5(2018-08-10 ИНФ) Brzozowski's algorithm Determinization of finite automaton with e-transitions
4	ДС-2	Контекстно-свободни граматики и езици. Стекови автомати.
5	КАРХ	Компютърни архитектури. Формати на данните. Вътрешна структура на централен процесор - блокове и конвейерна обработка, инструкции.
6	КАРХ	Структура и йерархия на паметта. Сегментна и странична преадресация. Система за прекъсване - приоритети и обслужване.
7	ОС	Процеси и комуникация между тях в операционната система.	Semaphores
8	КМР	Компютърни мрежи и протоколи - OSI модел. Протоколо IPv4, IPv6, TCP, HTTP.
9	БД	Бази от данни. Релационен модел на данните.	ER Diagrams: Movies, PC, Ships Movies.sql PC.sql Ships.sql
10	БД	Бази от данни. Нормални форми.
11	УП	Процедурно програмиране - основни информационни и алгоритмични структури на базата на CPP.	RecursivePrint RecursivePrintMemoization
12	ООП	Обектно-ориентирано програмиране на базата на CPP: Основни принципи. Класове и обекти. Конструктори и деструктори. Оператори. Производни класове и наследяване. Обектно-ориентирано програмиране на базата на Java: Основни принципи. Класове и обекти. Конструктори и деструктори. Оператори. Производни класове и наследяване.	SOLID Principles OOP Design Patterns
13	СДА	Структури от данни и алгоритми. Анализ на алгоритми. Абстрактни типове от данни. Стек, опашка, списък, дърво. Сортиране.	SlowSortings.cpp QuickSort.cpp SinglyLinkedList.cpp Stack.cpp Queue.cpp Tree.cpp BinarySearchTree.cpp
14	УСИ	Софтуерно инженерство и неговото място като дял от знанието. Софтуерен процес и модели на софтуерни процеси. Концепция за многократна употреба.
15	РСА	Модели на разпределени софтуерни архитектури. Среди и протоколи за разпределени приложения.
16	ПЧМИ	Модели и методи за проектиране на потребителски интерфейс.
17	УК	Управление на качеството на софтуерни приложения. Тестване на софтуер.	Paired Testing
18	САРС	Софтуерна архитектура. Проектиране и документиране на софтуерни архитектури.
19	АСИ	Инжинеринг на софтуерните изисквания. Техники за извличане, анализ и валидиране на софтуерните изисквания. Специфициране на изискванията.
20	ПИСС	Проектиране и интегриране на софтуерни системи
21	УП	Планиране на проекта - същност и основни елементи, обхват на проекта, времеви и финансови ресурси. Дейности по управление и контрол, методи и средства за създаване на план-график на проекта.
22	XML	Използване на XML за структуриране, валидация, обработка и представяне на документно съдържание.
23	ДИС-1	Теорема на Ферма, Теореми за средните стойности (Рол, Лагранж и Коши). Формула на Тейлър.
24	ДИС-2	Определен интеграл. Дефиниция и свойства. Интегруемост на непрекъснати функции. Теорема на Нютон-Лайбниц.	Derivatives, Integrals & Equalities
25	ЛА-1	Базис, размерност, координати. Системи линейни уравнения. Теорема на Руше. Връзка между решенията на хомогенна и нехомогенна система линейни уравнения.
26	ЛА-2	Полиноми на една променлива. Теорема за деление с остатък. Най-голям общ делител на полиноми - тъждества на Безу и алгоритъм на Евклид. Зависимост между корени и коефициенти на полиноми (формули на Виет).
27	СЕМ	Дискретни разпределения. Биномно, геометрично и поасоново разпределение. Задачи, в които възникват. Моменти - математическо очакване и дисперсия. Равномерно непрекъснато разпределение.

Практическа част

Първа дата	Решения	Втора дата	Решения
2010-07-15	1-[ДС-1] Булеви функции 2-[БД] Заявки 3-[ООП-CPP] Laptop, 3-[ООП-Java] Laptop 4-[СДА-CPP] LinkedList, 4-[СДА-Java] LinkedList 5-[САРС] Декомпозиция на модулите 6-[АСИ] Софтуерни изисквания 7-[XML] book.xml, book.xsd	2010-09-08	1-[ДС-1] Булеви функции 2-[БД] Заявки 3-[ООП-CPP] Laptop, 3-[ООП-Java] Laptop 4-[СДА-CPP] Stack, 4-[СДА-Java] Stack 5-[САРС] Декомпозиция на модулите 6-[АСИ] Софтуерни изисквания 7-[XML] book.xml, cookbook.dtd
2014-07-15	1-[ДС-2] Автомати 2-[ОС] Bash скрипт, comproc1.bash 3-[УП-CPP] Histogram-1, 3-[УП-CPP] Histogram-2, 3-[УП-Java] Histogram 4-[ООП-CPP] Chess, 4-[ООП-Java] Chess 5-[САРС] Декомпозиция на модулите 6-[БД] Заявки 7-[БД] Създаване 8-[XML] AddressBook.xml, AddressBook.dtd, AddressBook.xsd	2014-09-11	1-[ДС-2] Автомати 2-[ОС] C код, fork.c 3-[УП-CPP] Square.cpp, 3-[УП-Java] Square 4-[ООП-CPP] Game, 4-[ООП-Java] 5-[САРС] Декомпозиция на модулите 6-[БД] Заявки 7-[БД] Създаване 8-[XML] Bio.xml, Bio.dtd, Bio.xsd
2015-07-14	1-[УП-CPP] Matrix, 1-[УП-Java] Matrix 2-[СДА-CPP] TreeCut, 2-[СДА-Java] TreeCut 3-[САРС] Декомпозиция на молдулите, сценарии за качество 4-[БД] Заявки 5-[ОС] Bash скрипт, comproc1.bash 6-[АСИ] "Use Case" диаграма 7-[ДС-2] Регулярни езици 8-[ДИС-2] Определен интеграл	2015-09-10	1-[УП-CPP] BinarySearch, Bitwise,Bitwise обяснение, Result, SelectionSort, 1-[УП-Java] 2-[СДА-CPP] StronglyConnected, 2-[СДА-Java] StronglyConnected 3-[АСИ] Sequence диаграма 4-[БД] Заявки 5-[ОС] Bash скриптcomproc1.bash 6-[ДС-1] Булеви функции 7-[АСИ] "Use Case" диаграма 8-[ДИС-2] Непределен интеграл
2016-07-12	1-[УП-CPP] SymmetricGroup, 1-[УП-Java] SymmetricGroup 2-[СДА-CPP] TreeRepresentation 3-[УК] Таблица за вземане на решения 4-[БД] Заявки 5-[ОС] Bash скрипт, comproc1.bash 6-[АСИ] Use case диаграма 7-[АСИ] "Use Case" диаграма 8-[ДИС] Определен интеграл	2016-09-09	1-[УП-CPP] SymPos-1, 1-[УП-CPP] SymPos-1, 1-[УП-Java] SymPos-1 2-[СДА-CPP] MinDepthTree, 2-[СДА-Java] MinDepthTree 3-[УК] Класове на еквивалентност 4-[БД] Заявки 5-[ОС] Bash скрипт, procA.bash 6-[ДС-2] Автомати 7-[АСИ] "Use Case" диаграма 8-[ДИС] Определен интеграл
2017-07-11	1-[УП-CPP] ForrestTerrain, 1-[УП-Java] ForrestTerrain 2-[СДА-CPP] LinkedListSort,2-[СДА-Java] LinkedListSort 3-[БД] Заявки 4-[ОС] C код, a.c 5-[ДС-2] Автомати 6-[АСИ] "Use Case" диаграма 7-[УК] Таблица за вземане на решения	2017-09-09	1-[СДА-CPP] BFS,1-[СДА-CPP] DFS, 1-[СДА-Java] BFS, 1-[СДА-Java] DFS 2-[СДА-CPP] LinkedListOfLL, 2-[СДА-Java] LinkedListOfLL 3-[БД] Заявки 4-[ДС-2] Автомати 5-[АСИ] "Use Case" диаграма 6-[ДИС] Определен интеграл
2018-07-13	1-[УП-CPP] SortLex, 1-[УП-Java] SortLex, 1-[УП-Java] SortLex-Alt 2-[СДА-CPP] LastLevel, 2-[СДА-Java] LastLevel 3-[УК] Граф на управляващия поток 4-[БД] Заявки 5-[ОС] Bash скрипт, procA.bash 6-[САРС] Декомпозиция на молдулите 7-[АСИ] Use case диаграма 8-[ДИС] Определен интеграл	2018-07-13	1-[УП-CPP] PasswordSearch, 1-[УП-Java] PasswordSearch 2-[СДА-CPP] SqrtLinkedList, 2-[СДА-Java] SqrtLinkedList 3-[УК] Граф на данновия поток 4-[БД] Заявки 5-[ОС] Семафори 6-[САРС] Декомпозиция на модулите 7-[АСИ] "Use Case" диаграма 8-[ДИС] Определен интеграл
2019-07-09	1-[УП-CPP] ContainsWord 2-[СДА-CPP] TreeBranches, 2-[СДА-Java] TreeBranches 3-[УК] Тестване по двойки 4-[БД] Заявки 5-[ОС] Семафори 6-[АСИ] "Use Case" диаграма 7-[ДИС] Определен интеграл	2019-09-10	1-[УП-CPP] BinSearch, 1-[УП-CPP] FoldLeft 2-[СДА-CPP] CommonBranches, 2-[СДА-Java] CommonBranches 3-[УК] Таблица за вземане на решения 4-[БД] Заявки 5-[ОС] Семафори 6-[САРС] Декомпозиция на модулите 7-[ДИС] Определен интеграл
2020-08-05	1-[УП-CPP] PrintBackwards 2-[ООП-CPP] Interval 3-[УК] Граф на управляващия поток 4-[БД] Заявки 5-[АСИ] "Use Case" диаграма 6-[ДС-2] Регулярни езици 7-[СЕМ] Разпределения	2020-09-16	1-[УП-CPP] Employees 2-[СДА-CPP] TreeLevelOrder 3-[УК] Диаграма на преходите, тестови сценарии 4-[БД] Заявки 5-[XML] DTD валидация 6-[ДС-2] Регулярни езици 7-[СЕМ] Разпределения
2021-07-13	1-[УП-CPP] GraphicImage 2-[УП,ООП-CPP] 3-[УК] Таблица за вземане на решения 4-[БД] Заявки 5-[АСИ] "Use Case" диаграма 6-[ДС-1] Булеви функции 7-[ДИС-2] Определен интеграл	2021-09-08	1-[УП-CPP] Circles, 1-Test CPP 2-[ООП-CPP] Test 3-[УК] Класове на еквивалентност 4-[БД] Заявки 5-[САРС] Декомпозиция на модулите 6-[ДС-2] Регулярни езици 7-[ДИС-2] Неопределен интеграл
2022-07-12	Задачи и решения	2022-09-07	Задачи и решения
2023-07-11	Задачи и решения	2023-09-11	Задачи и решения