Бублик, ВолодимирСеменюк, Христина2022-01-112022-01-112021https://ekmair.ukma.edu.ua/handle/123456789/22197Роботу присвячено створенню та специфікації патернів на основі реалізації мультиметодів, розглянутої у книзі Александреску «Сучасне проектування на С++», а також вдосконаленню реалізації за допомогою можливостей нових версій С++. Проаналізовано підхід до патернів проектування та засоби формалізації, описані у книзі Джейсона Мак-Колм Сміта «Елементарні шаблони проектування». Проаналізовано реалізацію мультиметодів з книги Александреску. Наведено специфікації та декомпозиції патернів Статичний диспетчер та Динамічний диспетчер. Реалізовано статичну і динамічну подвійну диспетчеризацію з використанням списків типів на основі варіативних шаблонів та приклади їхнього застосування.ukформалізація патернівпроектуваннямагістерська роботаДослідження засобів формалізації патернів проектуванняOther