Lista prac zarejestrowanych na KKIO'2001 (według numerów)

1. 6011412,    Sebastian Nowak, Ilona Bluemke,     ibl@ii.pw.edu.pl,     stron 10,     język polski,    Środowisko wspomagające testowanie oprogramowania obiektowego    [ wersja oryginalna ,  wersja postscriptowa,  wersja poprawiona oryginalna (10 stron) (zmiana kolejnoœci autorów) 29.08.01,  wersja poprawiona postscriptowa ] 
   
   
2. 6011513,    Anna Derezińska,    adr@ii.pw.edu.pl,     stron 10,     język polski,    Analiza testów maksymalizujących pokrycia i wykrywalność mutacji programów    [ wersja oryginalna,  wersja postscriptowa,  wersja poprawiona oryginalna (10 stron) 1.09.01,  wersja poprawiona postscriptowa ]
   
   
3. 6032000,    Mariusz Trzaska, Alina Stasiecka, Ewa Stemposz, Kazimierz Subieta,    mariusztrzaska@poczta.onet.pl,     stron 10,     język polski,    Baza wiedzy dla firm software-owych ze wspomaganiem analizy ryzyka    [ wersja oryginalna ,  wersja postscriptowa ,  wersja poprawiona oryginalna (10 stron),  wersja poprawiona postscriptowa ]
   
   
4. 6040238,    Erwin Dzienis, Witold Karpeta ,    witold.karpeta@xorinternet.com.pl,     stron 10,     język polski,     Prototype Display System ver. 2 (PDS-2)    [ wersja oryginalna ,   wersja postscriptowa ,  wersja poprawiona oryginalna (10 stron) 14.09.01,  wersja poprawiona postscriptowa ]
   
   
5. 6040803,    Sławek Babecki, Rafal Piotrowski, Ewa Stemposz, Kazimierz Subieta,    slawomir.babecki@rcb-warsaw.raiffeisen.at,     stron 10,     język polski,    Quality - aplikacja wspomagająca systemowe zarządzanie jakości    [ wersja oryginalna ,  wersja postscriptowa ,  wersja poprawiona oryginalna (10 stron) (zmiana kolejnoœci autorów) 4.09.01,  uwagi do recenzji,  uwagi dorecenzji 2,  wersja poprawiona postscriptowa ]
   ]
   
   
6. 6040829,    Michał Pakuła,    mpakula@mimuw.edu.pl,     stron 12,     język polski,    Tłumaczenie specyfikacji Estelle do języka wspomagającego formalną weryfikację    [ wersja oryginalna ,  wersja postscriptowa ]
   
   
7. 6041058,    Jakub Ratajczak,    J.Ratajczak@ii.pw.edu.pl,     stron 10,     język angielski,    Model Checking CSM Automata with PVS    [ wersja oryginalna ,  wersja postscriptowa ]
   
   
8. 6041150,    Wojciech Machała,    wmachala@isi.wat.waw.pl,     stron 10,     język polski,    Koncepcja metody oceny ryzyka w przedsięwzięciach informatycznych    [ wersja oryginalna ,  wersja postscriptowa ,  wersja poprawiona oryginalna (10 stron) 19.09.01,  wersja poprawiona postscriptowa ]
   
   
9. 6041433,    Igor Wojnicki, Antoni Ligęza, Grzegorz J. Nalepa,    wojnicki@uci.agh.edu.pl,     stron 13,     język polski,    Koncepcja narzędzi CAD/CASE do wspomagania projektowania systemów regułowych    [ wersja oryginalna ,  wersja postscriptowa ,  wersja poprawiona oryginalna (11 stron) ,  wersja poprawiona postscriptowa ]
   
   
10. 6041533,    Mariusz Momotko,    Mariusz.Momotko@rodan.pl,     stron 8,     język polski,    OFFICE OBJECTS WORKFLOW - komponent wspierający zarzadząnie procesami pracy    [ wersja oryginalna ,  wersja postscriptowa ,  wersja poprawiona oryginalna (8 stron) 3.09.01 ,  wersja poprawiona postscriptowa ]
    
    
11. 6041752,    Michał Jaśtak,    warlock@ncac.torun.pl,     stron 10,     język polski,    Optymalizacja czasowa transformacji dokumentów XML dla potrzeb zastosowań WWW    [ wersja oryginalna ,  wersja postscriptowa ]
    
    
12. 6041916,    Piotr Roliński, Jacek Wytrębowicz    P.Rolinski@elka.pw.edu.pl,     stron 10,     język angielski,    Communication Method for Reliable Multiagent Systems    [ wersja oryginalna ,  wersja postscriptowa ,  wersja poprawiona oryginalna (12 stron) (drugi współautor) 3.09.01 ,  wersja poprawiona postscriptowa ]
    
    
13. 6042344,    Krzysztof Kowalczykiewicz, Jerzy R. Nawrocki,    krzysiok@man.poznan.pl,     stron 10,     język polski,    Dokumentowanie wymagań w języku XML    [ wersja oryginalna ,  wersja postscriptowa ,  wersja poprawiona oryginalna (10 stron) 4.09.01 ,  wersja poprawiona postscriptowa ]
    
    
14. 6051302,    Bartosz Nowicki,    Bartosz.Nowicki@rodan.pl,     stron 10,     język polski,    Metodyka Rodan nowe technologie    [ wersja oryginalna ,  wersja postscriptowa ]
    wersja poprawiona oryginalna (11 stron) 31.08.01 ,  wersja poprawiona postscriptowa ]
    
    
15. 6051714,    Henryk Krawczyk, Rafał Knopa, Sebastian Kruk, Adam Mazurkiewicz, Jan Zieliński,    hkrawk@pg.gda.pl,     stron 12,     język polski,    Predykcyjno-przyrostowa strategia rozwoju informatycznych aplikacji dedykowanych    [ wersja oryginalna ,  wersja postscriptowa ,  wersja poprawiona oryginalna (10 stron) ,  wersja poprawiona postscriptowa ]
    
    
16. 6052144,    Leszek Szczepaniak,    leszol@atr.bydgoszcz.pl,     stron 10,     język polski,    Problem stosowania wybranych kategorii składniowo-semantycznych języka angielskiego w języku programowania aplikacji baz danych 4GL    [ wersja oryginalna ,  wersja postscriptowa ]
    
    
17. 6052146,    Anna Bobkowska,    annab@loqi.eti.pg.gda.pl,     stron 10,     język polski,    Automatyzacja w prognozowaniu jakości oprogramowania    [ wersja oryginalna ,  wersja postscriptowa ,  wersja poprawiona oryginalna (10 stron) 3.09.01,  wersja poprawiona postscriptowa ]
    
    
18. 6070423,    Bartosz Krysztop,    krysztop@pg.gda.pl,     stron 13,     język polski,    Sterowanie elastycznością i wydajnością aplikacji w procesie wytwarzania oprogramowania    [ wersja oryginalna ,  wersja postscriptowa ,  wersja poprawiona oryginalna (10 stron) 30.07.01,  wersja poprawiona postscriptowa ]
    
    
19. 6071512,    Iwona Dubielewicz, Bogumiła Hnatkowska,    hnatkowska@sun10.ci.pwr.wroc.pl,     stron 11,     język angielski,    Using 'USDP Functional Model' in function point analysis    [ wersja oryginalna,  wersja postscriptowa,  wersja poprawiona oryginalna (10 stron) (zmiana kolejnoœci autorek) 30.08.01,  wersja poprawiona postscriptowa ]
    
    
20. 6071612,    Piotr Gawkowski, M. Wojciechowski, J. Sosnowski,    gawkowsk@ii.pw.edu.pl,     stron 10,     język polski,    Studium programowania wielowersyjnego    [ wersja oryginalna ,  wersja postscriptowa ,  wersja poprawiona oryginalna (10 stron) 3.09.01 ,  wersja poprawiona postscriptowa ]
    
    
21. 6072222,    Jerzy R. Nawrocki, Maciej Szkopek, Bartosz Walter, Adam Wojciechowski,    mszkopek@man.poznan.pl,     stron 13,     język polski,    Próba eksperymentalnej oceny metody PROBE    [ wersja oryginalna,  wersja postscriptowa,  wersja poprawiona oryginalna (12/13 stron) (zmieniona kolejnoœć autorów) 30.08.01,  wersja poprawiona postscriptowa ]
    
    
22. 6081043,    Jacek Ciarkowski,    ciara@pg.gda.pl,     stron 8,     język polski,    Zastosowanie networkingu w projektowaniu i realizacji projektów informatycznych    [ wersja oryginalna ,  wersja postscriptowa ]
    
    
23. 6081351,    Lilianna Wierzchoń,    lwierzchon@computerland.pl,     stron 15,     język polski,    Zapewnienie i doskonalenie jakości oprogramowania w ComputerLand S.A.    [ wersja oryginalna ,  wersja postscriptowa ,  wersja poprawiona oryginalna (12 stron)(zmiana tytułu) z 4.09.01 ,  wersja poprawiona postscriptowa ]
    
    
24. 6091900,    Maciej Kucharski, Jerzy Kaczmarek,    mkuchar@loqi.eti.pg.gda.pl,     stron 8,     język polski,    Zastosowanie metryk obiektowych w technologii Java    [ wersja oryginalna ,  wersja postscriptowa ,  wersja poprawiona oryginalna (7/8 stron) ,  uwagi do recenzji ,  wersja poprawiona postscriptowa ]
    
    
25. 6110107,    Grzegorz Wieczerzak,    Grzegorz.Wieczerzak@talex.com.pl,     stron 10,     język polski,    Poprawa procesów programowych w małej organizacji programistycznej    [ wersja oryginalna ,  wersja postscriptowa ,  wersja poprawiona oryginalna (10 stron) 3.09.01,  wersja poprawiona postscriptowa ]
    
    
26. 6111020,    Zofia Kruczkiewicz,    zosia@ictadmin.ict.pwr.wroc.pl,     stron 13,     język polski,    Spójność modeli oprogramowania obiektowego    [ wersja oryginalna ,  wersja postscriptowa ]
    
    
27. 6111045,    Bogumiła Hnatkowska, Zbigniew Huzar, Lech Tuzinkiewicz,    z.huzar@ci.pwr.wroc.pl,     stron 10,     język polski,    Związki pomiędzy modelami w metodyce USDP    [ wersja oryginalna,  wersja postscriptowa,  wersja poprawiona oryginalna (10 stron) (zmiana kolejności autorów) 30.08.01,  wersja poprawiona postscriptowa]
    
    
28. 6111046,    Zbigniew Huzar, Marek Łabuzek,    z.huzar@ci.pwr.wroc.pl,     stron 10,     język polski,    Pozyskiwanie specyfikacji systemów z opisów tekstowych    [ wersja oryginalna ,  wersja postscriptowa ,  wersja poprawiona oryginalna (10 stron) 3.09.01,  wersja poprawiona postscriptowa]
    
    
29. 6111236,    Sławomir Poreda,    sporeda@yahoo.coml,     stron 10,     język polski,    Wykorzystanie metod formalnych do specyfikacji struktur wskaźnikowych na przykładzie systemu PVS    [ wersja oryginalna ,  wersja postscriptowa ]
    
    
30. 6111406,    Małgorzata Nycz, Barbara Smok,    nycz@manager.ae.wroc.pl,     stron 10,     język polski,    Metody wspomagąjace pozyskiwanie wiedzy z baz danych przedsiębiorstwa    [ wersja oryginalna ,  wersja postscriptowa ]
    
    
31. 6111646,    Zdzisław Szyjewski,    zszyjew@uoo.univ.szczecin.pl,     stron 10,     język polski,    Spiralne podejście do wytwarzania oprogramowania    [ wersja oryginalna ,  wersja postscriptowa wersja poprawiona oryginalna (10 stron) 12.09.01,  wersja poprawiona postscriptowa]
    
    
32. 6120048,    Michał Jasiński, Jerzy R. Nawrocki,    vitric@math.put.poznan.pl,     stron 11,     język polski,    Planowanie zakresu przedsięwzięcia na etapie inżynierii wymagań    [ wersja oryginalna,  wersja postscriptowa,  wersja poprawiona oryginalna (10 stron) (zmieniony tytuł, a był taki ładny: Delficka gra planistyczna typu XP) 2.09.01,  wersja poprawiona postscriptowa ]
    
    
33. 6121117,    Jerzy R. Nawrocki, Bartosz Walter, Adam Wojciechowski,    Bartek.Walter@man.poznan.pl,     stron 9,     język polski,    Planowanie pracy zespołu programistów z użyciem metody PROBE    [ wersja oryginalna ,  wersja postscriptowa,  wersja poprawiona oryginalna (11 stron) (zmiana kolejnoœci autorów), (zmiana tytułu) 5.09.01,  wersja poprawiona postscriptowa ]
    
    
34. 6130724,    Jakub Miler, Janusz Górski,    jango@pg.gda.pl,     stron 10,     język angielski,    Implementing risk management in software projects    [ wersja oryginalna,  wersja postscriptowa,  wersja poprawiona oryginalna (10 stron) 4.09.01,  wersja poprawiona postscriptowa,  uwagi do recenzji ]
    
    
35. 6130725,    Janusz Górski,    jango@pg.gda.pl,     stron 12,     język polski,    Inspekcje oprogramowania - doświadczenia praktyczne    [ wersja oryginalna ,  wersja postscriptowa ,  wersja poprawiona oryginalna (10 stron) 3.09.01,  wersja poprawiona postscriptowa ,  uwagi do recenzji ]
    
    
36. 6131300,    Robert Zyskowski,    ZyskowskiR@prokom.pl,     stron 12,     język polski,    Internetowy System Zarządzania Firmą SZAFIR - czyli jak wytwarzać oprogramowanie na wynajem    [ wersja oryginalna ,  wersja postscriptowa ,  wersja poprawiona oryginalna (11 stron) ,  wersja poprawiona postscriptowa ,  uwagi do recenzji ]
    
    
37. 6131334,    Jerzy R. Nawrocki, Bartosz Walter, Adam Wojciechowski,    Adam.Wojciechowski@put.poznan.pl,     stron 12,     język polski,    Propozycja modelu dojrzałości dla Programowania Ekstremalnego    [ wersja oryginalna,  wersja postscriptowa,  wersja poprawiona oryginalna (11 stron) z 31.08.01,  wersja poprawiona postscriptowa ]
    
    
38. 6151334,    Maciej Hapke, Andrzej Jaszkiewicz, Sergio Perani,    Jaszkiewicz@cs.put.poznan.pl,     stron 10,     język angielski,    OPHELIA - Open Platform and metHododologies for devELopment tools IntegrAtion in a distributed environment    [ wersja oryginalna ,  wersja postscriptowa ,  wersja poprawiona oryginalna (10 str.) 5.09.01,  wersja poprawiona postscriptowa ,  uwagi do recenzji   ]
    
    
39. 6162300,    Adam Bałaban, Marcin Kubica,    ab@mimuw.edu.pl,     stron 12,     język polski,    Specyfikacja i weryfikacja programów operujących na wskaźnikowych strukturach danych    [ wersja oryginalna ,  wersja postscriptowa ]
    
    
40. 6200805,    Janina Mincer-Daszkiewicz,    jmd@mimuw.edu.pl,     stron 12,     język polski,    Tworzenie produkcyjnego oprogramowania w środowisku akademickim    [ wersja oryginalna ,  wersja postscriptowa ,  wersja poprawiona oryginalna (12 str.) 17.09.01,  wersja poprawiona postscriptowa]
    
    
41. 6200909,    Silva Robak, Roman Stryjski, Bogdan Franczyk,    Robak@pz.zgora.pl,     stron 11,     język polski,    Zastosowanie JSP jako techniki generatywnej do realizacji części systemów w ramach linii produktów    [ wersja oryginalna ,  wersja postscriptowa ]
    
    
42. 6201044,    Adam Lejman,    al@altkom.com.pl,     stron 10,     język polski,    Wzorce w tworzeniu aplikacji    [ wersja oryginalna ,  wersja postscriptowa,  wersja poprawiona oryginalna (13 stron) ,  wersja poprawiona postscriptowa ]
    
    
43. 6211825,    Włodzimierz Drabent, Mirosława Miłkowska,    mikis@mimuw.edu.pl,     stron 11,     język polski,    Deklaratywne podejście do wnioskowania o programach w języku logiki    [ wersja oryginalna ,  wersja postscriptowa,  wersja poprawiona oryginalna (11 str.) 7.09.01,  wersja poprawiona postscriptowa]
    
    
44. 6221837,    Maciej Hapke,    hapke@cs.put.poznan.pl,     stron 11,     język polski,    Planowanie i kontrolowanie postępu przedsięwzięć programistycznych w warunkach niepewności w MS Project    [ wersja oryginalna,  wersja postscriptowa,  wersja poprawiona oryginalna (30.08.01, 11 stron) (zmiana tytułu) ,  uwagi do recenzji ,  wersja poprawiona postscriptowa ]
    
    
45. 6261404,    Marcin Engel,    mengel@mimuw.edu.pl,     stron 12,     język polski,    Wykorzystanie systemów wspomagających dowodzenie do weryfikacji wewnętrznej spójności specyfikacji    [ wersja oryginalna ,  wersja postscriptowa ]
    
    
46. 6262350,    Jurek Czyzowicz, Wojciech Fraczak, Michal Iglewski, Feliks Welfeld,     michal@solidum.com,     stron 14,     język angielski,    PAX PDL - language for data communication packet description    [ wersja oryginalna ,  wersja postscriptowa ]
    
    
47. 6270346,    Janusz Jabłonowski,    janusz@mimuw.edu.pl,     stron 11,     język polski,    Przykładowe struktury danych w komputerowych systemach wspomagających konstrukcję poprawnych programów    [ wersja oryginalna ,  wersja postscriptowa ,  wersja poprawiona oryginalna (11 stron) (zmiana tytułu) 15.09.01 ,  wersja poprawiona postscriptowa wersja poprawiona w grubym postscripcie (spakowana) ]