Дослідження засобів формалізації патернів проектування
Loading...
Date
2021
Authors
Семенюк, Христина
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Роботу присвячено створенню та специфікації патернів на основі реалізації мультиметодів, розглянутої у книзі Александреску «Сучасне проектування на С++», а також вдосконаленню реалізації за допомогою можливостей нових версій С++. Проаналізовано підхід до патернів проектування та засоби формалізації, описані у книзі Джейсона Мак-Колм Сміта «Елементарні шаблони проектування». Проаналізовано реалізацію мультиметодів з книги Александреску. Наведено специфікації та декомпозиції патернів Статичний диспетчер та Динамічний диспетчер. Реалізовано статичну і динамічну подвійну диспетчеризацію з використанням списків типів на основі варіативних шаблонів та приклади їхнього застосування.
Description
Keywords
формалізація патернів, проектування, магістерська робота