9:30-10:00

Otwarcie

10:00-11:00

Referat zaproszony

• Larry McCarthy
  Driving Change in Global Software Development at Motorola
  

11:00-11:30

Przerwa na kawę

11:30-13:00

Prowadzący: Janusz Górski

• Jerzy Kaczmarek, Maciej Kucharski
  Metody oceny nakładu w zarządzaniu projektem informatycznym
• Bartosz Nowicki
  Dobre praktyki w trudnych wdrożeniach
• Radosław Klimek
  Zagadnienie ryzyka w projekcie informatycznym- analiza i zarządzanie ryzykiem

13:00-15:00

Obiad

15:00-16:30

Prowadzący: Tomasz Szmuc

• Janusz Jablonowski, Mateusz Lipczyński
  Praktyczne wykorzystanie formalnych systemów dowodzenia poprawności programów
• Janina Mincer-Daszkiewicz
  Formalna weryfikacja modułów programistycznych w podejściu funkcyjnym
• Andrzej Zalewski
  Koncepcja zmodyfikowanej metody strukturalnej zorientowanej na prewencję błędów i  szybkie prototypowanie

16:30-17:00

Przerwa na kawę

17:00-19:30

Prowadzący: Henryk Krawczyk

• Jerzy Nawrocki, Filip Woźniak
  Scenariusze użycia we wczesnych fazach inżynierii wymagań
• Marek Łabuzek
  Automatyczne generowanie specyfikacji na podstawie opisu rzeczywistości
• Leszek Szczepaniak
  Specyfikacja z zastosowaniem ograniczonego języka naturalnego
• Arkadiusz Jankowski
  Enterprise Java Beans Technology
• Mariusz Momotko
  Pracuj zgodnie z procedurami- implementacja procesów pracy w systemie OfficeObjects(R) DocMan

9:00-10:00

• Janusz Zalewski
  Distributed Real-Time Software Archtectures and Effective Use of Automatic Tools

10:00-11:00

Prowadzący: Jerzy Nawrocki

• Bogdan Bereza-Jarocinski
  A Complete Guide to Test Automation
• Piotr Gawkowski, Janusz Sosnowski
  Software Sensitivity to Faults

11:00-11:30

Przerwa na kawę

11:30-13:00

Prowadzący: Edward Nawarecki

• Jerzy Nawrocki, Adam Wojciechowski
  PSP kontra XP. Próba porównania dwóch podejść do tworzenia oprogramowania
• Henryk Krawczyk, Marcin Sikorski, Stanisław Szejko, Bogdan Wiszniewski
  Ocena istotności charakterystyk jakości oprogramowania
• Christopher Debou, Jerzy Nawrocki, Pawel Pierzchalka
  Ewolucyjne podejście do wdrażania statystycznej kontroli procesów programowych

13:00-15:00

Obiad

15:00-16:00

Prowadzący: Janusz Górski

16:00-17:00

• Andrzej Bielecki
  An Application of Graph Model in Development of Window Manager
• Tadeusz Nowicki, Andrzej Stasiak
  Adaptacyjna metoda zwiekszania niezawodności wielowarstwowej struktury oprogramowania rozproszonych systemów wbudowanych
• Barbara Begier
  Wykorzystanie standardu UML do wyodrębnienia agentów programowych
• Łukasz Mendyk
  The C2 architectural style an answer to a need for larger grain of reusability
• Miroslaw Gajer
  Programowanie wieloprocesorowego układu TMS320C80 formy Texas Instruments

17:00-17:30

Przerwa na kawę

17:30-19:30

Prowadzący: Janusz Zielinski

• Antoni Ligęza, Igor Wojnicki, Grzegorz Nalepa
  Wspomaganie projektowania i uruchamiania systemów regułowych
• Tadeusz Nowicki, Andrzej Stasiak
  Metoda wspomagania projektowania wielowarstwowej struktury oprogramowania rozproszonych systemów wbudowanych
• Mirosława Miłkowska
  Wspomaganie walidacji specyfikacji wymagań w języku Spill
• Grzegorz Cysewski, Mariusz Dąbrowski, Waldemar Papaj
  Wdrażanie metodologii obiektowej w projekcie informatycznym

9:00-10:00

• Jan van Corven, Michal Zygmunt
  Wspomaganie budowy bezpiecznych systemów informatycznych oraz zarządzania bezpieczeństwem systemu

10:00-11:00

Prowadzący: Marek Valenta

• Wojciech Fliegner
  Realizacja koncepcji obiektów biznesowych
• Ewa Stęposz, Alina Stasiecka, Kazimierz Subieta
  Reuse Repository

11:00-11:30

Przerwa na kawę

11:30-13:00

Prowadzący: Krzysztof Zieliński

• Anna Bobkowska
  Kwantyfikacja prognozowanej jakości oprogramowania
• Ilona Bluemke, Piotr Zając
  Metryki obiektowe w systemie Paradigm
• Tomasz Weronko, Janusz Górski, Andrzej Wardziński
  Badania eksperymentalne nad wpływem jakości kodu na niezawodność oprogramowania

13:00

Zakończenie

13:00-15:00

Obiad