The aim of the course is to familiarize students with the methods and techniques for designing, analysis, modelling, testing and implementation of digital, information and business systems, in particular VHDL hardware description languages, Petri networks and standard notation or programming language description languages: UML, OCL, BPMN and IT systems documentation. Ensuring the reliability of the systems, their reliability, availability, security and security requires knowledge of methods and techniques of verification, validation, testing and diagnostics, modeling and systems analysis that complement the subject matter of the course. The subject matter also includes concurrent system modeling, solving common concurrency problems and the importance of quality of software source code, maintenance of IT systems and software engineering.
- Nauczyciel: Chodacki Miłosław