The following tutorials will be held during the conference:
- 1. Software Reuse – Software Product Line Approach
- 2. From Enterprise Architecture to Software Architecture
- 3. Brief Introduction to Test-Driven Development
- 4. Network Software Validation. The Alternative of traditional Testing Approach – The prove of software quality
Admission to the tutorials is free of charge. Priority is given to the participants of the KKIO conference. Participation in the tutorials requires registration.
Software Reuse – Software Product Line Approach
Full name: Stanisław Jarząbek
Affiliation: Bialystok University of Technology
Stanisław Jarząbek is a Prof. PB at Bialystok University of Technology. He received MSc and PhD from Warsaw University. He works on software engineering (software reuse and maintenance), and mHealth – use of mobile technology to improve delivery of healthcare. He works with industries, and a reuse method developed in his lab have been applied in industry. He is an author of a book Effective Software Maintenance and Evolution: Reuse-based Approach, CRC Press, 2007, published over 100 papers, and gave tutorials at international forums.
Polish or English
• Do you find yourself solving similar design problems and writing similar code over and over again?
• Do you develop and maintain multiple versions of the same software application – for different clients or platforms?
• Do you reuse code by replicating code sections, files (“copy-paste-modify”) to create new application versions from existing ones?
• Do you end up maintaining overly complex, error-prone programs?
If your answer to some of the above is ‘yes’ – you will find this tutorial interesting and useful. The tutorial will introduce attendees to techniques for designing reusable software that can be flexibly re-configured and adapted to ever changing requirements.
Reuse has been the main inspiration for software productivity improvements. I will discuss the state-of-the-art Software Product Line (SPL) approach to software reuse. SPL creates a conceptual base to address questions such as above in effective way. In SPL, we focus on a family of similar software systems (e.g., web applications or mobile apps) and try to develop and maintain all of them from a common base of reusable components.
The tutorial will familiarize the audience with reuse techniques applied in small- to medium-size companies, architectural/component design, common and advanced variability techniques.
It is a 1.5-hour slide-based presentation for software practitioners and researchers, project leaders, analysts and designers, and those in charge of technology adoption.
From Enterprise Architecture to Software Architecture
Full name: Jan Werewka, dr hab. inż. prof. n. AGH
Affiliation: AGH, Department of Applied Informatics, WEAIiIB
He currently works at the Department of Applied Informatics, AGH University of Science and Technology. He was one of the founders of ATSI SA in 1997. He led the company as CEO for 17 years until 2014. He is the founder and the director of Postgraduate Studies “Software Project Management” (http://wozpi.agh.edu.pl/) organized at AGH continuously since 2009. He is the founder and the director of the IT Architecture Academy IT (http://www.it-architecture.agh.edu.pl/), which specializes in trainings in the area of the enterprise architecture and software. It is the initiator of part-time PhD studies at the Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering (http://www.it-phd-studies.agh.edu.pl/home/).
The aim of the workshops is the optimal software development that is compatible with the objectives of the company and the customer for whom the software is implemented and maintained.
We present a systematic approach based on corporate enterprise architectures and architectural landscape of the developed software.
Workshop participants will receive educational posters of the Academy of IT Architecture (http://www.it-architecture.agh.edu.pl/) explaining the presented approach.
1. Corporate architectures of IT comapnies
2. Modeling of enterprise and software architecture in ArchiMate
3. The software architecture of two speeds for the doubled enterprise architecture
From 5 to 16 participants
Brief Introduction to Test-Driven Development
Full name: Krzysztof Jelski
Affiliation: Head of Training at Pragmatists
Krzysztof Jelski manages all the training efforts of Pragmatists, offering software teams unique training experience in technical agile practices. He has delivered workshops in Test-Driven Development and other skills to more than 250 people over the last 5 years. Krzysztof also helps development teams to collaborate more closely with business people.
Polish or English
Test-Driven Development is a programming practice, which has huge impact on quality and design of software projects. It leads to code that is more maintainable, understandable and has fewer defects. However, it’s a quite a demanding skill – it requires a change of developer habits.
The goal of this workshop is to introduce participants to TDD, demonstrate how it works and then give a chance to try it out.
First part of the workshop will include TDD theory and a live coding demo. Second part will be an exercise, in which participants will try out TDD for themselves.
• How can TDD help in improving software development efforts?
• What are the benefits of Test-Driven Development?
• TDD cycle – Red-Green-Refactor
• TDD demo – a live coding demonstration
• TDD coding workshop – solve a coding challenge using TDD
Maximum number of participants: 30
Network Software Validation.
The Alternative of traditional Testing Approach – The prove of software quality
Full name: Marek J. Greniewski
Affiliation: European University of Information Technology and Economics
Marek J. Greniewski (born in Warsaw, Poland 1932). Education: 1950-54 MSc in mathematics Warsaw University. 1956 PhD degree in applied mathematics Warsaw Technical University. 1970 DSc in data processing for production control (MRP II approach) Warsaw Economical University. Publications: 5 books in Polish: “Introduction to computer programming and modeling” (1961), PWN, Warsaw, Poland. “Automatic Data Processing – Management Robot” (1967), PWN, Warsaw, Poland. “Data Processing Technology for Management Control” (1972), Wydawnictwo Ekonomiczne, Warsaw, Poland. “MRP II Background Information” (1993), UCL SA, Warsaw, Poland. “Information technology and formal logic” (2016), European University of Information Technology and Economics.
Polish or English
The numerical methods of validation network software systems, based on results Edmund Clarke, Allen Emerson, Joseph Sifakis and Gerald Holzmann modeling language PROMELa and the tool SPIN CHECKER.
Topics of interest include, but are not limited to:
• Model Checking Theory: Algorithmic Verification and Debugging
• The SPIN Model Checker
1. Short presentation of Clarke, Emerson and Sifakis theory of the Logical Model Checker (2007 ACM A.M. Turing Award)
2. Introduction to PROMELA Language
3. The ERIGONE Model Checker – the simplify version of checking tool
4. Examples of use ERIGONE Model Checker
Maximal number of participants: 20
Software: The Erigone Model Checker