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 oryginalnawersja postscriptowawersja 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 oryginalnawersja postscriptowawersja 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 oryginalnawersja postscriptowawersja 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 postscriptowawersja 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 oryginalnawersja postscriptowawersja poprawiona oryginalna (10 stron) (zmiana kolejnoœci autorów) 4.09.01,  uwagi do recenzjiuwagi dorecenzji 2wersja 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 oryginalnawersja postscriptowa ]

  7. 6041058,    Jakub Ratajczak,    J.Ratajczak@ii.pw.edu.pl,     stron 10,     język angielski,    Model Checking CSM Automata with PVS    [ wersja oryginalnawersja 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 oryginalnawersja postscriptowawersja 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 oryginalnawersja postscriptowawersja 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 oryginalnawersja postscriptowawersja 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 oryginalnawersja 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 oryginalnawersja postscriptowawersja 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 oryginalnawersja postscriptowawersja 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 oryginalnawersja 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 oryginalnawersja postscriptowawersja 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 oryginalnawersja postscriptowa ]

  17. 6052146,    Anna Bobkowska,    annab@loqi.eti.pg.gda.pl,     stron 10,     język polski,    Automatyzacja w prognozowaniu jakości oprogramowania    [ wersja oryginalnawersja postscriptowawersja 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 oryginalnawersja postscriptowawersja 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 oryginalnawersja postscriptowawersja 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 oryginalnawersja postscriptowawersja 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 oryginalnawersja postscriptowawersja 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 oryginalnawersja postscriptowa ]

  23. 6081351,    Lilianna Wierzchoń,    lwierzchon@computerland.pl,     stron 15,     język polski,    Zapewnienie i doskonalenie jakości oprogramowania w ComputerLand S.A.    [ wersja oryginalnawersja postscriptowawersja 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 oryginalnawersja postscriptowawersja 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 oryginalnawersja postscriptowawersja 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 oryginalnawersja 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 oryginalnawersja 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 oryginalnawersja 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 oryginalnawersja 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 oryginalnawersja postscriptowa ]

  31. 6111646,    Zdzisław Szyjewski,    zszyjew@uoo.univ.szczecin.pl,     stron 10,     język polski,    Spiralne podejście do wytwarzania oprogramowania    [ wersja oryginalnawersja 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 oryginalnawersja 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 oryginalnawersja postscriptowawersja 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 oryginalnawersja postscriptowa wersja poprawiona oryginalna (10 stron) 4.09.01,  wersja poprawiona postscriptowauwagi do recenzji ]

  35. 6130725,    Janusz Górski,    jango@pg.gda.pl,     stron 12,     język polski,    Inspekcje oprogramowania - doświadczenia praktyczne    [ wersja oryginalnawersja postscriptowa wersja poprawiona oryginalna (10 stron) 3.09.01,  wersja poprawiona postscriptowauwagi 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 oryginalnawersja postscriptowawersja poprawiona oryginalna (11 stron) wersja poprawiona postscriptowauwagi 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 oryginalnawersja postscriptowawersja 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 oryginalnawersja postscriptowawersja poprawiona oryginalna (10 str.) 5.09.01,  wersja poprawiona postscriptowauwagi 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 oryginalnawersja postscriptowa ]

  40. 6200805,    Janina Mincer-Daszkiewicz,    jmd@mimuw.edu.pl,     stron 12,     język polski,    Tworzenie produkcyjnego oprogramowania w środowisku akademickim    [ wersja oryginalnawersja postscriptowawersja 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 oryginalnawersja postscriptowa ]

  42. 6201044,    Adam Lejman,    al@altkom.com.pl,     stron 10,     język polski,    Wzorce w tworzeniu aplikacji    [ wersja oryginalnawersja postscriptowawersja 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 oryginalnawersja postscriptowawersja 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 oryginalnawersja postscriptowawersja poprawiona oryginalna (30.08.01, 11 stron) (zmiana tytułu)uwagi do recenzjiwersja 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 oryginalnawersja 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 oryginalnawersja 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 oryginalnawersja postscriptowawersja poprawiona oryginalna (11 stron) (zmiana tytułu) 15.09.01 ,  wersja poprawiona postscriptowa wersja poprawiona w grubym postscripcie (spakowana) ]



  Ostatnia zmiana:  14.10.2001 (13:45)