II Krajowa Konferencja Inżynierii Oprogramowania
![KKIO 2000](img/kkio1.gif)
Zakopane, 18-20 października 2000 r.
wtorek, 17 października
Środa, 18 października
  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 |
Sesja 1. Zarządzanie wytwarzaniem oprogramowania
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 |
Sesja 2. Niezawodność i techniki zwiększania niezawodności oprogramowania
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 |
Sesja 3. Definiowanie wymagań stawianych systemom oprogramowania
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
|
Czwartek, 19 października | powrót |
9:00-10:00 |
Referat zaproszony
- Janusz Zalewski
Distributed Real-Time Software Archtectures and Effective Use of Automatic Tools
|
10:00-11:00 |
Sesja 4. Metody testowania oprogramowania
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 |
Sesja 5. Modele doskonalenia jakości procesów wytwarzania oprogramowania
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 |
Dyskusja panelowa: Badania eksperymentalne w inżynierii oprogramowania Prowadzący: Janusz Górski |
16:00-17:00 |
Sesja plakatowa
- 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 |
Sesja 6. Nowoczesne metody projektowania oprogramowania
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 |
Referat zaproszony - Jan van Corven, Michal Zygmunt
Wspomaganie budowy bezpiecznych systemów informatycznych oraz zarządzania bezpieczeństwem systemu
|
10:00-11:00 |
Sesja 7. Techniki zwiększania ponownego użycia projektu i kodu
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 |
Sesja 8. Miary ilościowe jakości systemów oprogramowania
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 |
Ośrodek jest zarezerwowany dla uczestników od kolacji 17.10 do obiadu 20.10
Program konferencji w wersji doc do pobrania
|
Organizatorzy:
![PTI](img/pti.gif)
Polskie Towarzystwo Informatyczne
Oddział Małopolski
![AGH](img/agh.gif)
Katedra Informatyki
Katedra Automatyki
Akademii Górniczo-Hutniczej
Patronat naukowy:
Komitet Informatyki PAN
Sponsor:
![Motorola](img/motorola.gif)
MOTOROLA POLSKA
Software Center
Ostatnia modyfikacja: 3/10/2000.
Projekt i opracowanie: EO.
|
|