Seminarium magisterskie
Zagadnienia Programowania Obiektowego
r. ak. 2003/2004
Tematyka:
- porównanie różnych koncepcji programowania obiektowego,
- przegląd języków programowania obiektowego,
- współczesne środowiska programistyczne programowania obiektowego(np.
.NET, Fo rte, ...),
- znaczenie programów(eksperymenty prowadzące do zrozumienia semantyki
wybranych konstrukcji, maszyny wirtualne Javy i innych językow programowania
obiektowego),
- problemy kompilowania (efektywne realizacje klas zagnieżdżonych,
wielodziedziczenia, polimorfizmu), elastyczne systemy typów,
- wpływ narzędzi programowania (obiektowego) na inżynierię oprogramowania,
efektywne używanie narzędzi programowania obiektowego,
wzorce projektowe. projektowanie obiektowe (np. UML).
- próby formalnego (aksjomatycznego) opisu języka programowania
obiektowego,
- oraz inne.
Uczestnicy seminarium przygotowywać będą prace magisterskie o charakterze
projektowym (np. opracowanie kompilatora lub edytora wspomagającego tworzenie
specyfikacji), a także prace o charakterze podstawowym (teoretyczne) np.
podanie pełnej aksjomatycznej charakteryzacji struktury danych TablicaSymboli.
Podczas spotkań będziemy też omawiać nowe pozycje literatury.
Janusz Jabłonowski
Andrzej Salwicki
Marek Warpechowski
Tematy
referatów
Tematy
prac magisterskich
witryna seminarium duch.mimuw.edu.pl/~salwicki/seminarium/seminarium.html