XV Krajowa Konferencja Inżynierii Oprogramowania. Systemy Czasu Rzeczywistego XX edycja. Sejmik Młodych Informatyków VIII edycja

Wielkość: px
Rozpocząć pokaz od strony:

Download "XV Krajowa Konferencja Inżynierii Oprogramowania. Systemy Czasu Rzeczywistego XX edycja. Sejmik Młodych Informatyków 2013 - VIII edycja"

Transkrypt

1 XV Krajowa Konferencja Inżynierii Oprogramowania Systemy Czasu Rzeczywistego XX edycja Sejmik Młodych Informatyków VIII edycja Szczecin, września 2013

2 Konferencje naukowe XV edycja Krajowej Konferencji Inżynierii Oprogramowania XX edycja Systemów Czasu Rzeczywistego VIII edycja Sejmiku Młodych Informatyków zostały dofinansowane przez Ministra Nauki i Szkolnictwa Wyższego w ramach programu związanego z realizacją zadań upowszechniających naukę (decyzja nr 1064/P-DUN/2013 z dnia ) Dziękujemy! Spis treści Patroni honorowi, patroni medialni oraz sponsorzy (The honorary patronage, the media patronage, the sponsors)...3 Agenda Konferencji KKIO SCR SMI Organizator Krajowej Konferencji Inżynierii Oprogramowania (Organizer of KKIO conference)...8 Organizator konferencji Systemy Czasu Rzeczywistego (Organizer of SCR conference)...8 Organizator Sejmiku Młodych Informatyków (Organizer of SMI conference)...8 Komitet Organizacyjny edycji 2013 (Organizing Committee)...9 Rada programowa KKIO 2013 (KKIO 2013 Program Committee) Rada programowa SCR 2013 (SCR 2013 Program Committee) Rada programowa SMI 2013 (SMI 2013 Program Committee) Wystąpienia w poszczególnych sesjach panelowych Publikacje naukowe Monografie: Zeszyty Rady Naukowej Polskiego Towarzystwa Informatycznego (Monographies: Scientific Papers of the Polish Informations Processing Society Scientific Council) Formuła konferencji KKIO Formuła konferencji SCR Formuła konferencji SMI Warsztaty (Workshops)

3 Patroni honorowi, patroni medialni oraz sponsorzy (The honorary patronage, the media patronage, the sponsors) Patronat Sponsorzy 3

4 Agenda Konferencji KKIO SCR SMI 2013 Środa, 18. IX Post-agilism: wybór najlepszego rozwiązania (warsztaty fakultatywne wymagana osobna wcześniejsza rejestracja), Bogdan Bereza (Victo) Rejestracja uczestników - 15 Poczęstunek (sala 126) Uroczyste otwarcie konferencji Przewodniczący Komitetu Programowego prof. Zdzisław Szyjewski (Uniwersytet Szczeciński) Sesja plenarna Prowadzenie: dr hab. Jakub Swacha (Uniwersytet Szczeciński) Reducing Researcher Bias in Computational Science (wykład zaproszony w języku angielskim) prof. Martin Shepperd (Brunel University, Wielka Brytania) Psychologia programowania (wykład zaproszony w języku polskim) prezes Wacław Iszkowski (Polska Izba Informatyki i Telekomunikacji) Internetowe laboratoria inżynierii programowania dla systemów wbudowanych (wykład zaproszony w języku polskim z elementami prezentacji w języku angielskim) prof. Janusz Zalewski (Florida Gulf Coast University, USA) Bankiet (Aula im. L. Babińskiego, WNEiZ, ul. Mickiewicza 64, Szczecin) Powitanie gości: prof. Zdzisław Szyjewski ok. godz Wieczór autorski: prof. Jerzy Kisielnicki 4

5 C zw artek, 19.IX Sesje panelowe Wykład Platforma oprogramowania OfficeObjects. Historia realizacji projektu. dr Witold Staniszkis KKIO EN 1 Software testing Prowadzenie: prof. Andrzej Marciniak SMI 1 Systemy decyzyjne Prowadzenie: prof. Ryszard Budziński SCR 1 Projektowanie systemów czasu rzeczywistego Prowadzenie: prof. Leszek Trybus KKIO PL 1 Implementacja oprogramowania Prowadzenie: prof. Zdzisław Szyjewski Przerwa kawowa (sala 126) Session: Artificial Intelligence Leading: prof. Akira Imada (Brest State Technical University, Belarus) EEG-based Brain-Computer Interfaces (wykład zaproszony w języku angielskim) Prof. Fabio Babiloni (Sapienza University of Rome, Italy) Intelligent Autonomous Robots (wykład zaproszony w języku angielskim) Prof. Luca Iocchi (Sapienza University of Rome, Italy) Wystąpienia sponsorów Prowadzenie: dr Tomasz Zdziebko Duże dane - od Hadoopa przez StremInsight do Excela - jak sensownie tworzyć i używać rozwiązań Big Data Tomasz Kopacz (Microsoft) International Requirements Engineering Board Bogdan Bereza (IREB) Przerwa kawowa (sala 126) Sesje panelowe KKIO PL 2 Zarządzanie projektami Prowadzenie: prof. Jerzy Kisielnicki KKIO EN 2 Software development Prowadzenie: dr Łukasz Radliński SMI 2 Analiza danych Prowadzenie: dr hab. inż. prof. US Kesra Nermend, dr hab. prof. US Małgorzata Łatuszyńska SCR 2 Rozwój i zastosowania Prowadzenie: dr Andrzej Stasiak Obiad (Aula im. L. Babińskiego) 5

6 KKIO PL 3 Modele i metody Prowadzenie: prof. Zygmunt Drążek KKIO EN 3 Information systems design Prowadzenie: dr Karolina Muszyńska SMI 3 Algorytmizacja i reprezentacja wiedzy Prowadzenie: prof. Antoni Wiliński SCR 3 Implementacje i oprogramowanie Prowadzenie: dr Krzysztof Kołek Przerwa kawowa (sala 126) Spotkanie Rady Naukowej PTI (wyłącznie dla członków) W1 * (PL) Warsztaty wymagana wcześniejsza rejestracja (Workshops registration required) W2 * (PL) W3 * (PL) W4 * (ENG) W5 * (ENG) Spotkanie Komitetu Programowego KKIO/SCR (wyłącznie dla członków) Od wymagań do Javy w mgnieniu oka Office 365 platforma współpracy naukowej Certyfikacja IREB - po prostu zysk Neuroeconomy, neuromarketing and... From the neuroscience principles to Przejazd autokarem na Wały Chrobrego, gdzie będzie zacumowany statek Kolacja na wodzie (Rejs po Odrze statkiem Odra Queen) 6

7 Piątek, 20.IX Sesje panelowe KKIO PL 4 Współpraca Nauka Praktyka Prowadzenie: dr Tomasz Zdziebko KKIO EN 4 New approaches & Technologies Prowadzenie: dr Tomasz Łukaszewski Przerwa kawowa (sala 126) SMI 4 Sesja Młodych Naukowców Prowadzenie: prof. Andrzej Marciniak Wykład wprowadzający: Interdyscyplinarność badań naukowych prof. zw. dr hab. Magdalena Osińska SCR 4 Zabezpieczenia przemysłowe i sieci Prowadzenie: prof. Andrzej Turnau Debata Bezpieczeństwo IT a ekonomia Prowadzenie: Wiesław Paluszyński, Janusz Żmudziński, Adam Mizerski, Andrzej Majewski KKIO PL 5 Zarządzanie projektami informatycznymi - dojrzałość, metody, narzędzia Prowadzenie: dr Artur Ziółkowski Przerwa kawowa (sala 126) Sesja filadelfijska prof. Jerzy Nawrocki (Politechnika Poznańska), prof. Zbigniew Huzar (Politechnika Wrocławska) Mierzalność badań: szanse i zagrożenia prof. Leszek A. Maciaszek (Uniwersytet Ekonomiczny we Wrocławiu, Macquarie University, Sydney, Australia) Uroczyste zamknięcie konferencji Przewodniczący Komitetu Programowego prof. Zdzisław Szyjewski (Uniwersytet Szczeciński) Obiad - 14 (Aula im. L. Babińskiego) Warsztaty 19.IX.2013, godz : W1 Warsztat (PL): Od wymagań do Javy w mgnieniu oka, Michał Śmiałek (Politechnika Warszawska) W2 Warsztat (PL): Office 365 platforma współpracy naukowej, Piotr Bubacz (Microsoft) W3 Warsztat (PL): Certyfikacja IREB - po prostu zysk, Bogdan Bereza (IREB) W4 Warsztat (ENG): Neuroeconomy, neuromarketing and decisional processes, Fabio Babiloni (Sapienza University of Rome, Italy) W5 Warsztat (ENG): From the neuroscience principles to the practical use of them for improving marketing messages, Arianna Trettel (Sapienza University of Rome, Italy) 7

8 Miejsce konferencji (Conference venue) Uniwersytet Szczeciński Wydział Nauk Ekonomicznych i Zarządzania ul. Mickiewicza 64, Szczecin Organizator Krajowej Konferencji Inżynierii Oprogramowania (Organizer of KKIO conference) Organizatorami tegorocznej, XV edycji cyklicznej konferencji naukowej KKIO są: Polskie Towarzystwo Informatyczne - Oddział Zachodniopomorski (Polish Information Processing Society - West-Pomeranian Branch) Instytut Informatyki w Zarządzaniu, Wydział Nauk Ekonomicznych i Zarządzania, Uniwersytet Szczeciński (Institute of IT in Management, Faculty of Economics and Management, University of Szczecin). Organizator konferencji Systemy Czasu Rzeczywistego (Organizer of SCR conference) Organizatorami tegorocznej, XX edycji cyklicznej konferencji naukowej Systemy Czasu Rzeczywistego są: Polskie Towarzystwo Informatyczne - Oddział Zachodniopomorski (Polish Information Processing Society - West-Pomeranian Branch) Instytut Informatyki w Zarządzaniu, Wydział Nauk Ekonomicznych i Zarządzania, Uniwersytet Szczeciński (Institute of IT in Management, Faculty of Economics and Management, University of Szczecin) Katedra Informatyki i Automatyki, Politechnika Rzeszowska (Division of Informatics and Control, Rzeszów University of Technology). Organizator Sejmiku Młodych Informatyków (Organizer of SMI conference) Organizatorami cyklicznej konferencji naukowej Sejmik Młodych Informatyków są: Polskie Towarzystwo Informatyczne - Oddział Zachodniopomorski (Polish Information Processing Society - West-Pomeranian Branch) Instytut Informatyki w Zarządzaniu, Wydział Nauk Ekonomicznych i Zarządzania, Uniwersytet Szczeciński (Institute of IT in Management, Faculty of Economics and Management, University of Szczecin). 8

9 Komitet Organizacyjny edycji 2013 (Organizing Committee) dr Barbara Królikowska Przewodnicząca Komitetu Organizacyjnego dr hab. Jakub Swacha Sekretarz konferencji KKIO 2013 dr inż. Marcin W. Mastalerz Sekretarz konferencji SCR 2013 dr inż. Mateusz Piwowarski Sekretarz konferencji SMI 2013 dr hab. inż. prof. US Kesra Nermend współpraca z wydawnictwami mgr inż. Maciej Godniak działania informacyjno-promocyjne, współpraca z mediami, strony internetowe konferencji SMI, SCR 2013, konferencje.pti.szczecin.pl mgr Tomasz Komorowski sprawy finansowe, strona internetowa konferencji SMI mgr inż. Anna Łatuszyńska korespondencja, redakcja publikacji dr Tomasz Łukaszewski strona internetowa konferencji KKIO 2013 dr Jerzy Marcinkiewicz dokumentowanie obrad konferencji KKIO 2013 dr Karolina Muszyńska komunikacja w zespole dr Tomasz Ordysiński strona internetowa konferencji KKIO 2013 dr Olga Pilipczuk skład i redakcja artykułów KKIO 2013 dr Łukasz Radliński organizacja noclegów, cateringu i bankietów, opieka nad gośćmi zaproszonymi mgr Grzegorz Szyjewski techniczne przygotowanie sal konferencyjnych mgr Anna Worach działania informacyjno-promocyjne, współpraca z mediami dr Tomasz Zdziebko współpraca z partnerami biznesowymi 9

10 Rada programowa KKIO 2013 (KKIO 2013 Program Committee) prof. dr hab. Zdzisław Szyjewski (Uniwersytet Szczeciński) - Przewodniczący prof. dr hab. inż. Zbigniew Banaszak (Politechnika Koszalińska) dr hab. inż. Leszek Borzemski (Politechnika Wrocławska) prof. dr hab. inż. Ryszard Budziński (Uniwersytet Szczeciński) prof. dr hab. inż. Wojciech Cellary (Uniwersytet Ekonomiczny w Poznaniu) dr inż. Jakub Chabik (EBIT) dr inż. Piotr Czapiewski (Zachodniopomorski Uniwersytet Technologiczny w Szczecinie) prof. dr hab. inż. Zbigniew Czech (Politechnika Śląska) dr inż. Włodzimierz Dąbrowski (Politechnika Warszawska) prof. dr hab. Zygmunt Drążek (Uniwersytet Szczeciński) prof. dr Norman Fenton (Queen Mary, University of London) dr hab. inż. Krzysztof Goczyła (Politechnika Gdańska) prof. dr hab. inż. Janusz Górski (Politechnika Gdańska) prof. dr hab. inż. Adam Grzech (Politechnika Wrocławska) mgr inż. Wojciech Grzybek (Heuthes, prezes) dr Tracy Hall (Brunel University) dr inż. Bogumiła Hnatkowska (Politechnika Wrocławska) dr inż. Marek Hołyński (Instytut Maszyn Matematycznych) prof. dr hab. inż. Zbigniew Huzar (Politechnika Wrocławska) dr hab. inż. Andrzej Jaszkiewicz (Politechnika Poznańska) prof. dr Magne Jørgensen (Simula Research Laboratory) prof. zw dr hab. inż. Jacek Kitowski (Akademia Górniczo-Hutnicza) prof. dr hab. inż. Zdzisław Kowalczuk (Politechnika Gdańska) prof. dr hab. inż. Stanisław Kozielski (Politechnika Śląska) prof. dr hab. inż. Henryk Krawczyk (Politechnika Gdańska) prof. dr hab. inż. Andrzej Kwiecień (Politechnika Śląska) prof. dr Bev Littlewood (City University London) prof. dr hab. Leszek A. Maciaszek (Uniwersytet Ekonomiczny we Wrocławiu and Macquarie University Sydney) prof. dr hab. Jan Madey (Uniwersytet Warszawski ) dr hab. inż. Lech Madeyski (Politechnika Wrocławska) prof. dr hab. inż. Jan Magott (Politechnika Wrocławska) prof. dr hab. Andrzej Marciniak (Politechnika Poznańska) dr inż. Marcin W. Mastalerz (Uniwersytet Szczeciński) dr hab. Zygmunt Mazur (Politechnika Wrocławska) dr Karolina Muszyńska (Uniwersytet Szczeciński) prof. dr hab. inż. Edward Nawarecki (Akademia Górniczo-Hutnicza) 10

11 Rada programowa KKIO 2013 c.d. (KKIO 2013 Program Committee) dr hab. inż. Jerzy Nawrocki (Politechnika Poznańska) prof. dr hab. inż. Ngoc Thanh Nguyen (Politechnika Wrocławska) prof. dr hab. inż. Marian Noga (Akademia Górniczo-Hutnicza) prof. dr hab. Antoni Nowakowski (Zachodniopomorski Uniwersytet Technologiczny w Szczecinie) dr hab. Wojciech Olejniczak (Zachodniopomorska Szkoła Biznesu w Szczecinie) dr hab. inż. Cezary Orłowski (Politechnika Gdańska) Wiesław Paluszyński (Polskie Towarzystwo Informatyczne) dr Łukasz Radliński (Uniwersytet Szczeciński) prof. dr Guenther Ruhe (University of Calgary) prof. dr Martin Shepperd (Brunel University) dr Witold Staniszkis (Rodan Systems) dr inż. Andrzej Stasiak (Wojskowa Akademia Techniczna) prof. dr hab. inż. Kazimierz Subieta (Polsko-Japońska Wyższa Szkoła Technik Komputerowych w Warszawie) dr hab. Jakub Swacha (Uniwersytet Szczeciński) prof. dr hab. inż. Leszek Trybus (Politechnika Rzeszowska) dr inż. Lech Tuzinkiewicz (Politechnika Wrocławska) dr inż. Marek Valenta (Akademia Górniczo-Hutnicza w Krakowie) dr inż. Bartosz Walter (Politechnika Poznańska) prof. dr hab. inż. Antoni Wiliński (Zachodniopomorski Uniwersytet Technologiczny w Szczecinie) dr Janusz Zalewski (Florida Gulf Coast University) prof. dr hab. inż. Krzysztof Zieliński (Akademia Górniczo-Hutnicza) 11

12 Rada programowa SCR 2013 (SCR 2013 Program Committee) prof. dr hab. inż. Leszek Trybus (Politechnika Rzeszowska) - Przewodniczący prof. dr hab. inż. Marian Adamski (Uniwersytet Zielonogórski) dr inż. Tomasz Babczyński (Politechnika Wrocławska) prof. Zbigniew Banaszak (Politechnika Warszawska) dr inż. Włodzimierz Dąbrowski (Politechnika Warszawska, ISEP) dr inż. Zbigniew Fryźlewicz (Politechnika Wrocławska) dr inż. Piotr Gaj (Politechnika Śląska) prof. Zbigniew Huzar (Instytut Informatyki, Politechnika Wrocławska) prof. dr hab. inż. Jerzy Józefczyk (Politechnika Wrocławska) prof. dr hab. inż. Józef Korbicz (Uniwersytet Zielonogórski) prof. dr hab. inż. Jan Maciej Kościelny (Politechnika Warszawska) dr hab. inż. prof. AG Leszek Kotulski (Akademia Górniczo-Hutnicza) prof. dr hab. inż. Stanisław Kozielski (Politechnika Śląska) prof. dr hab. inż. Włodzimierz Kwiatkowski (Wojskowa Akademia Techniczna) dr hab. inż. prof. PŚl. Andrzej Kwiecień (Politechnika Śląska) prof. dr hab. inż. Antoni Ligęza (Akademia Górniczo-Hutnicza) dr inż. Marcin W. Mastalerz (Instytut Informatyki w Zarządzaniu, Uniwersytet Szczeciński) prof. Zygmunt Mazur (Instytut Informatyki, Politechnika Wrocławska) dr hab. inż. prof. WAT Andrzej Najgebauer (Wojskowa Akademia Techniczna) prof. dr hab. inż. Marian Noga (Akademia Górniczo-Hutnicza) dr hab. prof. PP Tadeusz Pankowski (Politechnika Poznańska) prof. dr hab. inż. Krzysztof Sacha (Politechnika Warszawska) dr inż. Sławomir Samolej (Politechnika Rzeszowska) dr Andrzej Stasiak (Wojskowa Akademia Techniczna) prof. dr hab. inż. Tomasz Szmuc (Akademia Górniczo-Hutnicza) dr hab. prof. nadzw. Marcin Szpyrka (AGH Kraków) prof. dr hab. inż. Zdzisław Szyjewski (Uniwersytet Szczeciński) prof. dr hab. inż. Ryszard Tadeusiewicz (AGH Kraków) dr hab. inż. prof. nz. Andrzej Turnau (AGH) dr hab. inż. Marian Wysocki (Politechnika Rzeszowska) prof. dr hab. Cezary Zieliński (Politechnika Warszawska) dr Zbigniew Zieliński (Wojskowa Akademia Techniczna) dr hab. inż. prof. AGH Henryk Zygmunt (Akademia Górniczo-Hutnicza) 12

13 Rada programowa SMI 2013 (SMI 2013 Program Committee) dr hab. inż. prof. US Kesra Nermend (Uniwersytet Szczeciński) - Przewodniczący prof. nadzw. dr hab. inż. Błażej Bałasz (Politechnika Koszalińska) dr inż. Mariusz Borawski (Zachodniopomorski Uniwersytet Technologiczny w Szczecinie) prof. dr hab. inż. Ryszard Budziński (Uniwersytet Szczeciński) prof. dr hab. Witold Chmielarz (Uniwersytet Warszawski) dr hab. prof. US Jacek Cypryjański (Uniwersytet Szczeciński) prof. dr hab. Zygmunt Drążek (Uniwersytet Szczeciński) prof. dr hab. inż. Ludosław Drelichowski (Uniwersytet Technologiczno-Przyrodniczy w Bydgoszczy) dr Robert Dylewski (Uniwersytet Zielonogórski; Instytut Techniczny, Państwowa Wyższa Szkoła Zawodowa w Gorzowie Wlkp.) prof. Marco Ferretti - Presidente Consiglio Didattico Classe Ingegneria Informazione (Università degli studi di Pavia) prof. dr rer. oec. habil. Joachim Frahm (Hochschule Wismar, Niemcy) Professor Larisa S. Globa, National Technical University of Ukraine "Kiev Polytechnic Institute" dr hab. prof. EWSIE Marek J. Greniewski (Europejska Wyższa Szkoła Informatyczno- Ekonomiczna w Warszawie) dr Marek Hołyński (Polskie Towarzystwo Informatyczne) Professor Akira Imada, Brest State Technical University, Belarus dr inż. Janusz Jabłoński (Uniwersytet Zielonogórski; Instytut Techniczny, Państwowa Wyższa Szkoła Zawodowa w Gorzowie Wlkp.) dr inż. Jarosław Jankowski (Zachodniopomorski Uniwersytet Technologiczny w Szczecinie) prof. dr hab. Jerzy Kisielnicki (Wydział Zarządzania Uniwersytetu Warszawskiego) dr hab. prof. SGH Andrzej Kobyliński (Szkoła Główna Handlowa w Warszawie) dr Krzysztof Kompa (Szkoła Główna Gospodarstwa Wiejskiego) prof. nadzw. dr hab. inż. Tomasz Królikowski (Politechnika Koszalińska) dr hab. prof. US Małgorzata Łatuszyńska (Uniwersytet Szczeciński) dr hab. Leszek A. Maciaszek (Uniwersytet Ekonomiczny we Wrocławiu, Macquarie University, Sydney, Australia) prof. dr hab. Jan Madey (Uniwersytet Warszawski) prof. dr hab. Andrzej Marciniak (Politechnika Poznańska) dr hab. prof. PW Zygmunt Mazur (Politechnika Wrocławska) prof. dr hab. Adam Nowicki (Politechnika Częstochowska) dr hab. prof. PS Wojciech Olejniczak (Zachodniopomorska Szkoła Biznesu w Szczecinie) dr hab. inż. prof. PG Cezary Orłowski (Politechnika Gdańska) 13

14 Rada programowa SMI 2013 c.d. (SMI 2013 Program Committee) dr hab. Marcin Paprzycki (Instytut Badań Systemowych, Polska Akademia Nauk) prof. dr hab. inż. Andrzej Piegat (Zachodniopomorski Uniwersytet Technologiczny w Szczecinie) dr inż. Mateusz Piwowarski (Zachodniopomorski Uniwersytet Technologiczny w Szczecinie) dr Łukasz Radliński (Uniwersytet Szczeciński) dr hab. Izabela Rejer (Zachodniopomorski Uniwersytet Technologiczny w Szczecinie) prof. dr hab. inż. Piotr Sienkiewicz (Akademia Obrony Narodowej, Warszawska Wyższa Szkoła Informatyki) prof. dr hab. Andrzej Straszak (Instytut Badań Systemowych PAN, Warszawa) dr hab. Jakub Swacha (Uniwersytet Szczeciński) prof. dr hab. Agnieszka Szewczyk (Uniwersytet Szczeciński) prof. dr hab. Zdzisław Szyjewski (Uniwersytet Szczeciński) prof. dr hab. Waldemar Tarczyński (Uniwersytet Szczeciński) prof. dr hab. inż. Antoni Wiliński (Zachodniopomorski Uniwersytet Technologiczny w Szczecinie) prof. dr hab. Dorota Witkowska (Szkoła Główna Gospodarstwa Wiejskiego) dr inż. Marek Valenta (Akademia Górniczo-Hutnicza w Krakowie) prof. dr hab. inż. Jerzy S. Zieliński (Uniwersytet Łódzki) 14

15 Wystąpienia w poszczególnych sesjach panelowych Streszczenia poszczególnych referatów opublikowane są w dalszej części broszury. KKIO EN 1 P r e l e g e n c i Softw are testing Begier Barbara Using Scrum or Scrumbuts? T e m a t / T i t l e Czarnik Patryk, Chrząszcz Jacek, CoJaq: a hierarchical view on the Java bytecode formalised in Coq Schubert Aleksy Jarocki Mariusz, Niewiadomski Artur, Penczek Wojciech, PlanICS a web service composition system Polrola Agata, Szreter Maciej Swacha Jakub, Muszyńska Managing the adaptation of open-source software: the examples Karolina, Drążek Zygmunt of BalticMuseums 2.0 and BalticMuseums 2.0 Plus KKIO EN 2 P r e l e g e n c i Softw are dev el opment T e m a t / T i t l e Borzemski Leszek, Spatio-Temporal Evaluation and Forecasts of Web Applications Danielak Michał, Performance Kamińska-Chuchmała Anna Derezinska Anna, Trzpil Piotr Mutation testing of ASP.NET MVC Hnatkowska Bogumiła, Test case generation on the base of business rules described Tumidajewicz Radosław in structural natural language KKIO EN 3 Straszak Tomasz, Acceptance test generation based on detailed use case models Śmiałek Michał P r e l e g e n c i Information sy stems design T e m a t / T i t l e Kijas Szymon, Zalewski Andrzej The decision making model for design of service - oriented systems Susłow Walery, Preventing conceptual errors in the system design Statkiewicz Michał Wilk Bartosz, Kasztelnik Marek, Software for escience: from feature modeling to automatic Bubak Marian environment setup KKIO EN 4 P r e l e g e n c i New approaches & technol ogies Greniewski Marek J. T e m a t / T i t l e From relatively isolated system to object approach the story of system development & modeling tools Nowakowski Antoni, The model of a mobile system of patient condition monitoring Zair Abdullah utilizing the NFC technology Prostko Michał, Automated virtual machine system preparation using template Bielawski Krzysztof contextualization Szczygieł Kamil, Controlling KVM virtual machine guest with VirtIO Bielawski Krzysztof Żebrowski Michał, SOA System Evolution Differential Evaluation Ratkowski Andrzej 15

16 KKIO PL 1 P r e l e g e n c i Impl ementacja oprogramow ania Bluemke Ilona, Stępień Anna Wzorzec DCI T e m a t / T i t l e Chrabski Bartosz, Dowgielewicz Koncepcja budowy maszyny wnioskującej modelu referencyjnego Kamil, Orłowski Cezary rozwoju i doboru narzędzi Open Source Wawszczak Anna, Kempa Karol KKIO PL 2 P r e l e g e n c i KKIO PL 3 Wykorzystanie zaawansowanych mechanizmów języka Objective-C do tworzenia łatwych w integracji komponentów Zarządzanie projektami T e m a t / T i t l e Protasowicki Tomasz, Modelowanie wartości Earned Value w zarządzaniu projektami Stanik Jerzy z wykorzystaniem podejścia Agile Sienkiewicz Łukasz Koordynacja procesu Scrum Timoszuk Grzegorz Zobaczyć jakość oprogramowania Waszkowski Robert P r e l e g e n c i Chrabski Bartosz, Siara Robert Metody pozyskiwania danych do oceny produktywności poszczególnych członków zespołu projektowego w projektach informatycznych M odel e i metody T e m a t / T i t l e Zastosowanie mechanizmu profili UML w modelowaniu pokrycia architektury aplikacji przez testy Dubielewicz Iwona, Hnatkowska Bogumiła, Huzar Zbigniew, Zwinne praktyki projakościowe a model CMMI Tuzinkiewicz Lech KKIO PL 4 P r e l e g e n c i Wojszczyk Rafał Przegląd obiektowych metryk oprogramowania opartych o statyczną analizę kodu źródłowego Współpraca Nauka Prakty ka T e m a t / T i t l e Bach-Dąbrowska Irena, Uniwersyteckie Centrum Kompetencyjne Technologii Ziółkowski Artur Oprogramowania Bereza Bogdan Technicy oprogramowania potrzebni w IT Dąbrowski Włodzimierz, Stasiak Kształcenie inżynierii wymagań i procesy inżynierii wymagań według Andrzej, Wnuk Krzysztof IREB Wnuk Krzysztof, Bereza Bogdan Współpraca między przemysłem IT oraz uczelniami - szwedzkie doświadczenia KKIO PL 5 Zarządzanie projektami informatyczny mi dojrzałość, metody, narzędzia P r e l e g e n c i Sitek Tomasz, Ziółkowski Artur T e m a t / T i t l e Projekt-czynnik-decyzja. Badanie czynników decyzyjnych w projektach informatycznych i ich wpływu na powodzenie projektów. 16

17 SCR 1 Projektow anie systemów czasu rzeczywistego P r e l e g e n c i Górski Janusz, Turower Alan T e m a t / T i t l e Assessing time effectiveness of trust management in fully synchronised wireless sensor networks Stasiak Andrzej, Laszko Łukasz, An approach to computer aided deployment of a complex critical Zbigniew Zieliński system SCR 2 Woźna-Szcześniak Bożena, SAT-based Bounded Model Checking for Metric Temporal Logic Zbrzezny Agnieszka, and Simply-timed systems Zbrzezny Andrzej Krystosik Artur Martyna Jerzy Rozw ój i zastosow ania P r e l e g e n c i Symboliczny algorytm wyznaczania grafu stanów osiągalnych dla automatów DT CSM Designing a Schedulability Envelope for Radar Tasks Using the LS-SVM Method T e m a t / T i t l e Kołek Krzysztof Development of C-Language real-time controller for Android OS Rosół Maciej, Kołek Krzysztof, Gorczyca Przemysław, Knapik Rapid development of real-time applications for ARM Cortex A9 Dawid Piątek Marcin, Turnau Andrzej Gait control algorithms for a six-legged walking robot based on oscillators Jamro Marcin, Rzońca Dariusz, Sadolewski Jan, Stec Andrzej, Current functionalities of CPDev programming environment Świder Zbigniew, Trybus Bartosz, Trybus Leszek SCR 3 Żorski Witold Detekcja ruchu w obrazach z monitoringu w warunkach terenowych Impl ementacje i oprogramow anie P r e l e g e n c i T e m a t / T i t l e Cyrulik Tomasz, Rzońca Dariusz, Monitorowanie obiektów rozproszonych przy użyciu sterownika Stec Andrzej, Trybus Bartosz StTr-760-PLC według struktur tworzonych w systemie CPDev Łaba Marcin, Rzońca Dariusz, Szopa Łukasz, Trybus Bartosz, Prototyp programowalnego systemu kontrolno-pomiarowego Wszoła Kamil SCR 4 Zwonarz Wojciech Trajectory Planing and Path Tracking in Real Time Kogut Krzysztof Real-time MR damper control strategies in a car suspension Zabezpieczenia przemy słow e i sieci P r e l e g e n c i Kowalik Ryszard, Kobler Denis T e m a t / T i t l e Expert Fault Analysis System for power transmission/distribution networks Kowalik Ryszard, Januszewski Marcin, Gontarz Kamil, Power system protection devices remote control Rasolomampionona Desire, Bartosiewicz Emil Klejment Jarosław, Kowalik Zastosowanie IEC do wykonania układu zabezpieczeń szyn Ryszard, Januszewski Marcin zbiorczych strony SN stacji 110kV/SN 17

18 Błażej Adamczyk, Hafed Zghidi Badanie efektywności obsługi żądań sieciowych w systemach IBM iseries oraz x86 Krzysztofiński Jacek, Hołota Samochodowy komputer pokładowy na platformie Android Bartłomiej, Rzońca Dariusz SMI 1 Sy stemy decy zyjne P r e l e g e n c i T e m a t / T i t l e Telemonitoring pacjentów z przewlekłymi schorzeniami układu Cacko Andrzej, krążenia Anno Domini 2013 wyzwania, możliwości i doświadczenia Grabowski Marcin własne Hanzlik Lucjan, Tabor Michał Inteligentny papier w informatyzacji procesów administracji publicznej Kopacz Agata, Kozłowski Marek, An automatic classification of the questionnaire of reviewers Protasiewicz Jarosław, and applicants Stanisławek Tomasz SMI 2 Analiza dany ch P r e l e g e n c i T e m a t / T i t l e Jankowski Jarosław, Gibert The Classification of Text Documents by Using Latent Semantic Marcin, Śmiałkowska Bożena Analysis for Extracted Information SMI 3 Kaczmarek Paweł Comparison and Analysis of Service Selection Algorithms Nowakowski Michał Application of the Gnuplot program to data visualization in Business Intelligence systems Brzuszek Marcin, Dense Matrix-Vector and Matrix-Matrix Multiplication on GPU Stpiczynski Przemysław Clusters Al gory tmizacja i reprezentacja w iedzy P r e l e g e n c i T e m a t / T i t l e Borkowski Piotr Adaptive ship course-keeping algorithm based on a knowledge base Adam Czarnecki, Tomasz Sitek SMI 4 Jankowska Małgorzata Ontologie vs. reguły porównanie metod reprezentacji wiedzy na przykładzie dziedziny zarządzania usługami informatycznymi Application of an Interval Backward Finite Difference Method for Solving the One-Dimensional Heat Conduction Problem Mikulski Łukasz, Visualisation of Concurrent Processes Piątkowski Marcin, Sesja M łody ch Naukow ców P r e l e g e n c i Dylon Dorota T e m a t / T i t l e Crowdsourcing korzyści i zagrożenia dla społeczeństwa informacyjnego Na wstępie powiem, na czym polega orientacja marketingowa na klienta, czyli budowanie trwałej, pozytywnej relacji z odbiorcą produktów danej firmy, poprzez ciągłe badanie poziomu jego zadowolenia. Następnie wyjaśnię pojęcie crowdsourcingu jako sposobu komunikowania się organizacji z konsumentami. Powiem o jego genezie, etapach oraz rodzajach. Postaram się wskazać kilka ciekawych przykładów firm, które skorzystały z rosnącego wykorzystania Internetu przez konsumentów, głównie z chęci wypowiedzenia się na temat produktów/projektów danej firmy. Kolejna część prezentacji będzie dotyczyła omówienia zalet i wad crowdsourcingu. Dokonam ich zestawienia i podsumuję przedstawione informacje. 18

19 Grzesiak Mateusz Wybór optymalnej struktury sieci zaopatrzenia w wodę w wybranej gminie analiza empiryczna Struktura sieci zaopatrzenia w wodę w wielu regionach Polski była tworzona wiele lat temu i odzwierciedla zapotrzebowanie na ten surowiec sprzed kilku dekad. Transformacja gospodarki jaka dokonała się na przestrzeni ostatnich prawie 25 lat spowodowała, iż dawny układ połączeń wodociągowych nie spełnia wszystkich wymagań obecnej rzeczywistości. Dodatkowo inwestycje w tym zakresie ograniczały się raczej do odtwarzania istniejącej struktury bądź dołączania do niej nowych połączeń. Autor wystąpienia proponuje użycie metod optymalizacyjnych w dedykowanych systemach informatycznych do zoptymalizowania struktury sieci wodociągowych oraz weryfikacji planów inwestycyjnych w tym zakresie na przykładzie wybranej gminy. Hoffmann Tomasz Finding Optimal Numerical Solutions in Interval Versions of Central- Difference Method for Solving the Poisson Equation Kozyra Tomasz Zjawisko Big Data jako nowe światło dla analityki biznesowej Lemke Justyna Zastosowania symulacji komputerowej w modelowaniu alokacji zasobów produkcyjnych 19

20 Publikacje naukowe Control and Cybernetics Journal (w trakcie recenzji) A u t or z y T y tuł ar ty kuł u Piotr Borkowski Adaptive ship course-keeping algorithm based on a knowledge base The article presents an original adaptive ship course-keeping algorithm based on a knowledge base. Its integral part is a computer ship movement dynamical model based on a set of signals obtained from the object s input and output. In this way problems occurring while designing classic control algorithms for a complex, non-linear ship model have been avoided. Approximators utilizing base functions of the model were used for model adaptation. The presented methodology is general in the sense that it can be also applied in other ship control tasks or other dynamic objects. The proposed intelligent coursekeeping system has been verified via simulation. Małgorzata A. Jankowska, Application of an Interval Backward Finite Difference Method for Solving Andrzej Marciniak, the One-Dimensional Heat Conduction Problem Tomasz Hoffmann The paper concerns the interval method for solving the one-dimensional heat conduction problem. It is based on the conventional backward nite difference scheme with the appropriate local truncation error terms that are also taken into account. For the theoretical formulation of the interval approach we can show that the exact solution is included in the interval one. In practice there are problems such that we cannot determine the endpoints of the error term intervals exactly. Nevertheless, if we use the appropriate approximation related to the endpoints considered, then the numerical experiments conrm that the interval solution includes the exact one. Marcin Piątkowski, Visualisation of Concurrent Processes Łukasz Mikulski Mazurkiewicz traces are widely used model of describing the languages of concurrent systems computations. The causal structure of atomic actions occurring in a process modeled as a trace generates a partial order. Hasse diagrams of such order are very common structures used for presentation and investigation in the concurrency theory, especially from the behavioural perspective. We present effective algorithms for Hasse diagrams construction and transformation. Later on, we use them for enumeration of all linearisations of the partial order that represents a concurrent process. Additionally, we attach the exible visual implementation of all considered algorithms. 20

21 Zeszyt naukowy Ekonomiczne problemy usług. E-gospodarka. Problemy, metody, aplikacje A u t or z y T y tuł ar ty kuł u Andrzej Cacko, Telemonitoring pacjentów z przewlekłymi schorzeniami układu krążenia Marcin Grabowski Anno Domini 2013 wyzwania, możliwości i doświadczenia własne Zwiększający się odsetek osób w wieku podeszłym i poprawa rokowania osób z ostrymi stanami kardiologicznymi skutkuje coraz większą częstością występowania przewlekłych schorzeń układu. Przy ograniczonych zasobach narzuca to konieczność stałej optymalizacji systemu opieki zdrowotnej. Jednym z podstawowych obciążeń systemu opieki zdrowotnej są koszty wielokrotnych hospitalizacji osób z przewlekłymi schorzeniami. W prewencji hospitalizacji znajdują zastosowanie rozwiązania telekomunikacyjne umożliwiające telemonitoring parametrów stanu zdrowia. Długoterminowa ocena zmian prostych parametrów funkcji życiowych i masy ciała pozwala zmniejszyć ryzyko hospitalizacji chorych z przewlekłą niewydolnością serca, pod warunkiem szybkiego rozpoznania zagrożenia. Telemonitoring jest skuteczny w szczególnych grupach chorych, jak ocena glikemii u chorych z cukrzycą, czynności elektrycznej serca u pacjentów rehabilitowanych kardiologicznie lub obciążonych arytmią. W I Katedrze i Klinice Kardiologii Warszawskiego Uniwersytetu Medycznego prowadzony jest telemonitoring pacjentów z implantowanym kardiowerterem-defibrylatorem. Jest to grupa chorych szczególnie dużego ryzyka hospitalizacji i nagłej śmierci sercowej. Doświadczenia własne Zespołu wskazują na korzyść z telemonitoringu chorych w postaci wcześniejszego rozpoznania objawów pogorszenia stanu klinicznego. Adam Czarnecki, Ontologie vs. reguły porównanie metod reprezentacji wiedzy Tomasz Sitek na przykładzie dziedziny zarządzania usługami informatycznymi Tekst stanowi krótki przegląd wybranych konstrukcji służących reprezentacji wiedzy w postaci ontologii opartych na logice opisowej i porównanie ich z odpowiednikami opartymi na zapisie regułowym. Z powodu ograniczonej liczby stron pokazano tylko elementy związane z reprezentacją konceptów, bez uwzględniania ról. Do zapisu ontologii wykorzystano formalizmy języka OWL, zaś reguły wyrażono w Prologu. Dla lepszego zilustrowania tych dwóch sposobów reprezentacji wiedzy posłużono się przykładami z dziedziny dobrych praktyk zarządzania usługami informatycznymi zawartymi w zbiorze publikacji znanej pod nazwą Information Technology Infrastructure Library (ITIL). Celem porównania jest zbadanie możliwości wykorzystania podejścia ontologicznego w sytuacji, w którym użycie rozwiązań bazujących na regułach stanowi problem. Tomasz Kozyra Zjawisko Big Data jako nowe światło dla analityki biznesowej We współczesnych systemach informatycznych dochodzi do swoistej eksplozji danych, która przyczynia się do wyodrębnienia zjawiska noszącego miano Big Data. W artykule zarysowano ten fenomen oraz determinujące go cechy takie jak ekonomika, zagadnienia funkcjonowania danych oraz aspekty technologiczne. Omówiono główne różnice pomiędzy tradycyjnymi środowiskami analitycznymi, realizowanymi w platformach business intelligence, a analityką Big Data oraz uwarunkowania ich współistnienia. Przedstawiono także potencjał analityki Big Data z punktu widzenia przedsięwzięć gospodarczych oraz towarzyszące mu bariery i szanse płynące z realizacji tej formy analityki w systemach rozproszonych na przykładzie chmur obliczeniowych. Justyna Lemke Przesłanki zastosowania symulacji komputerowej w modelowaniu alokacji zasobów produkcyjnych Podejmowanie decyzji dotyczących alokacji zasobów produkcyjnych jest bardzo trudne ze względu na ich wielopłaszczyznowy charakter a także dynamikę przedsiębiorstwa i jego otoczenia. Istotą procesu przydzielania zasobów nie jest wyłącznie konstatacja teraźniejszości, czy też zdarzeń minionych, ale przede wszystkim znajomość skutków planowanych działań i na tej podstawie wybór pożądanej opcji. Z tego względu wskazane jest, aby w tym procesie posługiwać się metodami pozwalającymi na generowanie informacji o spodziewanych efektach wdrożenia poszczególnych scenariuszy alokacyjnych. W artykule dokonano analizy przesłanek, które powodują, że metoda symulacji komputerowej w konwencji dynamiki systemowej spełnia ten warunek, a ponadto zaprezentowano przykład modelu, za pomocą którego możliwe jest testowanie różnych scenariuszy w zakresie przydziału pracowników do jednostek produkcyjnych. 21

22 Tomasz Stanisławek, Jarosław Protasiewicz, An automatic classification of the questionnaire of reviewers Marek Kozłowski, and applicants Agata Kopacz This paper presents classification of texts of an open-ended questionnaire using machine learning methods in order to speed up and reduce the costs of a questionnaire's analysis. Firstly, we discussed various multi-label classifiers which are responsible for labeling answers to open-ended questions. Next, in the classification experiments, we used the MNB and SVM methods, which obtained an average precision of about 77% and an average recall of about 55%. The experiments involved many model improvements (granularity of answer, spelling corrections and Polish keywords extraction, SVM classier parameter optimization using differential evaluation algorithm), which lead us to achieve better results than the baseline classifier. The proposed methods are applied in order to automatically label answers to open-ended questions. Our findings are the following: we obtained useful knowledge which leads to better process of reviewers selection; we speeded up analysis of questionnaires by using machine learning algorithms, however the experts are still needed for models improvement and tuning. Michał Tabor, Lucjan Hanzlik Inteligentny papier w informatyzacji procesów administracji publicznej Według zapowiedzi wizjonerów informatyzacji w najbliższych latach dokument papierowy powinien odejść do lamusa zarówno w działaniach administracji publicznej jak i w codziennych przyzwyczajeniach obywateli. Rzeczywistość jest taka, że papier od wielu wieków jest obecny w procedurze, przyzwyczajeniach ludzi i każdy wie jak postępować z dokumentami papierowymi i dodatkowo należy zauważyć, że przeniesienie się tylko na przetwarzanie komputerowe stwarza bariery wykluczenia społecznego. Czy to nie oznacza, że informatyzujemy na darmo bo ludzie zawsze będą używali papieru? Proponujemy rozwiązanie prawno-techniczne, umożliwiające każdemu obywatelowi dowolny wybór formy, w jakiej dokument elektroniczny będzie przechowywać w domu. Każdy dokument, który ma pierwowzór elektroniczny może być przechowywany, w postaci, która jest wygodniejsza i bezpieczniejsza dla użytkownika wydrukowany lub zapisany na nośnikach elektronicznych. Warunkiem koniecznym rozwiązania jest to, aby wydrukowany dokument mógł być uznawany jako równoważny z oryginałem, weryfikacja jego była łatwa i nie wymagała specjalistycznego sprzętu, natomiast uzyskanie pierwotnej postaci elektronicznej wymagało jedynie dostępu do Internetu. 22

23 Monografie: Zeszyty Rady Naukowej Polskiego Towarzystwa Informatycznego Monographies: Scientific Papers of the Polish Informations Processing Society Scientific Council Data Analysis. Selected Problems, Scientific Editors: dr hab. prof. US Małgorzata Łatuszyńska, dr hab. inż. prof. US Kesra Nermend, ISBN A u t or z y T y tuł r oz dz i ał u Tomasz Hoffmann, Finding Optimal Numerical Solutions in Interval Versions Andrzej Marciniak of Central-Difference Method for Solving the Poisson Equation In the paper the problem of finding optimal numerical solutions for the Poisson equation is considered. The main aim of that work is to find optimal step size for interval versions of central-difference method. We present the study of the dependency between number representations and numerical errors in the case when all calculations are performed in proper and directed interval arithmetic, where the measure of errors is the width of intervals. In order to execute experiments with different internal representations of floating-point numbers the MPFR (GNU Multiple Precision Floating-Point Reliably) library has been used. Paweł Kaczmarek Comparison and Analysis of Service Selection Algorithms In Service Oriented Architecture, applications are developed by integration of existing services in order to reduce development cost and time. The approach, however, requires algorithms that select appropriate services out of available, alternative ones. The selection process may consider both optimization requirements, such as maximization of performance, and constraint requirements, such as minimal security or maximum cost. The selection problem has NP-hard computational complexity in the general case, which causes the necessity to use approximate algorithms. The paper compares existing algorithms and identifies algorithm characteristics. The algorithms are based on two main processing models: the graph model using multiconstraint optimal path selection and the combinatorial model using 0-1 multidimensional multichoice knapsack problem. Computational complexity and accuracy were considered in the analysis using both theoretical calculations and known experimental results. Algorithms use typically some simplifications during processing, which may cover either filtering out potential solutions or a simplified application structure. Additionally, specific features of algorithms were identified: dynamic adaptation of service selection during execution and application of artificial intelligence methods. Michał Nowakowski Application of the Gnuplot program to data visualization in Business Intelligence systems The article presents the Gnuplot program as a graphical tool to visualize business data. The publication contains a description of the program and the basics of working in it and also focuses on the different ways of data visualization and their characteristics. The paper presents an example visualization of selected criteria analysis of information architecture and qualitative methods using Portfolio diagram. The main objective of criteria analysis was selection for the best method to assess the quality of information architecture for web portals in order to evaluate navigation ways. For this task has been selected a popular and widely used multi-criteria AHP method and as an example of navigation ways was chosen the YellowPages.pl portal. This article also discusses Business Intelligence systems in the context of application of the Gnuplot program in the module designed for information presentation and visualization. Anna Sasak-Okoń, Graph modeling as a support technique for speculative computations Marcin Brzuszek in multiple query Speculative execution is a relatively new parallelization method, which is now broadly used in computer science. In our previous papers, we present a parallelization method for a specific group of database problems based on speculative computations. It is about database systems which are expected to give answers to complex but structurally similar queries coming from different sources as soon as possible. We introduce the idea of speculative computations in database and present possible risks and benefits of using this method. We also present a simple notation based on a relational algebra which we use to estimate execution costs. The following paper describes in details the process of graph modeling for the database itself and also rules of graph modeling for groups of queries in order to initiate speculative computations. We created a set of rules which we use to build graphs representing a relational database, a single SQL query and finally a group of consecutive queries. Additionally a metric which characterize a query graph is introduced. The described graph model was put into practice for a representative group of queries and a model database which structure is typical for shop applications. 23

24 Bożena Śmiałkowska, The Classification of Text Documents by Using Latent Semantic Analysis for Marcin Gibert, Extracted Information Jarosław Jankowski In this paper attention is paid to the problem of classification of text documents. The quality measures of classification have been discussed together with the common technics of analyzing text documents. Main goal of this paper is the integration of different technics, which are increasing the quality of classification with the Latent Semantic Analysis and are based on the information extracted from a text. Advances in Software Development, Scientific Editor: dr hab. Jakub Swacha, ISBN A u t or z y Barbara Begier Using Scrum or Scrumbuts? T y tuł r oz dz i ał u The increasing popularity of Scrum, a framework for developing software products, bears a need to train students in using this agile methodology at the faculty of computing. The described experience refers to students software projects implemented using Scrum development process. The aim of the presented paper is to show what elements of Scrum methodology are easy to be applied (not only by students in their projects) and, on the other hand, those which diverge from Scrum in practice. The real life experiences, their results and conclusions drawn during project classes and supervising progress in student s dissertation are presented in the paper. Leszek Borzemski, Michał Danielak, Spatio-Temporal Evaluation and Forecasts of Web Applications Anna Kamińska- Performance Chuchmała This paper presents a novel geostatistical approach in Web engineering that allows not only to evaluate, but also to forecast Web applications performance. The approach presented in this paper can be used for two purposes: the first, to find (or forecast) which of the considered web servers are running web applications in the most efficient way and the second, to check (or forecast) if an evaluated web software meets given performance criteria. The first part of this paper briefly elucidates two geostatistical methods used in this research: the Turning Bands Method and Sequential Gaussian Simulation. The second part characterises the multiagent system MWING, a software solution that by conducting active measurements collects data necessary for analysing, evaluating and forecasting Web applications performance. The final part commences with data analysis that is followed by presenting sample forecasts of evaluated web applications performance during the first week of December, Patryk Czarnik, Jacek Chrząszcz, CoJaq: a hierarchical view on the Java bytecode formalised in Coq Aleksy Schubert Formalisation of the Java bytecode is difficult as it consists of around200 instructions. However, a rigorous handling of metatheoretic properties of aprogramming language requires a formalism which is compact in size. Therefore,the actual Java bytecode instruction set is never used in the context. Instead, theexisting formalisations usually cover a representative set of instructions. Thispaper describes a design of formalisation that provides a concise set of abstract,generic instructions that can be specialised to obtain any particular bytecode in-struction. In this way one can work with a manageable set of instructions to provegeneral facts about the Java bytecode, but at the same time all the bytecode in-structions are available to enable direct verification of actual bytecode programs.a considerable part of the design has been realised in Coq proof assistant. Anna Derezińska, Piotr Trzpil Mutation testing of ASP.NET MVC Mutation testing deals with assessing and improving quality of a test suite for a computer program. The range and effectiveness of the method depends on the types of modifications injected by mutation operators. We have checked whether mutation testing technique can be used to evaluate test cases for ASP. NET MVC-based web applications. Several new specific mutation operators were created and discussed. The operator judgment was experimentally verified with the mutation tool implementing the operators in the Common Intermediate Language (CIL) of.net. The results show that mutation testing can be successfully applied to an application running on a web server, but execution times of functional tests can be long. 24

25 Marek J.Greniewski From relatively isolated system to object approach the story of system development & modeling The very first theoretical approach to the principle of systems and processes modeling named relatively isolated system was presented by Henryk Greniewski in Farther development of the idea was an introduction of kind of object techniques to design an information system for Ericson company by Ivar Jacobson about The first implementation of relatively isolated system in computer programming was carried out for Simula 67 simulation language. Smalltalk (1976) brought in genuine breakthrough into implementation of the object ideas into programming languages. Graphical object language like UML is a computer aided tool for systems and processes modeling, developing the prime ideas of relatively isolated system. Bogumiła Hnatkowska, Test case generation on the base of business rules described in structural Radosław Tumidajewicz natural language Requirement specification is a key artifact in any software development process. Among others, it may include business rules written in natural language. Requirement specification is the basis for a design and coding of a software system. It is also used for preparing tests which verify a software product against different kinds of requirements. Testing artifacts include also test cases, mainly created by testers who interpret requirement specification for that purpose. In the paper an approach to automatic generation of test cases is presented. The test cases are created on the base of business rules expressed in a structured natural language, more specifically in SBVR notation. A tool developed for that generates abstract test cases expressed in natural language or tabular form for a selected subset of business rules (constraints for attributes values and multiplicity of associations). Generated test cases are assumed to support a tester in creation concrete test cases which can be applied for manual or automatic tests. Mariusz Jarocki, Artur Niewiadomski, Wojciech Penczek, PlanICS a web service composition system Agata Polrola, Maciej Szreter Distributed web services with well-defined interfaces enable building complex functionalities from simpler ones. An automatic web service composition prepares an execution plan specifying how to reach a given goal, fitting the services together and choosing an optimal provider for each required service type. PlanICS 2.0 is a web service composition system implementing our original approach aimed at providing flexibility at the level of modelling the reality in which the web services operate, and enabling to handle the services that do not publish their internal semantics, but communicate only by simple query/answer entries. PlanICS 2.0 separates between an abstract and a concrete planning phase, where the former deals with service types while the latter with their concrete instances, thus making the matching more efficient. Another distinguishing feature of the system consists in defining a computation engine as an independent block, which enables to compute plans using any suitable approach. Currently, two engines, based on a genetic algorithm and an SMT-solver, have been implemented. The paper presents PlanICS 2.0 at a general level, comparing it also to related solutions from the area of automated web service composition. Szymon Kijas, The decision making model for design of service - oriented systems Andrzej Zalewski The evolution of service-oriented systems is an intensive process of modifications, additions and removals of services and their compositions, driven by ever changing business requirements. As such systems rarely reach a stable state and are subject to many changes during their lifetime, documenting these changes and their rationale can facilitate making further changes and extensions. In this paper, we present a model for capturing architectural decisions specially tailored for documenting the evolution of service-oriented systems. It follows an intuitive process of decision-making during the evolution of services and their compositions. It enables architectural decisions made during a single evolution step to be traced, and allows changes made to artefacts developed in earlier evolution steps to be documented. Our model includes the set of relations that allow for the auto-detection of previous decisions, which could then be reused when implementing the change. Additionally, the set of relations provides a mechanism for tracing changes of requirements and identifying the impact of such changes. The model has been validated on a real world example. Antoni Nowakowski, The model of a mobile system of patient condition monitoring utilizing the Abdullah Zair NFC technology The paper presents select elements of a model of a smart mobile system used to monitor a patient s condition. The use of SIM cards equipped with the NFC technology (Near Field Communication) is presented as an intermediate layer ensuring problem-free constant transmission of an independent medical measurement as well as the safety of gathered patient data. The model of communication integration of the mobile system with diagnostic health care centers is also discussed. 25

26 Michał Prostko, Automated virtual machine system preparation using template Krzysztof Bielawski contextualization Deploying large amount of virtual machines with customized operating systems might be difficult. We proposed a paper which shows a new approach to automated and unattended virtual machine deployment with operating system contextualization. It s done by providing predefined template file with actions required to prepare operating system such as: - Preparing completely fresh operating system using system preparation tools - Configuration of network, system settings - Installation of Microsoft Windows Server roles - Installation of additional software (for example Microsoft Exchange Server or Microsoft SQL Server) - Installation and configuration of additional services such as web server or file server System preparation is completely independent of used hypervisor. It requires an attached CDROM drive to virtual machine with a template file. This file uses popular JavaScript Object Notation (JSON) format to define system preparation actions. Whole process is initiated and handled by a system service during first boot. Proposed concept can be easily integrated with virtual machine deployment systems giving fully automated machine creation with chosen system settings. Tomasz Straszak, Michał Śmiałek Acceptance test generation based on detailed use case models Tests performed in order to verify compliance of a software system with customer expectations cover different areas. Some of them verify the functionality, other the business domain logic, the non-functional characteristics or the user interface. Usually they are done separately, but on the same functional areas. This paper presents the concept and the Requirements Driven Software Testing (ReDSeT) tool, which allows for automatic integrated test generation based on different types of requirements. Tests are expressed in newly introduced Test Specification Language (TSL). The basis for functional test generation are detailed use case models. Furthermore, by combining different types of requirements, relations between tests are created. Walery Susłow, Prevention of conceptual errors in the system design Michał Statkiewicz The authors analyzed their experience in the running graduate student team projects of non-large scale information systems (IS) based on the domain-driven design approach and the Iconix methodology. The project failures documented clearly indicate the need of an improvement of the conceptual layers of software design because conceptual errors have significantly decreased the quality of the software designed and have extended the duration of the project. The suggested organizational and methodological solution to this problem is a mandatory concept mapping of the interest area of the project and a mandatory maintaining of a checklist that has specially been designed for the detection of the selected categories of conceptual errors. Additionally, a rich image of the general IS concept and a problem domain glossary are recommended. The authors anticipate that the proposed set of tools will result in streamlining of the educational design process. Jakub Swacha, Managing the adaptation of open-source software: the examples of Karolina Muszyńska, BalticMuseums 2.0 and BalticMuseums 2.0 Plus Zygmunt Drążek The acquisition of open-source software often includes a non-trivial adaptation of existing solutions. In this paper we would like to provide some suggestions on how the process of adaptation should be managed based on our observations from devel-opment of two international projects: BalticMuseums 2.0 and BalticMuseums 2.0 Plus. We discuss an updated version of our framework for open-source software acquisition that gives due focus to the process of software adaptation and relate how this approach proved in real-world conditions during the development of the two aforementioned projects. Kamil Szczygieł, Controlling KVM virtual machine guest with VirtIO Krzysztof Bielawski The VirtIO-Serial, also known as VMchannel is a transport mechanism needed for communication between host and guest. It exposes multiple ports to the guest in form of simple devices for IO operations. The VirtIO-Serial is currently used in such projects as Matahari, SPICE, libguestfs or Anaconda, providing the following features: -Communication channel between host and guest even if network is not available (or guest machine is in different VLAN), -Applications can use this channel to achieve better guest-host cooperation. For example SPICE uses it to provide clipboard copy/paste, -Determining the host shutdown to gracefully shutdown virtual machines running on this host, -Fetching virtual machine system information. The above solutions provide functionality by harnessing VirtIO on the both - Linux and Windows platforms. However, further scope of virtual guest machine control is possible and we proposed a solution which exploits this opportunity. The paper discusses the use of agent architecture for guest virtual machine with centralized management console for hosts, which run KVM virtualized environment, and depicts the cases where the use of VirtIO-Serial delivers the following benefits: -Remote Desktop Services control adding new applications, granting and revoking user permissions, -Application control installing and uninstalling applications, -VM Life cycle graceful shutdown of virtual machines in case of a host going down, reboot or upon shutdown commands, -Performance monitor gathering, -Workflow orchestrating running predefined workflows to complete operations such as preparing system (sysprep), network configuration, role installation. 26

27 Bartosz Wilk, Software for escience: from feature modeling to automatic environment Marek Kasztelnik, setup Marian Bubak To increase our productivity when setting up various software environments, we try to reduce the complexity of configuration tasks by managing components at different levels of abstraction and by automating the process. This is particularly important (in terms of performance) when the configuration is not the direct objective of our activity. When deploying environments for escience applications the researcher's main interest lies in executing experiments and obtaining results, not in tedious fine-tuning of the computational platform itself. Tackling the challenge of automatically setting up environments for in-silico experiments is the main motivation behind the discussion presented in this work. When facing such a task, clear representation and processing of component dependencies poses a challenge. In this work the Feature Model notation, popular in the Software Product Line methodology and successfully applied to configuration modeling, is examined for this purpose. This paper presents a feasibility study of applying the Feature Model to develop tools for automatic environment configuration using a prototype implementation. The presented discussion has led the authors to further extend this idea, covering a wider range of applications. The paper describes the architecture of an extensible framework automating various deployment and component installation tasks based on the Feature Model. Michał Żebrowski, SOA System Evolution Differential Evaluation Andrzej Ratkowski The paper describes evaluation of SOA implementation in an organization that consist of two parts - mobile and fixed telecommunication operator. Both parts started to implement SOA in one point of time using similar procedures and principles. After a few years of implementations both parts reached different levels of SOA maturity and different results of SOA rollout. In the paper is presented differential evaluation of these implementations. On the basis of the case are examined critical success factors of SOA implementations and some general observations are concluded. Zarządzanie projektami i modelowanie procesów, redakcja naukowa: prof. dr hab. Zdzisław Szyjewski, dr Karolina Muszyńska, ISBN A u t or z y T y tuł r oz dz i ał u Iwona Dubielewicz, Bogumiła Hnatkowska, Zwinne praktyki projakościowe a model CMMI Zbigniew Huzar, Lech Tuzinkiewicz W artykule przeprowadzono identyfikację praktyk stosowanych w metodykach zwinnych, które mogą wspierać procesy cyklu życia oprogramowania związane z zapewnieniem jakości. Zbiór zidentyfikowanych praktyk został ulokowany na poszczególnych poziomach modelu dojrzałości CMMI. Alokacja rozpatrywanych praktyk skupia się głównie na drugim i trzecim poziomie. Tomasz Protasowicki, Modelowanie wartości Earned Value w zarządzaniu projektami Jerzy Stanik z wykorzystaniem podejścia Agile. Część 1 - Opis dla potrzeb symulacji. Autorzy przedstawili koncepcję modelowania wartości Earned Value w projektach zarządzanych z wykorzystaniem metodyk zwinnych. Ze względu na rozległość poruszanych kwestii praca została podzielona na dwa artykuły. W niniejszym artykule stanowiącym część 1 - opis dla potrzeb symulacji, autorzy dokonali przeglądu metody Earned Value (EVM) pod kątem możliwości jej zastosowania w projektach IT bazujących na nowoczesnych metodach zarządzania opartych na filozofii Agile. Przedstawione treści objęły sformułowanie potrzeby modyfikacji metody EVM w kontekście problemu zarządzania projektami zgodnie z tą filozofią. Zaprezentowano również podstawy związane z podejściem Agile w zarządzaniu projektami. Autorzy zaproponowali modyfikacje polegające na zmianach w sposobie kalkulacji zmiennych klasycznego modelu EVM umożliwiające jego przekształcenie do wersji uwzględniającej specyfikę projektów Agile tj. AgileEVM. 27

28 Tomasz Protasowicki, Modelowanie wartości Earned Value w zarządzaniu projektami Jerzy Stanik z wykorzystaniem podejścia Agile. Część 2 - Model symulacyjny. W artykule opisano koncepcję modelowania wartości Earned Value w projektach zarządzanych z wykorzystaniem metodyk zwinnych. Ze względu na rozległość poruszanych kwestii praca została podzielona na dwa artykuły. W artykule stanowiącym część 1 - opis dla potrzeb symulacji, autorzy zaproponowali zmiany w sposobie kalkulacji zmiennych klasycznego modelu EVM umożliwiające jego przekształcenie do wersji uwzględniającej specyfikę projektów prowadzonych w oparciu o metodyki zwinne tj. AgileEVM. W niniejszym artykule stanowiącym część 2 - model symulacyjny, zaproponowano podejście integrujące w ramach jednego modelu aspekty związane m.in. z: przebiegiem procesów wytwórczych według Scrum oraz kalkulacją zmiennych AgileEVM. Autorzy zbudowali model symulacyjny i poddali go badaniu na podstawie danych zebranych przez siebie w trakcie realizacji licznych projektów IT. Uzyskane wyniki umożliwiły stwierdzenie, że zaproponowana metoda pozwala opracować modele symulacyjne, które mogą być doskonałym narzędziem służącym do badania przebiegu projektów IT zarządzanych w oparciu o metody zarządcze wywodzące się z ruchu Agile. Zaproponowany model symulacyjny stanowi własną propozycję autorów i uwzględnia oprócz elementów skupionych wokół aspektów związanych z kalkulacją AgileEVM również elementy dotyczące wpływu prawidłowego doboru członków zespołu na przebieg procesów produkcyjnych oraz inne zagadnienia znane z zarządzania projektami IT. Tomasz Sitek, Projekt-czynnik-decyzja. Badanie czynników decyzyjnych w projektach Artur Ziółkowski informatycznych i ich wpływu na powodzenie projektów Celem artykułu jest wskazanie przez autorów na konieczność pogłębienia, usystematyzowania oraz skodyfikowania wiedzy teoretycznej i praktycznej dotyczącej zarządzania projektami informatycznymi w obszarze podejmowania decyzji kierowniczych. Zakres podejmowanych decyzji przez kierowników podlega stałemu przyrostowi. Kierownicy projektów podejmują decyzje już nie tylko w ramach klasycznego trójkąta ograniczeń, na który składa się harmonogram, budżet i zakres projektu, ale również w ramach wielu innych problemów występujących podczas realizacji projektów. Zauważona potrzeba wyodrębnienia i zdefiniowania wszystkich czynników występujących w projektach ma doprowadzić do identyfikacji skończonego zestawu czynników decyzyjnych oraz samych decyzji, a następnie do określenia ich wzajemnych korelacji. Grzegorz Timoszuk Zobaczyć jakość oprogramowania Za podstawę organizacji oprogramowania uznaje się powszechnie architekturę systemu informatycznego. Spełnia ona szereg istotnych funkcji, m.in. opisuje składniki oprogramowania i relacje pomiędzy nimi oraz przedstawia sposób, w jaki system informatyczny integruje się z innymi systemami. Architektura systemu powinna również opisywać zasady regulujące proces rozwoju oprogramowania. Aby móc sprawnie zarządzać procesem wytwórczym skomplikowanego oprogramowania, konieczne jest z punktu widzenia architekta stworzenie całościowego modelu oprogramowania, najlepiej zintegrowanego z narzędziami do ciągłej integracji i pozwalającego weryfikować wszystkie artefakty systemu. Z reguły wraz ze wzrostem systemu następuje wzrost komplikacji jego architektury. W poprzednich pracach został zaproponowany grafowy model pozwalający na gromadzenie informacji o wszystkich artefaktach oprogramowania. W niniejszym artykule przedstawiona zostanie metoda wizualnej prezentacji oprogramowania, która umożliwia szybką ocenę jakości danego oprogramowania. W dokonanej analizie wykorzystane będzie oprogramowanie stworzone w obiektowym języku programowania Java. Ocena będzie prowadzona na widokach zawierających klasy i relacje pomiędzy nimi, gdyż są one najważniejsze z punktu widzenia zapewnienia jakości. Zwizualizowane klasy będą posiadały dwie podstawowe własności: rozmiar (przedstawiający ważność klasy w systemie) oraz kolor (obrazujący jakość klasy w sensie metryk oprogramowania). Celem takiej prezentacji jest dostarczenie architektowi (lub innym członkom projektu informatycznego) łatwej i szybkiej metody całościowej oceny jakości systemu oraz wskazanie elementów systemu wymagających największej uwagi. Zaprezentowane w pracy badania zostały przeprowadzone na projektach open source różniących się zarówno rozmiarem, jak i poziomem skomplikowania. Jan Trąbka Analiza procesów workflow jako narzędzie opisu wymagań funkcjonalnych propozycja metodyki (pełny) Narzędzia informatyczne wspierające automatyzację procesów pracy, w szczególności nakierowanej na przetwarzanie informacji i decyzji, nazywane systemami workflow, stają się obecnie najpopularniejszymi obszarami wdrożeń informatycznych w przedsiębiorstwach, również średnich i małych (MŚP). Aby dobrze przygotować się do projektu wdrożeniowego systemu workflow przedsiębiorstwo powinno uporządkować i opisać procesy biznesowe. Opisane procesy są podstawą do zdefiniowania wymagań funkcjonalnych wobec docelowego systemu informatycznego. Referat skupia się na procesie analizy biznesowej realizowanej w przedsiębiorstwach produkcyjnych, dystrybucyjnych oraz usługowych z sektora MŚP. Celem referatu jest propozycja metodyki, która dzięki swej prostocie i wykorzystaniu standardowych, ogólnodostępnych narzędzi mogłaby zostać wykorzystana do analizy wykonanej wewnętrznymi siłami MŚP, których z założenia nie stać na zatrudnianie zewnętrznych ekspertów, drogie metodyki komercyjne czy specjalistyczne narzędzia informatyczne. Główne perspektywy analityczne proponowanej metodyki są zgodne z podejściem strukturalnym (dane i procesy). Metodyka uwzględnia również cztery dodatkowe perspektywy specyficzne dla systemów workflow, a mianowicie: struktury organizacyjnej, struktury lokalizacyjnej, reguł biznesowych oraz pojęć. W referacie zaproponowano narzędzia analityczne i informatyczne wykorzystywane w poszczególnych perspektywach. Na zakończenie przedstawiono zastosowanie metodyki w analizie procesów przykładowej organizacji. 28

29 Robert Waszkowski Metody pozyskiwania danych do oceny produktywności poszczególnych członków zespołu projektowego w projektach informatycznych Kierownik projektu, w projektach informatycznych, zwykle dysponuje zespołem złożonym zarówno z pracowników doświadczonych jak i pracowników początkujących. Nie pozostaje więc bez znaczenia dla realizacji projektu fakt, które zadania zostaną przydzielone któremu pracownikowi. Dobry dobór wykonawców do zadań może zaowocować znaczącym skróceniem czasu realizacji całego przedsięwzięcia. W praktyce wiedza kierownika projektu na temat produktywności poszczególnych członków zespołu projektowego rośnie wraz z czasem realizacji przedsięwzięcia. Jeżeli kierownik będzie potrafił zmierzyć produktywność pracowników, to jest w stanie tak przebudować harmonogram w kolejnych etapach realizacji projektu, żeby osiągać optymalne rezultaty. Dlatego niezwykle istotne jest zapewnienie kierownikowi projektu narzędzi, dzięki którym możliwe będzie szybkie, zautomatyzowane wyznaczanie produktywność danego pracownika. Dzięki zastosowaniu opracowanych przez autora i opisanych w artykule metod i narzędzi informatycznego wspomagania oceny produktywności zespołu w projektach informatycznych możliwe jest określenie jakości prac wykonywanych przez poszczególnych pracowników, a więc ich produktywności. Wyznaczona produktywność, w dalszej kolejności, znajduje zastosowanie przy planowaniu prac projektowych w sposób zapewniający minimalizację czasu potrzebnego na wykonanie zadań projektowych przez zespół pracowników o różnych kwalifikacjach. W artykule przeanalizowano i przedstawiono przykładowe źródła danych dla bieżącej oceny produktywności na podstawie zmierzonych dotychczasowych dokonań członków zespołu projektowego oraz zaprezentowano wskaźniki do bieżącej oceny produktywności członków zespołu projektowego definiowane, jako funkcje danych pozyskiwanych z opisanych wcześniej źródeł. W dalszej kolejności opisane zostały algorytmy wyznaczania produktywności na podstawie danych historycznych zebranych i opracowanych na przykładzie rzeczywistych projektów informatycznych. Rafał Wojszczyk Przegląd obiektowych metryk oprogramowania opartych o statyczną analizę kodu źródłowego Celem publikacji jest przedstawienie obiektowych metryk oprogramowanie, których wyniki możliwe są do uzyskania przy zastosowaniu metod statycznej analizy kodu źródłowego. Autor krótko przedstawia historię i najważniejsze dokonania w tej dziedzinie. Wyjaśnia cel tworzenia oraz korzyści wynikające z zastosowania metryk. Opisuje najpopularniejsze metryki i wspomina o wybranych pozostałych metrykach. Przytacza również przykłady przeprowadzonych badań i narzędzi umożliwiających przeprowadzenie analizy metryk oprogramowania. Inżynieria oprogramowania. Wybrane problemy, redakcja naukowa: prof. dr hab. Zdzisław Szyjewski, dr hab. Jakub Swacha, ISBN A u t or z y T y tuł r oz dz i ał u Irena Bach-Dąbrowska, Uniwersyteckie Centrum Kompetencyjne Technologii Oprogramowania Artur Ziółkowski Ten artykuł, na przykładzie Uniwersyteckiego Centrum Kompetencyjnego Technologii Oprogramowania funkcjonującego przy Politechnice Gdańskiej, przedstawia koncepcję powoływania i funkcjonowania centrów rozwijania technologii informatycznych tworzonych przy uczelniach wyższych przy współpracy z partnerami biznesowymi. Przedstawione zostaną potrzeby powoływania takich jednostek organizacyjnych, możliwe obszary współpracy ale i bariery najczęściej występujące na ścieżce współpracy środowisk uczelni i biznesu. Ilona Bluemke, Wzorzec DCI Anna Stępień W niniejszym rozdziale przedstawiono wzorzec projektowy DCI (ang. Data, Context, Interaction). Opisano najważniejsze założenia architektury tego wzorca i jego elementy składowe. Wzorzec DCI zastosowano praktycznie w przykładowej aplikacji. Przedstawiono wady i zalety zastosowania DCI w implementacji aplikacji. Bartosz Chrabski, Koncepcja budowy maszyny wnioskującej modelu referencyjnego rozwoju Kamil Dowgielewicz, i doboru narzędzi Open Source Cezary Orłowski Artykuł przedstawia koncepcję budowy maszyny wnioskującej dla modelu referencyjnego wspomagającego rozwój narzędzi Open Source oraz proces ich doboru u dostawcy usług IT. Koncepcja silnika maszyny wnioskującej bazuje na wykorzystaniu mechanizmów wnioskowania wprzód. Prezentuje się zależności pomiędzy typami narzędzi, a możliwościami ich wykorzystania lub rozbudowy w oparciu o dostępne funkcjonalności modelu referencyjnego. Autorzy (celem weryfikacji opracowanej koncepcji) analizują także działanie maszyny wnioskującej na podstawie wykorzystywanych przez decydentów w organizacjach dostawcy usług IT praktyk w dziedzinie doboru i rozwoju narzędzi Open Source. Zakłada się, że kolejnym etapem budowy maszyny wnioskującej będzie opracowanie reguł wnioskowania opartych o mechanizmy sztucznej inteligencji dla doboru funkcjonalności dla rozwijanego w organizacjach dostawcy usług IT oprogramowania. 29

30 Bartosz Chrabski, Robert Siara Zastosowanie mechanizmu profili UML w modelowaniu pokrycia architektury aplikacji przez testy Artykuł prezentuje koncepcje modelu artefaktów związanych z procesem testowania i zarządzania jakością oprogramowania oraz systemów w oparciu o podejście widoków architektonicznych. Koncepcja rozszerza idee testowania opartego o modele (ang. Model-based testing), które opisuje proces testowania oprogramowania lub systemów. Publikacja bazuje na podejściu 4+1 dla modelowania architektury oprogramowania, która definiuje różne perspektywy aby zaadresować potrzeby wszystkich udziałowców projektu. Adaptując to podejście w celu jego osadzenia w ramach procesów testowania oprogramowania wzbogacono architekturę tworzonego rozwiązania oraz nadano kontekst dla testów. W publikacji jest promowane podejście do modelowania artefaktów procesu testowego przy zastosowaniu Unified Modeling Language oraz mechanizmu profili, które pozwala na definiowanie planu testów, przypadków testowych, strategii testów. Koncepcja pozwala na możliwość analizy wpływu pomiędzy wymienionymi elementami, czy analizę pokrycia na różnych poziomach złożoności. Włodzimierz Dąbrowski, Andrzej Stasiak, Kształcenie inżynierii wymagań i procesy inżynierii wymagań według IREB Krzysztof Wnuk Inżynieria wymagań jest ważnym działem inżynierii oprogramowania. Znaczenie inżynierii wymagań i prawidłowego przebiegu procesów zarządzania wymaganiami jest często kluczowym czynnikiem sukcesu dla projektów informatycznych. Znane są przypadku, gdzie porażka projektu wynikała z błędów podczas analizy wymagań. Świadomość i znajomość tych procesów dla współczesnych inżynierów informatyków nie zawsze jest wystarczająca. W artykule został dokonany przegląd nauczania inżynierii wymagań w programach nauczania wybranych uczelni wyższych kształcących studentów na kierunku informatyka oraz metody kształcenia w tym zakresie. W ostatnich latach obserwuje się rozwój edukacji inżynierii wymagań nie tylko na wyższych uczelniach, ale również w kształceniu ustawicznym. Powstają nowe inicjatywy i organizacje szerzące wiedzę i dobre praktyki inżynierii wymagań. Na rynku pojawiają się też certyfikaty z tego obszaru wiedzy. W artykule przedstawiono jedną z takich organizacji - International Requirements Engineering Board (IREB) oraz jej podejście do procesów inżynierii wymagań i certyfikacji dostępnej od 2012 roku również w Polsce, a certyfikat IREB CPRET ma około osób. Anna Wawszczak, Karol Kempa Wykorzystanie zaawansowanych mechanizmów języka Objective-C do tworzenia łatwych w integracji komponentów Rozwój języków programowania daje programistom ciągle nowe możliwości oraz mechanizmy pozwalające na wygodniejsze i łatwiejsze tworzenie aplikacji. W niniejszym artykule przedstawiona została dynamiczna charakterystyka języka Objective-C oraz przykład wykorzystania możliwości jakie daje to programistom. Zaawansowane mechanizmy języka zostały wykorzystane do utworzenia łatwego w integracji komponentu interfejsu użytkownika, pozwalającego na dodanie do aplikacji dla systemu ios baneru z aktualną temperaturą w Polsce. W najprostszym rozwiązaniu, integracja tego komponentu nie wymaga od programisty napisania ani jednej linii kodu. Wymagane jest jedynie dodanie do projektu klasy WeatherBanner. Przedstawione w pracy rozwiązanie może być z powodzeniem stosowane między innymi do tworzenia innych komponentów, na przykład banerów reklamowych, pasków z aktualnościami. Krzysztof Wnuk, Współpraca między przemysłem IT oraz uczelniami - szwedzkie Bogdan Bereza doświadczenia Udana współpraca Uczelni z Przemysłem to trochę jak pogodzenie ognia i wody uczelnie pomału i mozolnie analizują pewne problemy, proponują ich rozwiązania testując przez rok lub dwa i w końcu publikując przez lat kilka. Przemysł chce, aby rozwiązania były podane już zaraz, zaimplementowane w pełnej skali i najlepiej za darmo przez jakiegoś ambitnego studenciaka na praktyce. Pogodzić ze sobą te dwa sprzeczne cele nie jest łatwo. Przemysł i uczelnie jednak potrzebują siebie nawzajem (może tutaj jakaś metafora do związków, które trwają ale z różnymi przygodami). Pracownicy naukowi nie zostali zatrudnieni na swoich stanowiskach, aby zadowalać firmy od tego są konsultanci, ani do podtrzymywania dobrej komunikacji z firmami - naukowcy są do rozwiązywania problemów, które często przerastają przemysł bądź są niezauważalne dla przemysłu ze względu na pogoń za zyskiem i zamkniecie następnego kwartału na plus. Ten artykuł dyskutuje problemy związane ze współpracą i podaje kilka pozytywnych przykładów tej współpracy. Produktem współpracy w inżynierii oprogramowania jest wiedza, modele analizy, rzeczy, których nie można spatentować (jak w chemii) lub zamienić w generator pieniędzy, dlatego jest problem z przekonywaniem przemysłu do współpracy. Potrzeba współpracy nie tylko z działem badan, ale działem operacyjnym, który projekty tworzy produkty i generuje dochody z tych produktów. 30

31 Design, development and implementation of real-time systems., Scientific Editors: Prof. Leszek Trybus, Marcin W. Mastalerz, Ph.D., ISBN A u t or z y T y tuł r oz dz i ał u Krzysztof Marcin Brzuszek, Dense Matrix-Vector and Matrix-Matrix Multiplication on GPU Clusters Przemysław Stpiczyński This chapter presents a performance comparison between the well-known ScaLAPACK routines for matrix-vector and matrixmatrix multiplication optimized for IBM Blue Gene/P and Intel Xeon-based clusters provided by the vendors, and corresponding routines implemented for clusters with nodes accelerated by NVIDIA Tesla GPU cards using Message Passing Interface and CUBLAS Library. We also present some optimization techniques that allow to utilize multiple GPUs within single nodes of clusters. Our experiments show that our MPI-CUBLAS implementations on the GPU cluster significantly outperforms commercial ScaLAPACK routines. Janusz Górski, Assessing the time effectiveness of trust management in fully synchronised Alan Turower wireless sensor networks The chapter presents the results of the time effectiveness assessment of the distributed WSN Cooperative Trust Management Method - WCT2M in a fully synchronized Wire-less Sensor Network (WSN). First we introduce some basic types of synchronization patterns in WSN based on the idea of sleep scheduling. Then we explain how WCT2M works in the network applying the fully synchronized sleep scheduling pattern. Such networks were subjected to the analyses with the help of a dedicated WCT2M simulator to investigate the time delays needed to identify and isolate the network nodes which depart from the assumed behavioral characteristics. The results of these simulations are presented to demonstrate the time effectiveness of WCT2M. Marcin Jamro, Dariusz Rzońca, Jan Sadolewski, Andrzej Stec, Current functionalities of CPDev programming environment Zbigniew Świder, Bartosz Trybus, Leszek Trybus Overview of current functionalities of CPDev engineering environment for programming PLC/PAC controllers according to IEC standard is presented. As compared to the earlier version, the environment has been extended for all IEC languages, HMI interface design integrated with control programming, table and unit tests for program components, and SysML models of the structure and functions of more complex software. The new CPDev compiler handles large programs as well. In addition to general purpose processors, the compiled programs may be executed by FPGA. Krzysztof Kogut Real-time MR damper control strategies for quarter car suspension The magnetorheological (MR) rotary brake applied inside the suspension apparatus is the main subject of interest. The apparatus control goal is to reduce the vibrations of the car body which relate to harmonic road excitations. The previous researches encourage to analyze new proposed control algorithms for non-linear models of apparatus equipped with the MR damper. A number of algorithms including classic approaches and recently developed intelligent techniques using neural networks are compared. Control laws are tested in real-time experiments using MAT-LAB/Simulink environment. Particularly interesting is the appropriate algorithmic use of the MR damper. However, one has to be fully aware that semi-active will not respond better than passive dampers when an incorrect algorithm is used. The device dynamics model in MATLAB equipped with toolboxes allows us to test control algorithms. Furthermore, by the use of the semi-active apparatus one can verify the correctness of the damping performance in real time. Krzysztof Kołek Development of C-language real-time controller for Android OS The chapter presents an application of an Android device to control a laboratory inverted pendulum system. The pendulum system is selected as a test setup for its requirement of fast and accurate control signals. A lack of correct control signal immediately results in unstable system behavior. The required sampling rate is too fast to be implemented in Java which is the primary Android development language. The chapter describes the device rooting approach and development of C- language controller for Android OS. The parameters of the control task, specially the punctuality of the sampling procedure, are shown. Also the results of the inverted pendulum control experiments are presented. The conclusions include comments on the applicability of Android portable devices as a platform for real-time control for jitter sensitive systems that require hundreds samples per second. 31

32 Ryszard Kowalik, Denis Kobler Expert Fault Analysis System for power transmission/distribution networks The computer-aided faults analysis expert system has been designed to automatically process fault records monitored in high voltage transmission power system. It provides useful information to control centre and protection engineers, with the fault conditions immediately preceding any alarming condition or breaker operation. The protection engineers will also detect hidden failure. Not correcting them may cause significant incident in near future. Historical fault data will permit Asset Management Department easier decision making process for condition based maintenance focus on circuit breakers and protection relays. The CAFA is an analysis tool with special emphasis on automatic selection of the most critical events, fault location, protection systems, circuit breaker monitoring as well as fault signature analysis. Fault analysis experts will avoid spending time on data management and it will allow them to focus on the core competencies, fault investigation. This chapter presents the concept of such a system made on the basis of an extensive expert program (CAFA) dedicated for automatic correction, analysis and visualization of data contained in the disturbance recording files, collected by the automatic file collection and transmission system working under the supervision of Substation Data Concentrator (SDC). Ryszard Kowalik, Marcin Januszewski, Kamil Gontarz, Power system protection devices remote control Desire Rasolomampionona, Emil Bartosiewicz The chapter presents examples of power system protections remote control together with their features and constructions. Described examples allow to see the slow change that appears in telecommunication links used in mentioned remote control systems over several years. Description of commonly used protocols and telecommunication standards were also included. Jerzy Martyna Designing a Schedulability Envelope for Radar Tasks Using the LS-SVM Method This chapter investigates the offline design of radar tasks' schedulability envelope. We propose the use of the schedulability envelope as it allows us to determine the main parameters of a radar scheduler. Using the least squares support vector machines (LS-SVMs) for schedulability envelope, we can provide a simple measure for the schedulability check. Thus, we can perform the admission control for radar tasks. Moreover, the considered technique can also significantly improve system utilization by decreasing task rejection rate. The simulation results illustrate the effectiveness of the proposed method. Marcin Piątek, Andrzej Turnau Gait control algorithms for a six-legged walking robot based on oscillators The hexapod gait control algorithms based on the linear and the nonlinear Van der Pol and Rayleigh oscillators are concerned. The attention is focused on the own constructed hexapod walking in the real-time. In particular interesting for the real-time operation is the design of the controller. Therefore, its structure is briefly explained. The way in which the robot walks depends primarily on the trajectory generated by the oscillators. Beside the simulation of algorithms for the different oscillators the details of the algorithm insertion into the controller are shown. The algorithm operates in real-time and it is equipped with embedded code generation tools. The results of walking experiments of the hexapod are illustrated and concluded. Projektowanie, rozwój i implementacja systemów czasu rzeczywistego, redakcja naukowa: prof. dr hab. inż. Leszek Trybus, dr inż. Marcin W. Mastalerz, ISBN A u t or z y T y tuł r oz dz i ał u Błażej Adamczyk, Badanie efektywności obsługi żądań sieciowych w systemach IBM iseries Hafed Zghidi oraz x86 Systemy komputerowe pracujące w sieci, pełniące rolę serwerów muszą sprostać obsłudze coraz większej liczby zapytań. Liczba tych żądań zwiększa się wraz z rozwojem infrastruktury sieciowej i wzrostu popularności systemów sieciowych. Stanowi to duże wyzwanie dla tego typu platform komputerowych i obsługujących je systemów operacyjnych. Artykuł bada sposoby obsługi żądań sieciowych komputerów IBM iseries z systemem operacyjnym i5/os oraz porówna ich wydajność z komputerami opartymi o architekturę x86 i systemem Linux. Bada również sposoby programowanie usług sieciowych na obu platformach i efektywność ich działanie w czasie rzeczywistym. 32

33 Tomasz Cyrulik, Dariusz Rzońca, Monitorowanie obiektów rozproszonych przy użyciu sterownika Andrzej Stec, StTr-760-PLC według struktur tworzonych w systemie CPDev Bartosz Trybus Rozdział opisuje wdrożenie pakietu inżynierskiego CPDev w niedawno opracowanym sterowniku StTr-760-PLC oraz sposób tworzenia systemów kontrolno-pomiarowych o dużym rozproszeniu wykorzystujących dedykowaną zintegrowaną platformę komunikacyjną. StTr-760-PLC produkowany przez firmę "Nauka i Technika" jest sterownikiem swobodnie programowalnym z modułem komunikacyjnym umożliwiającym zdalny monitoring, sterowanie i raportowanie poprzez interfejsy GSM/GPRS, WiFi, ZigBee. Możliwe jest także zdalne ładowanie programów sterowania opracowanych w dowolnym z języków normy PN- EN , co jest szczególnie istotne przy dużej liczbie oddalonych od siebie sterowników. Typowe zastosowania obejmują przepompownie, hydrofornie, oczyszczalnie ścieków, kotłownie, węzły ciepłownicze, zbiorniki zasobowe i stacje redukcyjne. Dane rejestrowane na dedykowanym serwerze mogą być odczytywane i analizowane z podłączonego do internetu komputera PC (statystyka, wykresy trendu, alarmy technologiczne). Jarosław Klejment, Zastosowanie IEC do wykonania zabezpieczeń szyn zbiorczych strony Ryszard Kowalik, SN stacji 110kV/SN Marcin Januszewski Technika cyfrowa stworzyła w dziedzinie automatyki elektroenergetycznej dużo nowych możliwości. Zastosowanie cyfrowych zabezpieczeń zmieniło rynek urządzeń zabezpieczeniowych oraz pozwoliło na wzajemną wymianę danych pomiędzy zabezpieczeniami, systemami SCADA oraz systemami operatorów sieci elektroenergetycznych. Opracowanie standardu IEC61850 dało dodatkowe narzędzia w postaci jednego uniwersalnego sposobu wymiany danych pomiędzy urządzeniami w stacji elektroenergetycznej, transmisji danych między stacjami oraz systemami operatorskimi, a także centrami zarządzania. We wszystkich przypadkach wymiany danych coraz częściej wykorzystuje się w związku z tym sieć Ethernet, stosowaną dotychczas przede wszystkim z systemach komputerów PC. Używając standardu IEC61850 można zmniejszyć liczbę przewodów i urządzeń pośredniczących występujących w stacji elektroenergetycznej. Można również dzięki temu uprościć całą strukturę połączeń, polepszając jej funkcjonalność. Ogromna liczba narzędzi do zdalnego dostępu zapewnia możliwość szybkiej diagnostyki uszkodzeń a także ich naprawy bez obecności personelu technicznego na obiekcie. Rozwiązania tego rodzaju zaczynają być również stosowane w układach zabezpieczeń elektroenergetycznych działających w czasie rzeczywistym o czasach reakcji liczonych w poszczególnych milisekundach. W artykule przedstawiono koncepcję zastosowania standardu IEC61850 do realizacji tego rodzaju układu automatyki, pełniącego rolę zabezpieczenia szyn stacji 110kV/SN oraz opisano weryfikujące jego działanie testy laboratoryjne. Artur Krystosik Symboliczny algorytm wyznaczania grafu stanów osiągalnych dla automatów DT CSM Automaty DT-CSM (ang. Discrete Time Concurrent State Machnes) są automatami skończonymi rozszerzonymi o zmienne całkowitoliczbowe oraz czas dyskretny. Przeznaczone są do modelowania obiektów takich jak systemy wbudowane, protokoły, sprzęt itd. Model systemu wyrażony za pomocą DT-CSM jest zbiorem automatów modelujących poszczególne jego komponenty. Zachowanie systemu określone jest przez graf stanów osiągalnych (GSO), który reprezentuje wszystkie stany systemu osiągalne ze stanu początkowego. Uzyskanie GSO dla zamodelowanego systemu pozwala na wykonanie jego weryfikacji modelowej. W niniejszym rozdziale przedstawiono algorytm wyznaczania GSO dla automatów DT-CSM oparty na binarnych diagramach decyzyjnych oraz przedstawiono jego zastosowanie do weryfikacji oprogramowania immbolizera samochodowego. Jacek Krzysztofiński, Bartłomiej Hołota, Samochodowy komputer pokładowy na platformie Android Dariusz Rzońca Rozdział poświęcony jest problematyce tworzenia aplikacji mobilnych na platformę Android współpracujących z interfejsem diagnostycznym OBD II będącym na wyposażeniu wielu współczesnych pojazdów samochodowych. Prototypowa aplikacja samochodowego komputera pokładowego została opracowana jako projekt studencki w Katedrze Informatyki i Automatyki Politechniki Rzeszowskiej. Marcin Łaba, Łukasz Szopa, Kamil Wszoła, Prototyp programowalnego systemu kontrolno-pomiarowego Dariusz Rzońca, Bartosz Trybus Rozdział przedstawia propozycję niewielkiego rozproszonego systemu kontrolno-pomiarowego ze zdalną akwizycją danych, programowalnego w pakiecie inżynierskim CPDev. Poszczególne moduły systemu bazują na płytach ewaluacyjnych EVBnet03/MMnet104 z mikrokontrolerem ATmega128. Oprogramowanie wbudowane wykorzystuje maszynę wirtualną CPDev pracującą pod kontrolą systemu operacyjnego FreeRTOS, umożliwiając wykonywanie programu sterowania zapisanego w dowolnym z języków normy PN-EN Specjalizowana aplikacja pozwala na zdalną akwizycję wartości zmiennych sterujących i danych pomiarowych łącznie ze stemplem czasowym. Dane gromadzone są na serwerze MS SQL i udostępniane do dalszego przetwarzania. 33

34 Witold Żorski Detekcja ruchu w obrazach z monitoringu w warunkach terenowych W rozdziale zaproponowano rozwiązanie problemu detekcji ruchu w obrazach pozyskiwanych z kamer video, monitorujących teren zewnętrzny. Przedstawiono rozwiązanie, które jest odporne na niepożądane czynniki w obrazie: ruch liści na drzewach, ruch trawy pod wpływem wiatru, dym lub mgła, przesuwanie się chmur i inne. Rozwiązanie oparte jest na znanych operacjach z zakresu cyfrowego przetwarzania obrazów, ale zasadniczym problemem było opracowanie odpowiedniej procedury postępowania, gwarantującej skuteczność metodzie oraz umożliwiającej zastosowanie w charakterze systemu czasu rzeczywistego, co zostało osiągnięte dzięki wykorzystaniu technologii CUDA. 34

35 Formuła konferencji KKIO Krajowa Konferencja Inżynierii Oprogramowania jest cyklicznym wydarzeniem organizowanym przez Polskie Towarzystwo Informatyczne od 1999 roku. Jubileuszowa, XV edycja tej konferencji odbędzie się w Szczecinie. Tradycyjnie tematyka konferencji dotyczyć będzie inżynierii oprogramowania i obszarów pokrewnych, czyli: Analiza kodu źródłowego, Budowa aplikacji dla chmur obliczeniowych, Budowa aplikacji dla środowisk zwirtualizowanych, Budowa aplikacji mobilnych, Inżynieria wymagań, Jakość oprogramowania, Metody i techniki wytwarzania oprogramowania, Modelowanie, projektowanie i implementacja oprogramowania, Nowe koncepcje i technologie nauczania w zakresie inżynierii oprogramowania, Platformy komunikacji i współpracy programistów, Technologie integracji usług w procesy biznesowe, Współpraca biznesu z uczelniami w zakresie inżynierii oprogramowania, Zarządzanie inżynierią oprogramowania, Zarządzanie konfiguracją oprogramowania, Zarządzanie projektami informatycznymi. 35

36 Formuła konferencji SCR Konferencja naukowa Systemy Czasu Rzeczywistego jest cyklicznym wydarzeniem organizowanym przez Polskie Towarzystwo Informatyczne. Konferencja SCR odbywa się już od 19 lat, tj. od 1994 roku. Celem Konferencji SCR jest prezentacja bieżących prac prowadzonych przez środowiska akademickie i przemysłowe w zakresie systemów czasu rzeczywistego na tle współcześnie stosowanych podejść i technologii. Poza tym jest okazją do integracji środowiska informatycznego i umożliwia nawiązanie kontaktów przedstawicieli środowisk uczelnianych i przemysłowych, reprezentowanych przez firmy działające na terenie Polski. Obszary tematyczne XX edycji konferencji Systemy Czasu Rzeczywistego dotyczyć będą metod, badań i rozwiązań stosowanych w systemach typu real-time takich, jak: Modelowanie, specyfikacja, analiza i metody formalne, Projektowanie systemów czasu rzeczywistego i środowisk wykonawczych, Inżynieria oprogramowania systemów czasu rzeczywistego, Testowanie, diagnozowanie i bezpieczeństwo funkcjonalne, Czas w systemach rozproszonych, zwłaszcza w komunikacji bezprzewodowej, Mechanizmy czasu rzeczywistego w systemach wbudowanych, Integracja systemów czasu rzeczywistego z aplikacjami IT, Metody sztucznej inteligencji w systemach czasu rzeczywistego, Zastosowania w sterowaniu, robotyce i mechatronice, Czasowe aspekty zastosowań wizji komputerowej, Inne zastosowania systemów czasu. 36

37 Formuła konferencji SMI Sejmik Młodych Informatyków jest cykliczną konferencją poświęconą nowym technologiom informatycznym, organizowaną od 2006 roku. To miejsce spotkań i prezentacji prac badawczych (w zakresie informatyki), młodych pracowników nauki i praktyki. Sejmik jest prowadzony w formie paneli tematycznych, szkoleń, seminariów i warsztatów. Koordynatorami paneli są znane osobistości świata nauki i praktyki. Zaplanowane są również wystąpienia w formie referatów zamówionych przez organizatorów. Zakres tematyczny Sejmiku obejmuje obszar szeroko rozumianej informatyki, jej zastosowań w różnych dyscyplinach, a także rozwiązań, które mogą metodycznie ją wspomagać: zarządzanie projektami informatycznymi, zarządzanie ryzykiem, klasyfikacja i analiza danych, inżynieria systemów informatycznych, technologie internetowe, e-learning, metody sztucznej inteligencji, grafika komputerowa i multimedia, efektywność projektów informatycznych, modelowanie i symulacja komputerowa. 37

38 Warsztaty (Workshops) Post-agilism: wybór najlepszego rozwiązania Prowadzenie: Bogdan Bereza (Victo) Trend jest jednoznaczny: metodyki agile (zwinne) stosuje się coraz szerzej, coraz powszechniej: są nawet zwolennicy ich wykorzystania - choć wymaga to pewnego nagięcia znaczenia niektórych pojęć - przez biznes także poza IT. Wszystko wskazuje na to, że w ciągu dwóch-trzech lat to podejście stanie się na jakiś czas dominującym paradygmatem wytwarzania oprogramowania i systemów w Polsce i na świecie. Ta sytuacja ma swoje dobre i złe strony. Podejście agile, podkreślające rzemieślniczy (craft), a nie naukowy charakter wielu działań IT, ma szereg niezaprzeczalnych zalet. Jest więc ogromną korzyścią i dla IT, i dla całego biznesu, że agile się rozpowszechnia. Jednak agile - w tym najpopularniejsza z metod zwinnych, Agile Scrum - nie do wszystkiego nadaje się równie dobrze. Potrzebne jest duże doświadczenie, aby trafnie odróżnić sytuacje, gdzie agile się opłaca, od tych, gdzie przynosi szkody. Wiele jest podobnych pytań, niezbyt pociągających teoretycznie, bo obciążonych bardzo dużą nieoznaczonością, ale pozwalających - jeśli umie się na nie odpowiedzieć - osiągać znaczne korzyści biznesowe. Na przykład, jak postępować, gdy realizacja niektórych zadań projektu pasuje do technik agile, ale niektórych - nie pasuje? Jak wykorzystać agile, nie rezygnując ze stosowania najlepszych praktyk ogólnej inżynierii oprogramowania i szerokiej wiedzy informatycznej? Jak zwykle w inżynierii oprogramowania, nie istnieje algorytm, który pozwala jednoznacznie odpowiedzieć na te pytania. Istnieją natomiast dobre heurystyki, oparte na doświadczeniach wielu zespołów i wielu organizacji. Podczas warsztatów, Uczestnicy zapoznają się z wnioskami, zgromadzonymi na podstawie praktycznych doświadczeń. Ponadto, będziemy wspólnie dyskutować i pracować nad propozycjami kolejnych rozwiązań. Temat cieszy się popularnością - podobne warsztaty, o węższym zakresie tematycznym (agile a inżynieria wymagań) odbyły się wcześniej 25 czerwca tego roku, zorganizowane przez Computerworld. Zostały bardzo dobrze ocenione przez Uczestników (wniosek na podstawie ankiet po warsztatach). Od wymagań do Javy w mgnieniu oka Prowadzenie: dr hab. Michał Śmiałek, prof. PW Skrócenie cyklu wytwarzania oprogramowania jest zapewne największym marzeniem wszystkich programistów i kierowników projektów. Niezależnie jednak od docelowej technologii i języka programowania, nie sposób jest przeskoczyć etap formułowania wymagań dla budowanego systemu. Bez tego etapu możemy zbudować bardzo ciekawy i skomplikowany system, który jednak nikomu do niczego nie będzie przydatny. Jak zatem sformułować wymagania, aby z jednej strony były zrozumiałe dla odbiorców systemu, a z drugiej strony - umożliwiały szybkie wytworzenie kodu systemu? W niniejszym szkoleniu (tutorialu) pokażemy jak to zrobić w sposób efektywny. Przedstawimy notację RSL, przy pomocy której można w przejrzysty sposób formułować modele przypadków użycia systemu, ich scenariusze oraz modele dziedziny. Pokażemy także metodykę i narzędzie ReDSeeDS, które potrafi błyskawicznie zamienić te modele wymagań w gotowy kod na poziomie logiki aplikacji i interfejsów użytkownika. W rezultacie, na bazie szczegółowej specyfikacji wymagań możemy w ciągu kilku minut wygenerować gotowy szkielet aplikacji internetowej wraz z kodem formatek i warstwy kontrolera. Do wykonania pozostaje jedynie zaimplementowanie warstwy przetwarzania i dostępu do danych. Warsztaty odbędą się w sali komputerowej, ale zachęcamy do przyjścia z własnym laptopem. Office 365 platforma współpracy naukowej Warsztaty Microsoft - sponsora konferencji Prowadzenie: dr inż. Piotr Bubacz W czasie warsztatów zostanie przedstawiona darmowa platforma Office 365 umożliwiająca współpracę w rozproszonym zespole badawczym. Uczestnik warsztatów pozna możliwości i nauczy się wykorzystywać platformę do współpracy naukowej. Dowie się również jak może za darmo uruchomić platformę na Uczelni lub innej jednostce naukowo-badawczej. Warsztaty odbędą się w sali komputerowej, ale zachęcamy do przyjścia z własnym laptopem. 38

39 Certyfikacje inżynierii oprogramowania - po prostu zysk Warsztaty IREB - sponsora konferencji Prowadzenie: Bogdan Bereza (International Requirements Engineering Board) Z jednej strony, systemy certyfikacji zdobywają coraz większą liczbę uczestników: PRINCE2 oraz PMI (zarządzanie projektami) mają w tej chwili około certyfikowanych uczestników każdy, ISTQB (testowanie) ponad ćwierć miliona. W porównaniu z tymi gigantami, popularność certyfikatów inżynierii wymagań jest na razie niewielka: IREB, choć największy na świecie, wystawił dotąd ponad certyfikatów, ale liczba ta w ciągu kilku lat wzrośnie wielokrotnie. Z drugiej strony, wielu uważa certyfikaty inżynierii oprogramowania za zbędną stratę czasu, o ile nie dotyczą konkretnych narzędzi oraz technologii, użytecznych - wydaje się - od zaraz. Pracodawcy i pracownicy, producenci i odbiorcy oprogramowania, jednakowo ulegają temu kosztownemu złudzeniu: znajomość narzędzia to jakoby konkret, podczas gdy ogólniejsze zasady inżynierii oprogramowania to, jakoby, sucha teoria, nieprzydatna w praktyce. Jest, oczywiście, DOKŁADNIE ODWROTNIE, ale jak o tym przekonać tych, którzy podejmują decyzje w tych sprawach? Podczas warsztatów podejmujemy się nietypowego zadania: pokazania czarno na białym, na konkretnych, mierzonych w PLN przykładach, w jaki sposób całkowity koszt udziału w szkoleniu przygotowującym do egzaminu IREB CPRE Foundation (cena szkolenia plus cena egzaminu, plus koszt 3- dniowej nieobecności pracownika) przekłada się na niemal natychmiastowe zyski biznesowe, już po tygodniu po powrocie pracownika ze szkolenia. Dla porównania, równolegle analizujemy prawdziwość rozpowszechnionego mniemania o korzyściach wynikających ze szczegółowej znajomości wybranych narzędzi lub metodyk, które jednak są najzupełniej bezużyteczne bez umiejętności ich zastosowania w kontekście, określonym przez inżynierię wymagań. Neuroeconomy, neuromarketing and decisional processes Prowadzenie: Dr. Fabio Babiloni (Sapienza University of Rome, Italy) From the neuroscience principles to the practical use of them for improving marketing messages Prowadzenie: Dr. Arianna Trettel (Sapienza University of Rome, Italy) The workshop will present theoretical and practical aspects of the neuroscience application to marketing. Thus, it will consist in 2 ppt presentations in which it will be explained 1) how it is possible to monitor interesting aspect of the psycophysiologic variables during the observation of TV advertisings (my lecture) and 2) which possible output could be presented to the customers from the collection of these phychophysiologic variables. In addition, dr. Trettel will explain two possible ways to conduct marketing organization with neuromarketing services, through dedicated services for one specific client or through a omnibus collection for multiple clients. These two models of interaction with customers will be at the base of the modalities of proposition of the new service of neuromarketing promoted by the University of Szczecin towards Polish industries since probably November or December

40 Newsy konferencyjne XV Krajowa Konferencja Inżynierii Oprogramowania Polish Conference on Software Engineering 15th edition Szczecin, September 2013 XX jubileuszowa edycja Konferencji Systemy Czasu Rzeczywistego Real Time Systems (SCR) Conference 20th edition Szczecin, September 2013 Sejmik Młodych Informatyków 2013 Congress of Young IT Scientists th edition Szczecin, September 2013 Opracowanie treści: Tomasz Komorowski, Jakub Swacha, Marcin W. Mastalerz, Mateusz Piwowarski, Maciej Godniak Projekt graficzny broszury i DTP: Maciej Godniak Druk: Łukasz Piwowarski (www.westgraph.pl) 40

Program konferencji SMI 2013 + KKIO 2013 + SCR 2013

Program konferencji SMI 2013 + KKIO 2013 + SCR 2013 Program konferencji SMI 2013 + 2013 + SCR 2013 środa, 18 września 2013 r. 9.00-14.45 Post-agilism: wybór najlepszego rozwiązania {warsztaty fakultatywne wymagana osobna wcześniejsza rejestracja} Bogdan

Bardziej szczegółowo

Proposal of thesis topic for mgr in. (MSE) programme in Telecommunications and Computer Science

Proposal of thesis topic for mgr in. (MSE) programme in Telecommunications and Computer Science Proposal of thesis topic for mgr in (MSE) programme 1 Topic: Monte Carlo Method used for a prognosis of a selected technological process 2 Supervisor: Dr in Małgorzata Langer 3 Auxiliary supervisor: 4

Bardziej szczegółowo

Krytyczne czynniki sukcesu w zarządzaniu projektami

Krytyczne czynniki sukcesu w zarządzaniu projektami Seweryn SPAŁEK Krytyczne czynniki sukcesu w zarządzaniu projektami MONOGRAFIA Wydawnictwo Politechniki Śląskiej Gliwice 2004 SPIS TREŚCI WPROWADZENIE 5 1. ZARZĄDZANIE PROJEKTAMI W ORGANIZACJI 13 1.1. Zarządzanie

Bardziej szczegółowo

Zarządzanie sieciami telekomunikacyjnymi

Zarządzanie sieciami telekomunikacyjnymi SNMP Protocol The Simple Network Management Protocol (SNMP) is an application layer protocol that facilitates the exchange of management information between network devices. It is part of the Transmission

Bardziej szczegółowo

Tworzenie zintegrowanych strategii miejskich. Creation of integrated urban strategies? the example of the Krakow Functional Area

Tworzenie zintegrowanych strategii miejskich. Creation of integrated urban strategies? the example of the Krakow Functional Area ZRÓWNOWAŻONY ROZWÓJ OBSZARÓW MIEJSKICH W KRAJACH CZŁONKOWSKICH UE W LATACH 2014-2020 29 września 1 października 2015 r. Sesja warsztatowa - Zintegrowane Strategie Miejskie tworzenie i realizacja Tworzenie

Bardziej szczegółowo

ERASMUS + : Trail of extinct and active volcanoes, earthquakes through Europe. SURVEY TO STUDENTS.

ERASMUS + : Trail of extinct and active volcanoes, earthquakes through Europe. SURVEY TO STUDENTS. ERASMUS + : Trail of extinct and active volcanoes, earthquakes through Europe. SURVEY TO STUDENTS. Strona 1 1. Please give one answer. I am: Students involved in project 69% 18 Student not involved in

Bardziej szczegółowo

PROGRAM STAŻU. Nazwa podmiotu oferującego staż / Company name IBM Global Services Delivery Centre Sp z o.o.

PROGRAM STAŻU. Nazwa podmiotu oferującego staż / Company name IBM Global Services Delivery Centre Sp z o.o. PROGRAM STAŻU Nazwa podmiotu oferującego staż / Company name IBM Global Services Delivery Centre Sp z o.o. Miejsce odbywania stażu / Legal address Muchoborska 8, 54-424 Wroclaw Stanowisko, obszar działania/

Bardziej szczegółowo

AN EVOLUTION PROCESS FOR SERVICE- ORIENTED SYSTEMS

AN EVOLUTION PROCESS FOR SERVICE- ORIENTED SYSTEMS AN EVOLUTION PROCESS FOR SERVICE- ORIENTED SYSTEMS Andrzej Zalewski, Marcin Szlenk, Szymon Kijas a.zalewski@elka.pw.edu.pl s.kijas@elka.pw.edu.pl Praca naukowa finansowana ze środków budżetowych na naukę

Bardziej szczegółowo

Metodyki projektowania i modelowania systemów Cyganek & Kasperek & Rajda 2013 Katedra Elektroniki AGH

Metodyki projektowania i modelowania systemów Cyganek & Kasperek & Rajda 2013 Katedra Elektroniki AGH Kierunek Elektronika i Telekomunikacja, Studia II stopnia Specjalność: Systemy wbudowane Metodyki projektowania i modelowania systemów Cyganek & Kasperek & Rajda 2013 Katedra Elektroniki AGH Zagadnienia

Bardziej szczegółowo

Oferta sponsoringu. Krajowej Konferencji Inżynierii Oprogramowania

Oferta sponsoringu. Krajowej Konferencji Inżynierii Oprogramowania Oferta sponsoringu Krajowej Konferencji Inżynierii Oprogramowania XVII edycja 17-19 września 2015 Międzyzdroje ORGANIZATORZY: Polskie Towarzystwo Informatyczne Instytut Informatyki w Zarządzaniu Uniwersytetu

Bardziej szczegółowo

PROGRAM STAŻU Nazwa podmiotu oferującego staż IBM GSDC SP.Z.O.O

PROGRAM STAŻU Nazwa podmiotu oferującego staż IBM GSDC SP.Z.O.O PROGRAM STAŻU Nazwa podmiotu oferującego staż IBM GSDC SP.Z.O.O Miejsce odbywania stażu IBM, ul. Muchoborska 8, 54-424 Wrocław, Poland Stanowisko, obszar działania Młodszy Koordynator Zarządzania Bazą

Bardziej szczegółowo

Politechnika Krakowska im. Tadeusza Kościuszki. Karta przedmiotu. obowiązuje studentów rozpoczynających studia w roku akademickim 2014/2015

Politechnika Krakowska im. Tadeusza Kościuszki. Karta przedmiotu. obowiązuje studentów rozpoczynających studia w roku akademickim 2014/2015 Politechnika Krakowska im. Tadeusza Kościuszki Karta przedmiotu Wydział Inżynierii Środowiska obowiązuje studentów rozpoczynających studia w roku akademickim 014/015 Kierunek studiów: Inżynieria Środowiska

Bardziej szczegółowo

Wstęp... 9. Część 1. Systemy informacyjne zarządzania

Wstęp... 9. Część 1. Systemy informacyjne zarządzania Spis treści Wstęp... 9 Część 1. Systemy informacyjne zarządzania Jarosław Becker, Monika Stankiewicz, Koncepcja systemu CRM na potrzeby analizy preferencji klientów przedsiębiorstwa... 13 Andrzej Chluski,

Bardziej szczegółowo

Spis treści. Wstęp... 9. Część I. Rynek usług IT

Spis treści. Wstęp... 9. Część I. Rynek usług IT Spis treści Wstęp.............................................................. 9 Część I. Rynek usług IT Andrzej Chluski: Technologiczne aspekty rozwoju usług telemedycznych 13 Iwona Chomiak-Orsa: Rozwój

Bardziej szczegółowo

CENNIK I TERMINARZ SZKOLEŃ

CENNIK I TERMINARZ SZKOLEŃ CENNIK I TERMINARZ SZKOLEŃ AUTORSKIE WARSZTATY DEDYKOWANE SQL NR KURSU NAZWA KURSU TERMINY MARZEC KWIECIEŃ MAJ 8:30-16:00 8:30-16:00 8:30-16:00 LICZBA GODZIN CENA OD OSOBY NETTO Administrowanie bazą danych

Bardziej szczegółowo

Cel szkolenia. Konspekt

Cel szkolenia. Konspekt Cel szkolenia About this CourseThis 5-day course provides administrators with the knowledge and skills needed to deploy and ma Windows 10 desktops, devices, and applications in an enterprise environment.

Bardziej szczegółowo

P R A C A D Y P L O M O W A

P R A C A D Y P L O M O W A POLITECHNIKA POZNAŃSKA Wydział Maszyn Roboczych i Transportu P R A C A D Y P L O M O W A Autor: inż. METODA Ε-CONSTRAINTS I PRZEGLĄDU FRONTU PARETO W ZASTOSOWANIU DO ROZWIĄZYWANIA PROBLEMU OPTYMALIZACJI

Bardziej szczegółowo

PRZEWODNIK PO PRZEDMIOCIE. Negotiation techniques. Management. Stationary. II degree

PRZEWODNIK PO PRZEDMIOCIE. Negotiation techniques. Management. Stationary. II degree Politechnika Częstochowska, Wydział Zarządzania PRZEWODNIK PO PRZEDMIOCIE Nazwa przedmiotu Kierunek Forma studiów Poziom kwalifikacji Rok Semestr Jednostka prowadząca Osoba sporządzająca Profil Rodzaj

Bardziej szczegółowo

Usługi IBM czyli nie taki diabeł straszny

Usługi IBM czyli nie taki diabeł straszny Usługi IBM czyli nie taki diabeł straszny Michał Wawrzyński 693 93 5338 michal.wawrzynski@pl.ibm.com Usługi IBM dla Partnerów Handlowych Maintenance & Technical Support Asset-based Services Labor-based

Bardziej szczegółowo

Curriculum Vitae. Agnieszka Zbrzezny. aga.zbrzezny@gmail.com

Curriculum Vitae. Agnieszka Zbrzezny. aga.zbrzezny@gmail.com Curriculum Vitae Agnieszka Zbrzezny DANE PERSONALNE imię i nazwisko Agnieszka Zbrzezny data urodzenia 22 czerwiec 1985 stan cywilny panna email aga.zbrzezny@gmail.com strona domowa www.ajd.czest.pl/ imi/agnieszka.zbrzezny

Bardziej szczegółowo

Health Resorts Pearls of Eastern Europe Innovative Cluster Health and Tourism

Health Resorts Pearls of Eastern Europe Innovative Cluster Health and Tourism Health Resorts Pearls of Eastern Europe Innovative Cluster Health and Tourism Projekt finansowany Fundusze Europejskie z budżetu państwa dla rozwoju oraz ze Polski środków Wschodniej Unii Europejskiej

Bardziej szczegółowo

Chmura zrzeszenia BPS jako centrum świadczenia usług biznesowych. Artur Powałka Microsoft Services

Chmura zrzeszenia BPS jako centrum świadczenia usług biznesowych. Artur Powałka Microsoft Services Chmura zrzeszenia BPS jako centrum świadczenia usług biznesowych. Artur Powałka Services Tradycyjne podejście do wirtualizacji Business system administrators request infrastructure through email or an

Bardziej szczegółowo

Modele inżynierii teleinformatyki 9 (Wybrane zastosowania)

Modele inżynierii teleinformatyki 9 (Wybrane zastosowania) POLITECHNIKA KOSZALIŃSKA Modele inżynierii teleinformatyki 9 (Wybrane zastosowania) Redakcja Krzysztof Bzdyra KOSZALIN 2014 ISSN 2353-6535 ISBN 978-83-7365-365-8 Przewodniczący Uczelnianej Rady Wydawniczej

Bardziej szczegółowo

Estimation and planing. Marek Majchrzak, Andrzej Bednarz Wroclaw, 06.07.2011

Estimation and planing. Marek Majchrzak, Andrzej Bednarz Wroclaw, 06.07.2011 Estimation and planing Marek Majchrzak, Andrzej Bednarz Wroclaw, 06.07.2011 Story points Story points C D B A E Story points C D 100 B A E Story points C D 2 x 100 100 B A E Story points C D 2 x 100 100

Bardziej szczegółowo

Planowanie zrównoważonego transportu miejskiego w Polsce. Sustainable Urban Mobility Planning Poland. Wprowadzenie. Introduction

Planowanie zrównoważonego transportu miejskiego w Polsce. Sustainable Urban Mobility Planning Poland. Wprowadzenie. Introduction Planowanie zrównoważonego transportu miejskiego w Polsce Sustainable Urban Mobility Planning Poland Wprowadzenie Introduction Wyzwania polityki UE w zakresie transportu miejskiego Zatłoczenie centrów miast

Bardziej szczegółowo

Lista zwycięzców 30 zł na start z BZWBK24 mobile

Lista zwycięzców 30 zł na start z BZWBK24 mobile Lista zwycięzców 30 zł na start z BZWBK24 mobile KRYSTYNA S. KRYSTYNA C. EDWARD F. KAROLINA C. WOJCIECH T. JANINA F. FRANCISZKA G. HENRYK H. MIROSŁAW W. JULI BARBARA H. CELINA Ł. STANISŁAW K. HELENA S.

Bardziej szczegółowo

MANAGEMENT 2015 PROGRAM XI MIĘDZYNARODOWEJ KONFERENCJI NAUKOWEJ. Wiedza i doświadczenie w budowaniu sukcesu organizacji. Siedlce, 8-9 czerwca 2015 r.

MANAGEMENT 2015 PROGRAM XI MIĘDZYNARODOWEJ KONFERENCJI NAUKOWEJ. Wiedza i doświadczenie w budowaniu sukcesu organizacji. Siedlce, 8-9 czerwca 2015 r. PROGRAM XI MIĘDZYNARODOWEJ KONFERENCJI NAUKOWEJ MANAGEMENT 2015 Wiedza i doświadczenie w budowaniu sukcesu organizacji Siedlce, 8-9 czerwca 2015 r. Instytut Zarządzania i Marketingu Wydział Nauk Ekonomicznych

Bardziej szczegółowo

Fig 5 Spectrograms of the original signal (top) extracted shaft-related GAD components (middle) and

Fig 5 Spectrograms of the original signal (top) extracted shaft-related GAD components (middle) and Fig 4 Measured vibration signal (top). Blue original signal. Red component related to periodic excitation of resonances and noise. Green component related. Rotational speed profile used for experiment

Bardziej szczegółowo

PROGRAM STAŻU. IBM Global Services Delivery Centre Sp z o.o. Nazwa podmiotu oferującego staż / Company name. Muchoborska 8, 54-424 Wroclaw

PROGRAM STAŻU. IBM Global Services Delivery Centre Sp z o.o. Nazwa podmiotu oferującego staż / Company name. Muchoborska 8, 54-424 Wroclaw PROGRAM STAŻU Nazwa podmiotu oferującego staż / Company name IBM Global Services Delivery Centre Sp z o.o. Miejsce odbywania stażu / Legal address Muchoborska 8, 54-424 Wroclaw Stanowisko, obszar działania/

Bardziej szczegółowo

photo graphic Jan Witkowski Project for exhibition compositions typography colors : +48 506 780 943 : janwi@janwi.com

photo graphic Jan Witkowski Project for exhibition compositions typography colors : +48 506 780 943 : janwi@janwi.com Jan Witkowski : +48 506 780 943 : janwi@janwi.com Project for exhibition photo graphic compositions typography colors Berlin London Paris Barcelona Vienna Prague Krakow Zakopane Jan Witkowski ARTIST FROM

Bardziej szczegółowo

OPISY KURSÓW. Nazwa kursu: PROGRAMOWANIE SYSTEMÓW ROZPROSZONYCH NA BAZIE STE- ROWNIKÓW PLC. Język wykładowy: polski

OPISY KURSÓW. Nazwa kursu: PROGRAMOWANIE SYSTEMÓW ROZPROSZONYCH NA BAZIE STE- ROWNIKÓW PLC. Język wykładowy: polski OPISY KURSÓW Kod kursu: MCR40 Nazwa kursu: PROGRAMOWANIE SYSTEMÓW ROZPROSZONYCH NA BAZIE STE- ROWNIKÓW PLC Język wykładowy: polski Forma kursu Wykład Ćwiczenia Laboratorium Projekt Seminarium Tygodniowa

Bardziej szczegółowo

Datacenter - Przykład projektu dla pewnego klienta.

Datacenter - Przykład projektu dla pewnego klienta. Datacenter - Przykład projektu dla pewnego klienta. Wstęp! Technologie oraz infrastruktury wykorzystywane przez Capgemini. Projekt dla pewnego francuskiego klienta założenia Requests Capgemini datacenters

Bardziej szczegółowo

Projekt: Mikro zaprogramowane na sukces!

Projekt: Mikro zaprogramowane na sukces! Projekt współfinansowany przez Unię Europejską w ramach Europejskiego Funduszu Społecznego Projekt: Mikro zaprogramowane na sukces! Opis autoryzowanych szkoleń Oracle planowanych do realizacji w ramach

Bardziej szczegółowo

Tematy prac magisterskich Rok akademicki 2013/2014

Tematy prac magisterskich Rok akademicki 2013/2014 Dr hab. inż. Jan Werewka, prof. n. AGH Wydział EAIiIB AGH E-mail: werewka@agh.edu.pl www: http://home.agh.edu.pl/werewka Tematy prac magisterskich Rok akademicki 2013/2014 Temat 1 Architektura przedsięwzięcia

Bardziej szczegółowo

Presented by. Dr. Morten Middelfart, CTO

Presented by. Dr. Morten Middelfart, CTO Meeting Big Data challenges in Leadership with Human-Computer Synergy. Presented by Dr. Morten Middelfart, CTO Big Data Data that exists in such large amounts or in such unstructured form that it is difficult

Bardziej szczegółowo

Effective Governance of Education at the Local Level

Effective Governance of Education at the Local Level Effective Governance of Education at the Local Level Opening presentation at joint Polish Ministry OECD conference April 16, 2012, Warsaw Mirosław Sielatycki Ministry of National Education Doskonalenie

Bardziej szczegółowo

System optymalizacji produkcji energii

System optymalizacji produkcji energii System optymalizacji produkcji energii Produkcja energii jest skomplikowanym procesem na który wpływa wiele czynników, optymalizacja jest niezbędna, bieżąca informacja o kosztach i możliwościach wykorzystania

Bardziej szczegółowo

Terminarz Szkoleń II kwartał 2013 ACTION CE

Terminarz Szkoleń II kwartał 2013 ACTION CE Terminarz Szkoleń II kwartał 2013 ACTION CE Kod Nazwa szkolenia Czas trwania [h] Data rozpoczęcia W-wa Data rozpoczęcia Poznań Cena katalogow a netto* Cena netto w programie Rabatka** SYSTEMY OPERACYJNE

Bardziej szczegółowo

Zwiększanie Potencjału Na Rzecz Bezpieczeństwa Ruchu Drogowego Building Road Safety Capacity

Zwiększanie Potencjału Na Rzecz Bezpieczeństwa Ruchu Drogowego Building Road Safety Capacity Zwiększanie Potencjału Na Rzecz Bezpieczeństwa Ruchu Drogowego Building Road Safety Capacity Training and certification of Road Safety Experts for the application of Road Safety Audit and Road Safety Inspection

Bardziej szczegółowo

LISTA KURSÓW PLANOWANYCH DO URUCHOMIENIA W SEMESTRZE ZIMOWYM 2015/2016

LISTA KURSÓW PLANOWANYCH DO URUCHOMIENIA W SEMESTRZE ZIMOWYM 2015/2016 LISTA KURSÓW PLANOWANYCH DO URUCHOMIENIA W SEMESTRZE ZIMOWYM 2015/2016 INFORMATYKA I STOPNIA studia stacjonarne 1 sem. PO-W08-INF- - -ST-Ii-WRO-(2015/2016) MAP003055W Algebra z geometrią analityczną A

Bardziej szczegółowo

Brief description of the paper/report. Chain 90% 10% District

Brief description of the paper/report. Chain 90% 10% District Brief description of the paper/report Item Identification Card (IIC) Process Structure Design Produce Deliver Analyse and Understand Chain 90% 10% District Argument Supply Chain Planning Process. Proces

Bardziej szczegółowo

Please fill in the questionnaire below. Each person who was involved in (parts of) the project can respond.

Please fill in the questionnaire below. Each person who was involved in (parts of) the project can respond. Project CARETRAINING PROJECT EVALUATION QUESTIONNAIRE Projekt CARETRAINING KWESTIONARIUSZ EWALUACJI PROJEKTU Please fill in the questionnaire below. Each person who was involved in (parts of) the project

Bardziej szczegółowo

Evaluation of the main goal and specific objectives of the Human Capital Operational Programme

Evaluation of the main goal and specific objectives of the Human Capital Operational Programme Pracownia Naukowo-Edukacyjna Evaluation of the main goal and specific objectives of the Human Capital Operational Programme and the contribution by ESF funds towards the results achieved within specific

Bardziej szczegółowo

Metodyka dla projektu SYRIUSZ

Metodyka dla projektu SYRIUSZ Metodyka dla projektu SYRIUSZ Wprowadzenie Robert Ganowski Warszawa, 29 lipca 2003 r. Czym się zajmujemy? * Program Low Produkt Change programowy Essential (Uogólnienie, testowanie, Money dokumentacja,

Bardziej szczegółowo

Ankiety Nowe funkcje! Pomoc magda.szewczyk@slo-wroc.pl. magda.szewczyk@slo-wroc.pl. Twoje konto Wyloguj. BIODIVERSITY OF RIVERS: Survey to students

Ankiety Nowe funkcje! Pomoc magda.szewczyk@slo-wroc.pl. magda.szewczyk@slo-wroc.pl. Twoje konto Wyloguj. BIODIVERSITY OF RIVERS: Survey to students Ankiety Nowe funkcje! Pomoc magda.szewczyk@slo-wroc.pl Back Twoje konto Wyloguj magda.szewczyk@slo-wroc.pl BIODIVERSITY OF RIVERS: Survey to students Tworzenie ankiety Udostępnianie Analiza (55) Wyniki

Bardziej szczegółowo

Współczesna problematyka klasyfikacji Informatyki

Współczesna problematyka klasyfikacji Informatyki Współczesna problematyka klasyfikacji Informatyki Nazwa pojawiła się na przełomie lat 50-60-tych i przyjęła się na dobre w Europie Jedna z definicji (z Wikipedii): Informatyka dziedzina nauki i techniki

Bardziej szczegółowo

Domy inaczej pomyślane A different type of housing CEZARY SANKOWSKI

Domy inaczej pomyślane A different type of housing CEZARY SANKOWSKI Domy inaczej pomyślane A different type of housing CEZARY SANKOWSKI O tym, dlaczego warto budować pasywnie, komu budownictwo pasywne się opłaca, a kto się go boi, z architektem, Cezarym Sankowskim, rozmawia

Bardziej szczegółowo

Configuring and Testing Your Network

Configuring and Testing Your Network Configuring and Testing Your Network Network Fundamentals Chapter 11 Version 4.0 1 Konfigurowanie i testowanie Twojej sieci Podstawy sieci Rozdział 11 Version 4.0 2 Objectives Define the role of the Internetwork

Bardziej szczegółowo

STUDIA NIESTACJONARNE I STOPNIA Przedmioty kierunkowe

STUDIA NIESTACJONARNE I STOPNIA Przedmioty kierunkowe STUDIA NIESTACJONARNE I STOPNIA Przedmioty kierunkowe Technologie informacyjne prof. dr hab. Zdzisław Szyjewski 1. Rola i zadania systemu operacyjnego 2. Zarządzanie pamięcią komputera 3. Zarządzanie danymi

Bardziej szczegółowo

STUDIA STACJONARNE I STOPNIA Przedmioty kierunkowe

STUDIA STACJONARNE I STOPNIA Przedmioty kierunkowe STUDIA STACJONARNE I STOPNIA Przedmioty kierunkowe Technologie informacyjne Prof. dr hab. Zdzisław Szyjewski 1. Rola i zadania systemu operacyjnego 2. Zarządzanie pamięcią komputera 3. Zarządzanie danymi

Bardziej szczegółowo

Interfejsy człowiek komputer dla osób niepełnosprawnych i w podeszłym wieku

Interfejsy człowiek komputer dla osób niepełnosprawnych i w podeszłym wieku Interfejsy człowiek komputer dla osób niepełnosprawnych i w podeszłym wieku Emilia Mikołajewska 1, Dariusz Mikołajewski 2,3 STRESZCZENIE 1 Klinika Rehabilitacji, 10 Wojskowy Szpital Kliniczny z Polikliniką

Bardziej szczegółowo

MODELOWANIE SYSTEMU OCENY WARUNKÓW PRACY OPERATORÓW STEROWNI

MODELOWANIE SYSTEMU OCENY WARUNKÓW PRACY OPERATORÓW STEROWNI Inżynieria Rolnicza 7(105)/2008 MODELOWANIE SYSTEMU OCENY WARUNKÓW PRACY OPERATORÓW STEROWNI Agnieszka Buczaj Zakład Fizycznych Szkodliwości Zawodowych, Instytut Medycyny Wsi w Lublinie Halina Pawlak Katedra

Bardziej szczegółowo

Kraków, 14 marca 2013 r.

Kraków, 14 marca 2013 r. Scenariusze i trendy rozwojowe wybranych technologii społeczeństwa informacyjnego do roku 2025 Antoni Ligęza Perspektywy rozwoju systemów eksperckich do roku 2025 Kraków, 14 marca 2013 r. Dane informacja

Bardziej szczegółowo

PROJECT. Syllabus for course Global Marketing. on the study program: Management

PROJECT. Syllabus for course Global Marketing. on the study program: Management Poznań, 2012, September 20th Doctor Anna Scheibe adiunct in the Department of Economic Sciences PROJECT Syllabus for course Global Marketing on the study program: Management I. General information 1. Name

Bardziej szczegółowo

XII International PhD Workshop OWD 2010, 23 26 October 2010. Metodyka pozyskiwania i analizy wyników badań symulacyjnych ścieżek klinicznych

XII International PhD Workshop OWD 2010, 23 26 October 2010. Metodyka pozyskiwania i analizy wyników badań symulacyjnych ścieżek klinicznych XII International PhD Workshop OWD 2010, 23 26 October 2010 Metodyka pozyskiwania i analizy wyników badań symulacyjnych ścieżek klinicznych Methodology of Acquiring and Analyzing Results of Simulation

Bardziej szczegółowo

Agile Software Development. Zastosowanie metod Scrum i Kanban.

Agile Software Development. Zastosowanie metod Scrum i Kanban. Radosław Lont, CN, CNXDA Ericpol Telecom Sp. z o.o. radoslaw.lont@ericpol.com Tel.: 663441360 Agile Software Development. Zastosowanie metod Scrum i Kanban. Ericpol kilka słów o Polska firma informatyczna

Bardziej szczegółowo

JAK OPTYMALNIE DOBRAĆ ODPOWIEDNIE TECHNOLOGIE INFORMATYCZNE?

JAK OPTYMALNIE DOBRAĆ ODPOWIEDNIE TECHNOLOGIE INFORMATYCZNE? K O N F E R E N C J A I N F O S H A R E 2 0 0 7 G d a ń s k 25-26.04.2007 JAK OPTYMALNIE DOBRAĆ ODPOWIEDNIE TECHNOLOGIE INFORMATYCZNE? Zespół Zarządzania Technologiami Informatycznymi Prezentacja dr inż.

Bardziej szczegółowo

Modele inżynierii teleinformatyki 7 (Wybrane zastosowania)

Modele inżynierii teleinformatyki 7 (Wybrane zastosowania) POLITECHNIKA KOSZALIŃSKA Modele inżynierii teleinformatyki 7 (Wybrane zastosowania) Redakcja naukowa Krzysztof Bzdyra KOSZALIN 2012 ISBN 978-83-7365-298-9 Przewodniczący Uczelnianej Rady Wydawniczej Mirosław

Bardziej szczegółowo

No matter how much you have, it matters how much you need

No matter how much you have, it matters how much you need CSR STRATEGY KANCELARIA FINANSOWA TRITUM GROUP SP. Z O.O. No matter how much you have, it matters how much you need Kancelaria Finansowa Tritum Group Sp. z o.o. was established in 2007 we build trust among

Bardziej szczegółowo

Cracow University of Economics Poland

Cracow University of Economics Poland Cracow University of Economics Poland Sources of Real GDP per Capita Growth: Polish Regional-Macroeconomic Dimensions 2000-2005 - Keynote Speech - Presented by: Dr. David Clowes The Growth Research Unit,

Bardziej szczegółowo

Terminarz szkoleń, II półrocze, 2015 rok Microsoft

Terminarz szkoleń, II półrocze, 2015 rok Microsoft arz szkoleń, II półrocze, 201 rok Cena Office 2007/2010/201 MS Word poziom średniozaawansowany 2 MS Word poziom zaawanasowany 2 MS Excel poziom średniozaawansowany 2 MS Excel poziom zaawansowany 2 MS Excel

Bardziej szczegółowo

Unit of Social Gerontology, Institute of Labour and Social Studies ageing and its consequences for society

Unit of Social Gerontology, Institute of Labour and Social Studies ageing and its consequences for society Prof. Piotr Bledowski, Ph.D. Institute of Social Economy, Warsaw School of Economics local policy, social security, labour market Unit of Social Gerontology, Institute of Labour and Social Studies ageing

Bardziej szczegółowo

POLITYKA PRYWATNOŚCI / PRIVACY POLICY

POLITYKA PRYWATNOŚCI / PRIVACY POLICY POLITYKA PRYWATNOŚCI / PRIVACY POLICY TeleTrade DJ International Consulting Ltd Sierpień 2013 2011-2014 TeleTrade-DJ International Consulting Ltd. 1 Polityka Prywatności Privacy Policy Niniejsza Polityka

Bardziej szczegółowo

Cracow University of Economics Poland. Overview. Sources of Real GDP per Capita Growth: Polish Regional-Macroeconomic Dimensions 2000-2005

Cracow University of Economics Poland. Overview. Sources of Real GDP per Capita Growth: Polish Regional-Macroeconomic Dimensions 2000-2005 Cracow University of Economics Sources of Real GDP per Capita Growth: Polish Regional-Macroeconomic Dimensions 2000-2005 - Key Note Speech - Presented by: Dr. David Clowes The Growth Research Unit CE Europe

Bardziej szczegółowo

IBM Corporation IBM SOA Center of Excellence

IBM Corporation IBM SOA Center of Excellence IBM Corporation IBM SOA Center of Excellence Service Oriented Architecture - definicje W3C (World Wide Web Consortium) A set of components which can be invoked, and whose interface description can be published

Bardziej szczegółowo

CENNIK I TERMINARZ SZKOLEŃ

CENNIK I TERMINARZ SZKOLEŃ NR KURSU MS 2261 MS 2262 MS 2261 + MS 2262 MS 2272 MS 2273 MS 2274 MS 2275 MS 2276 + MS 2277 MS 2278 MS 2279 MS 2282 MS 2285 MS 2297 MS 2299 MS 6416 MS 6417 CENNIK I TERMINARZ SZKOLEŃ SZKOLENIA TECHNICZNE

Bardziej szczegółowo

Problemy nauki i szkolnictwa wyższego

Problemy nauki i szkolnictwa wyższego Problemy nauki i szkolnictwa wyższego SPIS TREŚCI Ryszard Maciołek, Wiesław Maik, Krzysztof Sikora WPROWADZENIE 11 Część I NAUKA 15 Zbyszko Chojnicki NAUKA JAKO SYSTEM SPOŁECZNO-POZNAWCZY 17 Jan Woleński

Bardziej szczegółowo

Platforma Office 2010

Platforma Office 2010 Collaborate more Platforma Office 2010 Sebastian Wilczewski Konsultant Betacom S.A. 2 Platforma Office 2010 jako narzędzie do efektywnego zarządzania procesami w organizacji. Jak skutecznie zarządzać informacją?

Bardziej szczegółowo

Terminarz Szkoleń ACTION CE

Terminarz Szkoleń ACTION CE Terminarz Szkoleń ACTION CE Kod Nazwa szkolenia Czas trwania [h] Data rozpoczęcia szkolenia Cena katalogowa netto* Cena netto w programie Rabatka** Systemy Operacyjne MS-20410 Installing and Configuring

Bardziej szczegółowo

PORTS AS LOGISTICS CENTERS FOR CONSTRUCTION AND OPERATION OF THE OFFSHORE WIND FARMS - CASE OF SASSNITZ

PORTS AS LOGISTICS CENTERS FOR CONSTRUCTION AND OPERATION OF THE OFFSHORE WIND FARMS - CASE OF SASSNITZ Part-financed by EU South Baltic Programme w w w. p t m e w. p l PROSPECTS OF THE OFFSHORE WIND ENERGY DEVELOPMENT IN POLAND - OFFSHORE WIND INDUSTRY IN THE COASTAL CITIES AND PORT AREAS PORTS AS LOGISTICS

Bardziej szczegółowo

ZAGADNIENIA SPECJALNOŚCIOWE

ZAGADNIENIA SPECJALNOŚCIOWE (ARK) Komputerowe sieci sterowania 1.Zaawansowane metody wyznaczania parametrów regulatorów 2.Mechanizmy innowacyjne. 3.Sieci neuronowe w modelowaniu obiektów dynamicznych. 4.Zasady projektowania i zastosowania

Bardziej szczegółowo

Projekty BPM z perspektywy analityka biznesowego. Wrocław, 20 stycznia 2011

Projekty BPM z perspektywy analityka biznesowego. Wrocław, 20 stycznia 2011 Projekty BPM z perspektywy analityka biznesowego Wrocław, 20 stycznia 2011 Agenda Definicja pojęć: Analiza biznesowa oraz analityk biznesowy Co kryje się za hasłem BPM? Organizacja zarządzana procesowo

Bardziej szczegółowo

Terminarz Szkoleń ACTION CE

Terminarz Szkoleń ACTION CE Terminarz Szkoleń ACTION CE Kod Nazwa szkolenia Czas trwania [h] Data rozpoczęcia W-wa Data rozpoczęcia Poznań Cena katalogow a netto* Cena netto w programie Rabatka** Systemy Operacyjne MS-20410 Installing

Bardziej szczegółowo

Akademia Morska w Szczecinie. Wydział Mechaniczny

Akademia Morska w Szczecinie. Wydział Mechaniczny Akademia Morska w Szczecinie Wydział Mechaniczny ROZPRAWA DOKTORSKA mgr inż. Marcin Kołodziejski Analiza metody obsługiwania zarządzanego niezawodnością pędników azymutalnych platformy pływającej Promotor:

Bardziej szczegółowo

Osoby 50+ na rynku pracy 2013-1-PL1-GRU06-38713

Osoby 50+ na rynku pracy 2013-1-PL1-GRU06-38713 Osoby 50+ na rynku pracy 2013-1-PL1-GRU06-38713 Piąte spotkanie grupy partnerskiej w Katowicach (Polska) 19-20 maj 2015 Program Uczenie się przez całe życie Grundtvig Tytył projektu: Osoby 50+ na rynku

Bardziej szczegółowo

Realizacja systemów wbudowanych (embeded systems) w strukturach PSoC (Programmable System on Chip)

Realizacja systemów wbudowanych (embeded systems) w strukturach PSoC (Programmable System on Chip) Realizacja systemów wbudowanych (embeded systems) w strukturach PSoC (Programmable System on Chip) Embeded systems Architektura układów PSoC (Cypress) Możliwości bloków cyfrowych i analogowych Narzędzia

Bardziej szczegółowo

PROBLEMATYKA WDROŻEŃ PROJEKTÓW INFORMATYCZNYCH W INSTYTUCJACH PUBLICZNYCH

PROBLEMATYKA WDROŻEŃ PROJEKTÓW INFORMATYCZNYCH W INSTYTUCJACH PUBLICZNYCH Zarządzanie Publiczne, vol. 1(14), pp. 63-73 Kraków 2012 Published online June 29, 2012 DOI 10.4467/20843968ZP.12.016.0483 PROBLEMATYKA WDROŻEŃ PROJEKTÓW INFORMATYCZNYCH W INSTYTUCJACH PUBLICZNYCH Beata

Bardziej szczegółowo

RACJONALIZACJA PROCESU EKSPLOATACYJNEGO SYSTEMÓW MONITORINGU WIZYJNEGO STOSOWANYCH NA PRZEJAZDACH KOLEJOWYCH

RACJONALIZACJA PROCESU EKSPLOATACYJNEGO SYSTEMÓW MONITORINGU WIZYJNEGO STOSOWANYCH NA PRZEJAZDACH KOLEJOWYCH RACE NAUKOWE OLITECHNIKI WARSZAWSKIEJ z. Transport 6 olitechnika Warszawska, RACJONALIZACJA ROCESU EKSLOATACYJNEGO SYSTEMÓW MONITORINGU WIZYJNEGO STOSOWANYCH NA RZEJAZDACH KOLEJOWYCH dostarczono: Streszczenie

Bardziej szczegółowo

4D and 5D applications in BIM technology.

4D and 5D applications in BIM technology. 4D and 5D applications in BIM technology. Datacomp Grzegorzecka 79 street, 31-559 Cracow, Poland Paweł Kogut p.kogut@datacomp.com.pl Andrzej Tomana a.tomana@datacomp.com.pl Plan Who we are? Experience.

Bardziej szczegółowo

Specialist training services

Specialist training services Specialist training services Generell Informasjon Versjon 4 Url http://com.mercell.com/permalink/36049817.aspx Ekstern anbuds ID 35213-2013 Konkurranse type: Tildeling Dokument type Kontraktstildeling

Bardziej szczegółowo

USB firmware changing guide. Zmiana oprogramowania za przy użyciu połączenia USB. Changelog / Lista Zmian

USB firmware changing guide. Zmiana oprogramowania za przy użyciu połączenia USB. Changelog / Lista Zmian 1 / 12 Content list / Spis Treści 1. Hardware and software requirements, preparing device to upgrade Wymagania sprzętowe i programowe, przygotowanie urządzenia do aktualizacji 2. Installing drivers needed

Bardziej szczegółowo

Technical training services

Technical training services Technical training services Generell Informasjon Versjon 3 Url http://com.mercell.com/permalink/37865839.aspx Ekstern anbuds ID 276579-2013 Konkurranse type: Tildeling Dokument type Kontraktstildeling

Bardziej szczegółowo

RAMOWY PROGRAM KONFERENCJI

RAMOWY PROGRAM KONFERENCJI XI Międzynarodowa Konferencja Multimedia w Biznesie i Zarządzaniu Częstochowa, 26-27 marca 2015 RAMOWY PROGRAM KONFERENCJI 8.30-15.30 Czwartek, 26.03.2015 r. Biuro Konferencji w Holu Budynku Głównego Wydziału

Bardziej szczegółowo

Financial support for start-uppres. Where to get money? - Equity. - Credit. - Local Labor Office - Six times the national average wage (22000 zł)

Financial support for start-uppres. Where to get money? - Equity. - Credit. - Local Labor Office - Six times the national average wage (22000 zł) Financial support for start-uppres Where to get money? - Equity - Credit - Local Labor Office - Six times the national average wage (22000 zł) - only for unymployed people - the company must operate minimum

Bardziej szczegółowo

Oferta sponsoringu konferencji

Oferta sponsoringu konferencji Oferta sponsoringu konferencji Sejmik Młodych Informatyków (SMI 2013, VIII edycja) Systemy Czasu Rzeczywistego (SCR 2013, XX edycja) Krajowa Konferencja Inżynierii Oprogramowania (KKIO 2013, XV edycja)

Bardziej szczegółowo

1987-2012 DYSKRET POLSKA 1987-2014

1987-2012 DYSKRET POLSKA 1987-2014 25 LAT 27 LAT 1987-2012 DYSKRET POLSKA 1987-2014 nasi klienci dobrze trafili... get your swing on with us... www.dyskret.com.pl 30-023 Kraków, ul. Mazowiecka 131 tel. +48 12 423 31 00, office@dyskret.com.pl

Bardziej szczegółowo

POPRAWKA do POLSKIEJ NORMY PN-EN ISO 9001:2009/AC. Dotyczy PN-EN ISO 9001:2009 Systemy zarządzania jakością Wymagania. listopad 2009 ICS 03.120.

POPRAWKA do POLSKIEJ NORMY PN-EN ISO 9001:2009/AC. Dotyczy PN-EN ISO 9001:2009 Systemy zarządzania jakością Wymagania. listopad 2009 ICS 03.120. POPRAWKA do POLSKIEJ NORMY ICS 03.120.10 PN-EN ISO 9001:2009/AC listopad 2009 Wprowadza EN ISO 9001:2008/AC:2009, IDT ISO 9001:2008/AC1:2009, IDT Dotyczy PN-EN ISO 9001:2009 Systemy zarządzania jakością

Bardziej szczegółowo

CENNIK I TERMINARZ SZKOLEŃ

CENNIK I TERMINARZ SZKOLEŃ NR KURSU MS 2261 MS 2262 MS 2261 + MS 2262 MS 2272 MS 2273 MS 2274 MS 2275 MS 2276 + MS 2277 MS 2278 MS 2279 MS 2282 MS 2285 MS 2297 MS 2299 MS 6416 MS 6417 CENNIK I TERMINARZ SZKOLEŃ SZKOLENIA TECHNICZNE

Bardziej szczegółowo

I INTERNATIONAL SCIENTIFIC CONFERENCE

I INTERNATIONAL SCIENTIFIC CONFERENCE I INTERNATIONAL SCIENTIFIC CONFERENCE EU SECURITY AND CRISIS MANAGEMENT FLOOD-2010 ATENEUM UNIVERSITY IN GDANSK P FUNDATION PRO POMERANIA NOTICE NO. 1 I International Scientific Conference EU SECURITY

Bardziej szczegółowo

Jak skutecznie zarządzać informacją?

Jak skutecznie zarządzać informacją? Jak skutecznie zarządzać informacją? Platforma Office 2010 jako narzędzie do efektywnego zarządzania procesami w organizacji. Zbigniew Szcześniewski Microsoft AGENDA Co ma Office do zarządzania informacją?

Bardziej szczegółowo

CENNIK I TERMINARZ SZKOLEŃ

CENNIK I TERMINARZ SZKOLEŃ NR KURSU CENNIK I TERMINARZ SZKOLEŃ NAZWA KURSU AUTORSKIE SZKOLENIA JAVA i PHP TERMINY KWIECIEŃ MAJ CZERWIEC 8:30-16:00 8:30-16:00 8:30-16:00 LICZBA GODZIN CENA OD OSOBY W PLN JavaScript JS 01 Programowanie

Bardziej szczegółowo

Sustainable mobility: strategic challenge for Polish cities on the example of city of Gdynia

Sustainable mobility: strategic challenge for Polish cities on the example of city of Gdynia Katedra Rynku Transportowego Sustainable mobility: strategic challenge for Polish cities on the example of city of Gdynia dr Marcin Wołek Department of Transportation Market University of Gdansk Warsaw,

Bardziej szczegółowo

Projekty Marie Curie Actions w praktyce: EGALITE (IAPP) i ArSInformatiCa (IOF)

Projekty Marie Curie Actions w praktyce: EGALITE (IAPP) i ArSInformatiCa (IOF) Gliwice, Poland, 28th February 2014 Projekty Marie Curie Actions w praktyce: EGALITE (IAPP) i ArSInformatiCa (IOF) Krzysztof A. Cyran The project has received Community research funding under the 7th Framework

Bardziej szczegółowo

PROJECT. Syllabus for course Principles of Marketing. on the study program: Administration

PROJECT. Syllabus for course Principles of Marketing. on the study program: Administration Poznań, 2012, September 20th Doctor Anna Scheibe adiunct in the Department of Economic Sciences PROJECT Syllabus for course Principles of Marketing on the study program: Administration I. General information

Bardziej szczegółowo

Tytuł System magazynowania ciepła na różnym poziomie temperatur. Krótki opis projektu: Short description of the project:

Tytuł System magazynowania ciepła na różnym poziomie temperatur. Krótki opis projektu: Short description of the project: Tytuł System magazynowania ciepła na różnym poziomie temperatur. Title of the project - System of the heat storage at different temperature level. Krótki opis projektu: Opracowanie systemu akumulacji ciepła

Bardziej szczegółowo

Jazz EB207S is a slim, compact and outstanding looking SATA to USB 2.0 HDD enclosure. The case is

Jazz EB207S is a slim, compact and outstanding looking SATA to USB 2.0 HDD enclosure. The case is 1. Introduction Jazz EB207S is a slim, compact and outstanding looking SATA to USB 2.0 HDD enclosure. The case is made of aluminum and steel mesh as one of the coolest enclosures available. It s also small

Bardziej szczegółowo

I rok. semestr 1 semestr 2 15 tyg. 15 tyg. Razem ECTS. laborat. semin. ECTS. konwer. wykł. I rok. w tym. Razem ECTS. laborat. semin. ECTS. konwer.

I rok. semestr 1 semestr 2 15 tyg. 15 tyg. Razem ECTS. laborat. semin. ECTS. konwer. wykł. I rok. w tym. Razem ECTS. laborat. semin. ECTS. konwer. Wydział Informatyki i Nauki o Materiałach Kierunek Informatyka studia I stopnia inżynierskie studia stacjonarne 08- IO1S-13 od roku akademickiego 2015/2016 A Lp GRUPA TREŚCI PODSTAWOWYCH kod Nazwa modułu

Bardziej szczegółowo

Polska Wszechnica Informatyczna otwarty portal wiedzy. Dariusz Majka menadżer główny projektu Informatyka+

Polska Wszechnica Informatyczna otwarty portal wiedzy. Dariusz Majka menadżer główny projektu Informatyka+ Polska Wszechnica Informatyczna otwarty portal wiedzy Dariusz Majka menadżer główny projektu Informatyka+ Cel projektu PWI Stworzenie portalu dydaktyczno informacyjnego dla studentów oraz wykładowców kierunku

Bardziej szczegółowo

PRACA DYPLOMOWA Magisterska

PRACA DYPLOMOWA Magisterska POLITECHNIKA WARSZAWSKA Wydział Samochodów i Maszyn Roboczych PRACA DYPLOMOWA Magisterska Studia stacjonarne dzienne Semiaktywne tłumienie drgań w wymuszonych kinematycznie układach drgających z uwzględnieniem

Bardziej szczegółowo