Propozycje tematów prac magisterskich.
2009/2010
Kolejność propozycji jest przypadkowa. Daty w prostokątnych nawiasach oznaczają
daty dopisania propozycji do listy, wpisane nazwisko wskazuje kto będzie
promotorem pracy.
- Projekt i implementacja serwisu internetowego wspomagającego tworzenie
prac współautorskich w LaTeXu [22/23.II.2009. promotor: A. Szałas].
- Serwis umożliwiający elastyczną pracę wielu autorów nad
dokumentami w LaTeXu.
- Implementacja baz wiedzy przy tworzonych przy użyciu diagramów CAKE [22/23.II.2009. promotor: A. Szałas].
-
CAKE jest mechanizmem graficznego projektowania baz wiedzy.
Praca polegałaby na stworzeniu interfejsu graficznego
i biblioteki klas o łatwo wymienialnym mechanizmie
obliczeniowym, realizujacej zaptania do baz wiedzy.
- Projekt i implementacja języka zapytań dla parakonsystentnych baz danych [22/23.II.2009. promotor: A. Szałas].
- Parakonsystentne bazy danych dają możliwość sensownego wnioskowania
w warunkach braku części informacji i/lub sprzecznej informacji.
Praca polegałaby na zaprojekytowaniu i implementacji języka
zapytań w oparciu o istniejącą metodę.
- Projekt, implementacja i zastosowania pakietu operacji na zbiorach rozmytych
właściwych do tworzenia .... [22/23.II.2009. promotor: A. Szałas].
- Zbiory rozmyte różnią się od klasycznych tym, że zamiast klasycznej
relacji przynależności do zbioru rozważa się stopień przynależności
do zbioru, będący liczbą rzeczywistą z przedziału [0,1].
Praca polega na implementacji operacji na zbiorachrozmytych
plus rozszerzeń do tworzenia konkretnych zastosowań
np. związanych ze sterowaniem rozmytym itp. Częścią pracy
byłoby również stworzenie kilku działających
przykładów.
- Metryki dla programowania obiektowego [20.05.2007]
- Problem mierzenie jakości oprogramowania jest niemal tak stary jak samo
programowanie i nie doczekał się jeszcze definitywnego rozwiązania i być
może nigdy się go nie doczeka.
Tym nie mniej jest to jednak bardzo ważny problem i prowadzone są liczne
badania mające na celu podanei metod pozwalających jakoś szacować jakość
tworzonego oprogramowania.
Programowanie obiektowe ze względu na swoją specyfikę wymaga specjalnych
miar.
Celem pracy byłoby zbadanie sposobów mierzenia jakości oprogramowania
obiektowego.
Tematyka ta ma już bardzo bogatą literaturę, więc pracę należałoby zacząć
od gruntownego zapoznania się z nią. Dalsze kierunki prac mogłyby być różne: zbadanie
działania wybranych metryk dla wybranych rodzajów programów, zaproponowanie
własnych metryk lub próba modyfikacji metryk już istniejących, tak by lepiej
je dopasować do pewnej klasy programów.
A to garść przykładów pomysłów na prace magisterskie w ramach seminarium ZPO
- wnioskowanie o programach obiektowych (dowodzenie poprawności),
- statyczna analiza kodu programów obiektowych (wykrywanie błędów, sygnalizowanie
możliwych usprawnień kodu),
- implementacja nowych/nietypowych cech języków obiektowych (np. teraz [2007] gorącym
tematem są domknięcia),
- miary jakości oprogramowania obiektowego (p. wyżej),
- narzędzia (np. wtyczki) do programowania/analizowania kodu obiektowego,
- narzędzia do analizy/tworzenia/zarządzania/wykrywania wzorców projektowych,
- maszyny wirtualne dla języków obiektowych,
- narzędzia wspomagające nauczanie programowania obiektowego (np. dla ważniaka),
- ...