Browsing by Subject "design patterns"

Now showing 1 - 3 of 3

Access status: Open Access ,
A compile-time deadlock detection pattern
(2007) Korzycki, Michał
The paper presents the application of the trait technique in generic programming for compiletime deadlock detection and prevention in multihreaded applications.
Access status: Open Access ,
From workflow design patterns to logical specifications
(Wydawnictwa AGH, 2013) Klimek, Radosław
Praca dotyczy zagadnień związanych z automatyczną generacją i modelowaniem specyfikacji logicznej. Specyfikacja logiczna może być wygenerowana bezpośrednio z modeli oprogramowania. Tak uzyskana specyfikacja następnie może być wykorzystana w procesie formalnej weryfikacji przy wykorzystaniu podejścia dedukcyjnego. Wygenerowana specyfikacja reprezentowana jest przez zbiór formuł logiki temporalnej, również weryfikowane własności systemu mogą i powinny być wyrażone w logice temporalnej. Proces ekstrakcji opiera się na założeniu, aby cały analizowany model oprogramowania został zbudowany w oparciu o przyjęte, dowolne, ale najlepsze dla danej klasy zastosowań, wzorce projektowe. Została zaproponowana metoda automatycznej translacji wzorców projektowych (przepływów) do postaci formuł logiki temporalnej. Formuły te składają się na logiczną specyfikację i mogą stanowić pierwszy krok w kierunku formalnej weryfikacji poprawności systemów z wykorzystaniem dowolnej metody wnioskowania dedukcyjnego. Zastosowanie przedstawionych koncepcji umożliwia połączenie naturalności i intuicyjności samego wnioskowania logicznego oraz praktycznego zastosowania tych metod w przypadku modeli oprogramowania.
Access status: Restricted ,
Wykorzystanie wzorców projektowych w tworzeniu gry komputerowej opartej o Unity Engine
(Data obrony: 2017-10-06) Borcz, Grzegorz
Wydział Geologii, Geofizyki i Ochrony Środowiska
Praca magisterska wykorzystuje wzorce projektowe w procesie tworzenia gry komputerowej opartej o oprogramowanie Unity. Zaprezentowane w pracy przykłady pokazały sposób w jaki wzorce mogą być użyte w celu rozwiązania problemów napotkanych podczas tworzenia gry komputerowej. Praca porusza również zagadnienia związane z programowaniem zorientowanym aspektowo oraz zasadą odwracania zależności.