Below is a detailed schedule of the KKIO Conference. The schedule is still subject to change/fixes.
Thursday, September 14th
Time | Chairman | Room | |
12:00 – 15:00 | Registration | Hotel reception/ conference office (1’st flor) | |
13:00 – 14:00 | Conference lunch | Hotel restaurant (Orchidea) | |
14:00 – 14:30 | Conference opening | Piotr Kosiuczenko, Lech Madeyski | Sala platynowa |
14:30 – 15:30 | Keynote: prof. Tracy Hall | Lech Madeyski | Sala platynowa |
15:30 – 16:00 | Coffee break | Foyer | |
16:00 – 17:00 | Session S1: Software quality and testing | Pekka Abrahamsson | Sala platynowa |
16:00 – 17:00 | Session S2: Software engineer education and engineering of educational software (S4ES) | Jakub Swacha | Sala perłowa |
17:00 – 17:15 | Coffee break | Foyer | |
17:15 – 18:15 | Session S3: Business analysis and modelling | Michał Śmiałek | Sala platynowa |
17:15 – 18:15 | Session S4: New perspectives on software architecture (NePSA) | Marek Bolanowski | Sala perłowa |
17:15 – 18:45 | Workshop 1: Introduction to cloud computing with Microsoft Azure | Karol Żak | Rzeszow University Campus Building A0, room 126 |
19:00 – 21:00 | Conference dinner | Hotel restaurant (Orchidea) |
Friday, September 15th
Time | Chairman | Room | |
9:00 – 10:00 | Keynote: prof. Alexander Egyed | Piotr Kosiuczenko | Sala platynowa |
10:00 – 10:15 | Coffee break | Foyer | |
10:15 – 11:35 | Session S5: Development, analysis and applications of real-time systems – A (DAARTS) | Leszek Trybus | Sala perłowa |
10:15 – 11:35 | Session S6: Web and Mobile Software Development (WeMoS) | Aneta Poniszewska-Marańda | Sala platynowa |
11:35 – 11:50 | Coffee break | Foyer | |
11:50 – 13:00 | Session S7: Cloud computing and distributed systems | Andrzej Kwiecień | Sala platynowa |
11:50 – 13:00 | Session S8: Software processes and programming languages | Stanislaw Jarząbek | Sala perłowa |
13:15 – 14:15 | Conference lunch | Hotel restaurant (Orchidea) | |
14:15 – 17:15 | Trip to Łańcut (meeting at the entrance to the hotel- 14:10) | ||
Alternatively | |||
15:00 – 19:00 | Methodology for application development in Microsoft Azure (Workshop 2) An event associated with the conference KKIO 2017 |
Karol Żak | Rzeszow University Campus Building B4, room 308 |
18:45 | KKIO SC meeting | Sala perłowa | |
19:30 | Conference banquet | Sala kryształowa |
Saturday, September 16th
Time | Chairman | Room | |
9:00 – 10:00 | Session S9: Development, analysis and applications of real-time systems – B (DAARTS) | Sławomir Samolej | Sala Perłowa |
9:00 – 10:00 | Session S10: Software tools | Mirosław Ochodek | Sala platynowa |
10:00- 12:00 | PTI Scientific Council meeting | Sala Perłowa | |
10:00 – 13:00 | FRCS From Requirements to Code in a Snap (Workshop 6) | Michał Śmiałek | Sala Alabastrowa |
10:00 -12:00 | The aspects of manufacturing the software classified as a medical device (Workshop 5) | Michał Madera | Sala Platynowa |
12:15 -13:45 | RMK – Recruit, Motivate, Keep – IT employee strongly needed (Workshop 4) | Iga Chmielińska | Sala Platynowa |
10:00- 12:00 | Unity3D for scientific simulation and educational purposes (Workshop 3) | Michał Wroński | Rzeszow University Campus Building B4, room 308 |
13:00-14:30 | Conference lunch | Hotel restaurant (Orchidea) |
Detailed session program
Session S1: Software quality and testing | ||
1. | Continuous Test-Driven Development: A Preliminary Empirical Evaluation using Agile Experimentation in Industrial Settings | Lech Madeyski and Marcin Kawalerowicz |
2. | Efficient testing of time-dependent, asynchronous cod | Tomasz Lewowski |
3. | Ensuring the Strong Exception Safety | Piotr Kosiuczenko |
a | ||
Session S2: Software engineer education and engineering of educational software (S4ES) | ||
1. | A Scrum-centric Framework for Organizing Software Engineering Academic Courses | Mirosław Ochodek |
2. | SIPE: A Domain-Specific Language for Specifying Interactive Programming Exercises | Jakub Swacha |
3. | Experiences in Teaching Model Transformation with the QVT Language | Anna Derezińska |
a a | ||
Session S3: Business analysis and modelling | ||
1. | A prototype tool for semantic validation of UML class diagrams with the use of domain ontologies expressed in OWL 2 | Małgorzata Sadowska |
2. | Automatic processing of dynamic business rules written in a controlled natural language | Bogumiła Hnatkowska and Tomasz Gawęda |
3. | A survey investigating the influence of business analysis techniques on software quality characteristics | Katarzyna Mossakowska and Aleksander Jarzębowicz |
a | ||
Session S4: New perspectives on software architecture (NePSA) | ||
1. | Enterprise Architecture Modifiability Analysis | Norbert Busch and Andrzej Zalewski |
2. | Managing Software Complexity by Exploiting Software Similarity Patterns | Stanislaw Jarzabek |
3. | Assessment of Basic Architectural Decisions in Mobile Software Development | Andrzej Ratkowski, Andrzej Zalewski and Małgorzata Purwin |
a | ||
Session S5: Development, analysis and applications of real-time systems – A (DAARTS) | ||
1. | Software development for modeling and simulation of computer networks: complex systems approach. | Andrzej Paszkiewicz and Marek Bolanowski |
2. | Temporal Costs of Computing Unit Redundancy in Steady and Transient State | Jacek Stój and Andrzej Kwiecień |
3. | Modelling and Verification of Real-Time Systems with Alvis | Marcin Szpyrka, Łukasz Podolski and Michał Wypych |
4. | Real-time control of the Mitsubishi RV-2F robot | Andrzej Turnau and Wojciech Zwonarz |
a | ||
Session S6: Web and Mobile Software Development (WeMoS) | ||
1. | Control operation flow for mobile access control with the use of MABAC model | Aneta Majchrzycka and Aneta Poniszewska-Marańda |
2. | Selected aspects of security mechanisms for transactions in Bitcoin virtual commerce | Aneta Poniszewska-Maranda, Joanna Pawelska and Aneta Majchrzycka |
3. | Emotional intelligence in mobile games | Marcin Daszuta, Dominik Szajerman and Piotr Napieralski |
4. | User-Perceived Performance Analysis of Single-Page Web Application Using Navigation, Resource and User Timing API | Radosław Markiewicz and Ziemowit Nowak |
a | ||
Session S7: Cloud computing and distributed systems | ||
1. | Cloud-based Vehicle Managing System | Mateusz Kut, Bartosz Pawłowicz and Bartosz Trybus |
2. | Methods and means of creating applications to control a complex network environment | Marek Bolanowski and Andrzej Paszkiewicz |
3. | Rybu: Imperative-style Preprocessor for Verification of Distributed Systems in the Dedan Environment | Wiktor Daszczuk, Maciej Bielecki and Jan Michalski |
4. | Usługa ORM typu REST – model i implementacja | Grzegorz Dec and Piotr Woźniak |
a | ||
Session S8: Software processes and programming languages | ||
1. | Female leadership in IT projects – A preliminary result on leadership style and context factors | Anh Nguyen Duc, Soudabeh Khodambashi, Jon Atle Gulla, John Krogstie and Pekka Abrahamsson |
2. | Using precise requirements models as programs | Wiktor Nowakowski, Kamil Rybiński and Michal Śmiałek |
3. | Frequency-rank plots in analysis of machine code | Michał Wroński |
4. | Iterative Data Flow Analysis for Code Change Propagation in Java Programs | Grzegorz Kochański |
a | ||
Session S9: Development, analysis and applications of real-time systems – B (DAARTS) | ||
1. | Wybrane problemy wytwarzania systemów czasu rzeczywistego dla bezpilotowych statków powietrznych
(Eng. Real-time systems development for unmanned aerial vehicles – selected |
Sławomir Samolej, Tomasz Rogalski and Dariusz Rzońca |
2. | Tryb konfiguracji pewnego rozproszonego systemu sterowania
(Eng. Configuration mode of a distributed control system) |
Bartosz Trybus and Leszek Trybus |
3. | Wykorzystanie języka SFC pakietu CPDev w procesach sterowania sekwencyjnego
(Eng. “Using SFC language from CPDev package for sequential control processes) |
Dariusz Rzońca, Andrzej Stec and Bartosz Trybus |
4. | Optymalizacja skryptu NuSMV modelującego scenariusz zdarzeń zagrażających bezpieczeństwu na lotnisku
(Eng. Optimization of a NuSMV script, that models a scenario of events endangering airport safety) |
Paweł Głuchowski |
Session S10: Software tools | ||
1. | Budowa systemu do obliczeń rozproszonych z wykorzystaniem typowej infrastruktury laboratoryjnej
(Eng. Distributed computing system built on top of typical laboratory infrastructure) |
Michał Madera and Tomasz Śliwa |
2. | Edytor graficzny języka LD dla pakietu CPDev
(Eng. A graphical editor for the LD language from the CPDev package) |
Zbigniew Świder and Leszek Trybus |
3. | Implementacja systemu wspierającego zjawisko emergencji w modelowaniu procesów biznesowych | Maciej Koryl, Paweł Dymora and Mirosław Mazurek |
4. | Concluder – narzędzie analizy problemu zgodności par
(Eng. Concluder – a tool for pairwise comparison problem analysis) |
Dominik Strzałka
|