Celem przedmiotu jest zapoznanie studenta z metodami i technikami
projektowania, analizy, modelowania, testowania i wdrażania systemów
cyfrowych, informatycznych i procesów biznesowych, w szczególności
językami opisu sprzętu VHDL, Verilog, sieciami Petriego oraz
standardowymi notacjami lub językami opisu projektu oprogramowania: UML,
OCL, BPMN, BPEL i dokumentowania systemów informatycznych. Zapewnienie
wiarygodności systemów, ich niezawodności, dyspozycyjności,
zabezpieczenia, bezpieczeństwa, wymaga znajomości metod i technik
weryfikacji, walidacji, testowania i diagnostyki, modelowania i analizy
systemów, które stanowią uzupełnienie zakresu przedmiotowego kursu.
Tematyka przedmiotu obejmuje również modelowanie systemów współbieżnych,
rozwiązywanie typowych problemów współbieżności oraz znaczenie jakości
kodu źródłowego oprogramowania, utrzymania systemów informatycznych i
inżynierii oprogramowania.
- Nauczyciel: Chodacki Miłosław