У курсі розглядаються методи і технології проектування програмних систем з використанням сучасних засобів опису і підтримки проектів на абстрактному рівні.