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.