Papers

Springer Volume

No. Title Authors
1 A survey investigating the influence of business analysis techniques on software quality characteristics Katarzyna Mossakowska and Aleksander Jarzebowicz
2 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
3 Ensuring the Strong Exception Safety Piotr Kosiuczenko
4 Software development for modeling and simulation of computer networks: complex systems approach. Andrzej Paszkiewicz and Marek Bolanowski
5 Modelling and Verification of Real-Time Systems with Alvis Marcin Szpyrka, Łukasz Podolski and Michał Wypych
6 Temporal Costs of Computing Unit Redundancy in Steady and Transient State Jacek Stój and Andrzej Kwiecien
7 Managing Software Complexity by Exploiting Software Similarity Patterns Stanislaw Jarzabek
8 Efficient testing of time-dependent, asynchronous code Tomasz Lewowski
9 SIPE: A Domain-Specific Language for Specifying Interactive Programming Exercises Jakub Swacha
10 A Scrum-centric Framework for Organizing Software Engineering Academic Courses Mirosław Ochodek
11 Automatic processing of dynamic business rules written in a controlled natural language Bogumiła Hnatkowska and Tomasz Gawęda
12 Continuous Test-Driven Development: A Preliminary Empirical Evaluation using Agile Experimentation in Industrial Settings Lech Madeyski and Marcin Kawalerowicz
13 Enterprise Architecture Modifiability Analysis Norbert Busch and Andrzej Zalewski
14 Control operation flow for mobile access control with the use of MABAC model Aneta Majchrzycka and Aneta Poniszewska-Maranda
15 A prototype tool for semantic validation of UML class diagrams with the use of domain ontologies expressed in OWL 2 Małgorzata Sadowska

PTI Volume (EN)

No. Title Authors
1 Frequency-rank plots in analysis of machine code Michał Wroński
2 Methods and means of creating applications to control a complex network environment Marek Bolanowski and Andrzej Paszkiewicz
3 Cloud-based Vehicle Managing System Mateusz Kut, Bartosz Pawłowicz and Bartosz Trybus
4 Selected aspects of security mechanisms for transactions in Bitcoin virtual commerce Aneta Poniszewska-Maranda, Joanna Pawelska and Aneta Majchrzycka
5 Assessment of Basic Architectural Decisions in Mobile Software Development Andrzej Ratkowski, Andrzej Zalewski and Małgorzata Purwin
6 Rybu: Imperative-style Preprocessor for Verification of Distributed Systems in the Dedan Environment Wiktor Daszczuk, Maciej Bielecki and Jan Michalski
7 Experiences in Teaching Model Transformation with the QVT Language Anna Derezinska
8 User-Perceived Performance Analysis of Single-Page Web Application Using Navigation, Resource and User Timing API Radosław Markiewicz and Ziemowit Nowak
9 Emotional intelligence in mobile games Marcin Daszuta, Dominik Szajerman and Piotr Napieralski
10 Iterative Data Flow Analysis for Code Change Propagation in Java Programs Grzegorz Kochański
11 Real-time control of the Mitsubishi RV-2F robot Andrzej Turnau and Zwonarz Wojciech
12 Using precise requirements models as programs Wiktor Nowakowski, Kamil Rybiński and Michal Smialek

PTI Volume (PL)

No. Title Authors
1 Implementacja systemu wspierającego zjawisko emergencji w modelowaniu procesów biznesowych Maciej Koryl, Paweł Dymora and Mirosław Mazurek
2 Budowa systemu do obliczeń rozproszonych z wykorzystaniem typowej infrastruktury laboratoryjnej Michał Madera and Tomasz Śliwa
3 Tryb konfiguracji pewnego rozproszonego systemu sterowania Bartosz Trybus and Leszek Trybus
4 Wybrane problemy wytwarzania systemów czasu rzeczywistego dla bezpilotowych statków powietrznych Sławomir Samolej, Tomasz Rogalski and Dariusz Rzońca
5 Optymalizacja skryptu NuSMV modelującego scenariusz zdarzeń zagrażających bezpieczeństwu na lotnisku Paweł Głuchowski
6 Edytor graficzny języka LD dla pakietu CPDev Zbigniew Świder and Leszek Trybus
7 Usługa ORM typu REST – model i implementacja Grzegorz Dec and Piotr Woźniak
8 Wykorzystanie języka SFC pakietu CPDev w procesach sterowania sekwencyjnego Dariusz Rzonca, Andrzej Stec and Bartosz Trybus