Requirement engineering
Kód | Zakončení | Kredity | Rozsah | Jazyk výuky |
---|---|---|---|---|
D18RE | ZK | 2 | 2P | česky |
- Garant předmětu:
- Přednášející:
- Cvičící:
- Předmět zajišťuje:
- katedra softwarového inženýrství
- Anotace:
-
Student se seznámí s teoretickým základem založeným na kombinaci objektově orientovaného přístupu a teorie konečných automatů za účelem modelování, analýzy, verifikace a validace uživatelských procesů při získávaní funkčních požadavků na softwarové aplikace. Budou zkoumány dostupné techniky EPC, BPMN a BORM pro formulaci zadání, které dále pokračuje modelováním v UML. Student se naučí používat tyto techniky a nástroje v prvních fázích životního cyklu softwarového díla. Součástí výzkumu bude možnost zavedení nových softwarových metrik, aby bylo možno vyjádřit kvalitu takové analýzy.
- Požadavky:
- Osnova přednášek:
-
1.teorie automatů, Mealyho a Mooreův automat, vztah k objektovému modelu výpočtu
2.prostředky UML pro modelování požadavků
3.standard BMMN a EPC
4.standard BORM
5.Object Behavioral Analysis, modelovací karty
6.verifikace a validace, scénářově orientovaný přístup
7.softwarové metriky ve fázi analýzy požadavků
- Osnova cvičení:
- Cíle studia:
- Studijní materiály:
- Poznámka:
- Další informace:
- Pro tento předmět se rozvrh nepřipravuje
- Předmět je součástí následujících studijních plánů: