Seminaria odbywają się w sali 208 w budynku C-3, początek o godzinie 9.15.

                                      SEMESTR LETNI ROKU 2007 / 2008

UWAGA! Zmiana sali na 05 w budynku C-3

• - 3. 1 kwietnia 2008 r., dr inż. Paweł Rogaliński, E-learning jako metoda wspomagająca proces kształcenia

• - 2. 18 marca 2008 r., mgr inż. Paweł Głuchowski, ForMOSA – i DCCA- formalna analiza bezpieczeństwa systemu

• - 1. 4 marca 2008 r., dr inż. Marek Piasecki, Modelowanie preferencji i adaptacja do zachowań użytkownika systemów informatycznych

                                  SEMESTR ZIMOWY ROKU 2007 / 2008

- 9. 29 stycznia 2008 r., mgr inż. Maciej Troć, Adaptacja parametrów w maszynie zespołowej opartej o architekturę uczącego się systemu klasyfikującego.

- 8. 15 stycznia 2008 r., mgr Adrianna Gietka ( doktorantka Środowiskowych Studiów Doktoranckich z Informatyki, Uniwersytet Gdański), Zastosowanie algorytmów genetycznych do generowania gramatyk bezkontekstowych z próbek słłów.

- 7. 18 grudnia 2007 r., dr inż. Paweł Skrobanek, Zastosowanie hurtowni danych

- 6. 4 grudnia 2007 r., mgr inż. Marian Jureczko, Przegląd metod konstruowania modelu procesu wytwarzania oprogramowania

- 5. 20 listopad 2007 r., dr inż. Lech Madeyski ( IZ ), Wpływ programowania parami na gruntowność i efektywność testów jednostkowych

- 4. 6 listopad 2007 r., mgr inż. Andrzej Krawczyk (Human Dialog), Czy można zbudować złożoną aplikację wyłącznie poprzez stawianie tez i założeń? Tworzenie szerokiej gamy aplikacji biznesowych w językach UML i OCL w oparciu o maszynę wirtualną Human Store.

- 3. 23 październka 2007 r., mgr inż. Marian Jureczko, Model formalny programowania ekstremalnego( “ High - lewel Petri Net model for XP methodology ”)

- 2. 16 październka 2007 r. , dr Andrzej Jabłoński, Wspólnota wiedzy i informacji w zakresie technik informacyjnych i telekomunikacyjnych

- 1. 9 październka 2007 r. , mgr inż. Wojciech Penar, Modelowanie buforów transmisji w dozorowanych wydajnościowych mapach stanów

         SEMESTR LETNI ROKU 2007

•      10.     26 czerwca 2007 r. seminarium będzie poświęcone:

            1.      Prelegent: dr Paweł Skrobanek  Temat:  Analiza wymagań czasowych dla systemów       wykrywania intruzów

2.      Prelegent: mgr Paweł Głuchowski   Temat:      Relacja z konferencji - Dependability of  Computer Systems,   Szklarska Poręba, 14 – 16. 06. 2007

3.      Prelegent: prof. Jan Magott   Temat:      Analiza własności czasowych zabezpieczeń odległościowych w energetyce

4.      Prelegent: prof. Jan Magott   Temat:      Relacja z Workshop on Dependable Control of Discrete Systems,   Paryż, 13 – 15. 06. 2007

•      9.      19 czerwca 2007 r. mgr inż. Marian Jureczko, Modelowanie procesów biznesowych

•      8.      5 czerwca 2007 r. mgr inż. Marian Jureczko, Metody zarządzania zapewnianiem jakości oprogramowania

•      7.      15 maja 2007 r. dr inż. Zofia Kruczkiewicz,  Zapoznanie z rodziną XML c.d.

•      6.      15 maja 2007 r. dr inż. Tomasz Babczyński,  Zapoznanie z rodziną XML

•      5.       24 kwietnia 2007 r. dr inż. Tomasz Kubik,  Implementacja serwerów katalogowych przy wykorzystaniu wolnego oprogramowania

•      4.      17 kwietnia 2007 r. mgr inż. Łukasz Cielecki, Model GSC w środowisku rzeczywistoliczbowym

•      3.     3 kwietnia 2007 r. mgr inż. Maciej Troć, Adaptacja mechanizmu odkrywania klasyfikatorów w systemie XCS

•       2.     3 marca 2007 r. mgr inż. PawełGłuchowski,  Podstawy Duration Calculus (logiki trwań)

•        1.      27 lutego 2007 r. mgr inż. Marian Jureczko, Wyszukiwanie słabych punktów obiektowo zorientowanego projektu programistycznego na podstawie metryk oprogramowania