Освещены основные исторические этапы эволюции технологий проектирования программных систем. Рассмотрены вопросы архитектурного проектирования, разработки программ с доказательством корректности, а также их логической спецификации. Проанализирована роль объектно-ориентированной парадигмы в процессе проектирования сложных программных систем с использованием языка UML и поддерживающих CASE-технологий.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"