Schedule

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
problems)

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