Search  English (United States) Hrvatski (Hrvatska)

innovative promotional partnershipDriving the Future with Smart and Intelligent ICT

Technical co-sponsorship

 
Conferences
Opening ceremony
Forum
Workshops
Tutorials - CRO
Conferences
Exhibition
MIPRO 2019 - 42nd International Convention

4COWS - COnference on COmposability, COmprehensibility and COrrectness of Working Software

Tuesday, 5/21/2019 12:00 PM - 1:00 PM, Liburna, Hotel Admiral, Opatija
Wednesday, 5/22/2019 5:00 PM - 7:00 PM, Collegium, Grand hotel Adriatic, Opatija


Presented papers in English will be submitted for inclusion in the IEEE Xplore Digital Library
.

Event program
Tuesday, 5/21/2019 12:00 PM - 1:00 PM,
Liburna, Hotel Admiral, Opatija
12:00 PM - 1:00 PMPapers
Chair: Csaba Szabó
 
1.G. Nagy (Eötvös Loránd Tudományegyetem, Budapest, Hungary)
Comparing Software Complexity of Monadic Error Handling and Using Exceptions 
Exception handling has been the definitive way to handle errors of any kind and exceptional circumstances in modern software. Using exceptions ease comprehension of single-threaded software by reducing complexity, but concurrency and asynchronous programming models require other approaches as the stack at the state of an error may not hold semantically important information. A way to handle such cases has been introduced to standard libraries, for example in Scala, the Try and --to some extent-- Option constructs help programmers. Since these display monadic behaviour, they provide improved composability compared to exception-based methods. Measuring software complexity can be done using software metrics. There are several trivial, well-known candidates -- lines of code, cyclomatic complexity or McCabe-metrics and A-V -- for this purpose. In this paper, we use definitions of widely-known metrics that have been extended for the case of exception handling and compare complexity of monadic error handling with standard exception handling techniques.
2.M. Mészáros, M. Cserép, A. Fekete (Eötvös Loránd University, Budapest, Hungary)
Delivering Comprehension Features into Source Code Editors through LSP 
The maintenance of large, legacy software often results in higher development time and cost due to increasing size and complexity of the codebase and its documentation, their continuously eroding quality and fluctuation among developers. Code comprehension tools are designed to tackle this issue by providing various textual information, visualization views and source code metrics on multiple abstraction levels. These tools usually process not only the codebase, but also the build information, the version control repository and other available information sources. Meanwhile source code editors and integrated development environments (IDEs) are not performing well in the field of code comprehension as they are optimized for writing new code, not for effective browsing. This can easily result in frequent switching between environments during development, hindering effective programming and raising development cost. Language Server Protocol (LSP) is an open-source protocol to connect source code editors with servers that provide language-specific features. In this research we analyze how LSP can be utilized to improve the code comprehension experience inside code editors by integrating the features of such tools through remote procedure calls. As a prototype solution we showcase the integration of two open-source applications: Visual Studio Code and the CodeCompass code comprehension tool.
3.M. Lubbers, P. Koopman, R. Plasmeijer (Radboud University, Nijmegen, Netherlands)
Multitasking on Microcontrollers Using Task Oriented Programming 
Microcontroller Units (MCUs) are all around us powering many of our so called smart devices. Most programs running on MCUs are control applications performing multiple jobs at the same time. Examples of these jobs are: blinking a status LED, reading button states, talking to sensors or communicating with the world. Often these jobs are dependent on each other and require communication between them. Small MCUs have no support for multiple threads, therefore the programmer needs to manually interleave the tasks. The job structure bears great similarities with tasks in Task Oriented Programming (TOP). Tasks representing work that needs to be done, can be interleaved and combined to form compound tasks. The embedded Domain Specific Language (eDSL) mTask is a TOP language that works on even the smallest of MCUs. This paper explains how to write multi-task control applications for MCUs using a TOP language such as mTask.
Wednesday, 5/22/2019 5:00 PM - 7:00 PM,
Collegium, Grand hotel Adriatic, Opatija
5:00 PM - 5:45 PMInvited Lecture
Chair: Csaba Szabó 
A. Salem (Faculty of Computer and Information Sciences, Ain Shams University, Cairo, Egypt), A. Nikitaeva (Faculty of Economics, Southern Federal University, Rostov-on-Don, Russian Federation)
Knowledge Engineering Paradigms for Smart Education and Learning Systems 
Recently, artificial intelligence (AI) receive increasing attention within the field of developing smart digital education. Researchers have been used the computational intelligence (CI) and machine learning techniques methodologies to develop a smart tutoring systems (STSs). On the other side, the convergence of AI, data science and Internet of Things (IoT) is enabling the creation of a new generation of web-based smart systems for all educational and learning tasks. This paper discusses the CI and knowledge engineering paradigms for developing the smart educational and learning systems. In this study the two popular CI paradigms; case-based reasoning and ontological engineering are discussed and analyzed namely. The main objective of this study is to determine and exploration the benefits and advantages of such intelligent paradigms to increase the effectiveness and enhancing the efficiency of the smart tutoring systems. Moreover, the paper addresses the challenges faced by the application developers and knowledge engineers in developing and deploying such systems.
5:45 PM - 7:00 PMPapers
Chair: Elena Somova 
1.T. Hynninen (South-Eastern Finland University of Applied Sciences, Mikkeli, Finland), A. Knutas, J. Kasurinen (LUT University, Lappeenranta, Finland)
Designing Early Testing Course Curricula with Activities Matching the V-Model Phases 
This work addresses the gap between software engineering process terminology in formal education, and the practical skills relevant to testing related work. The V-model is a commonly referenced description of how the software engineering processes are tied to the different software testing levels. It is used in software engineering education to illustrate which type of testing work should be carried out during a certain development stage. However, the V-model is mainly conceptual and tied to the steps in the Waterfall model, leaving the students with little knowledge about what is actually done. To solve this problem, we propose an approach to map the V-Model development phases and testing levels with corresponding, actual testing techniques. We then evaluate the approach by designing the weekly topics, learning goals and testing activities for a 7 week introductory course on the basics software testing and quality assurance. Based on the course outcomes and recent literature, we discuss the strengths and weaknesses of the proposed curriculum.
2.C. Szabó (Technical University of Kosice, Faculty of Electrical Engineering and Informatics, Kosice, Slovakia)
Software Evolution and Profiling in a Competitive Environment 
In this paper, we present our experience with software evolution and profiling at Master level of a technical university. We defined a set of tasks to find and solve an issue of an existing open source project on the web, extended by software profiling and improvement. This improvement has to be proved by application of a suitable software metric as well. The main aim of such a task is to emphasize the importance of program comprehension in software evolution. Our teaching approach on software evolution addresses comprehension in three ways: read, measure and use. Reading code is also important when preparing for evolution, measuring gives a second view on the system, but trying it out is the only way to complete comprehension. We also focus on the difference in students’ behavior that shows a kind of sobriety. We think this modest approach comes from the lack of experience and identify the need for change.
3.Š. Korečko (Faculty of Electrical Engineering and Informatics, Technical University of Košice , Košice, Slovakia)
Project-Based Approach to Teaching Event-Driven Simulation 
Project-based learning emphasizes gaining new skills and knowledge by exploring and solving real-world problems. This should capture students' interest and motivate them to invest substantial effort in the knowledge acquisition and practical application. In this paper we describe and evaluate a particular implementation of the project-based learning to a graduate course focusing on the event-driven simulation. To create simulation models the course uses Coloured Petri nets, a modelling language, which combines the diagrammatical form of Petri nets with the Standard ML functional language. The paper describes the curriculum of the course and evaluates how the benefits of the project-based approach manifest themselves through the students' accomplishments.
4.D. Karuovic (University of Novi Sad, Technical faculty "Mihajlo Pupin", Zrenjanin, Serbia), I. Tasic (University of Novi Sad, Zrenjanin, Serbia), S. Csaba (Faculty of Electrical Engineering and Informatics, Technical University of Kosice, Kosice, Slovakia), V. Vidacek Hains (Faculty of Organization and Informatics, University of Zagreb, Varazdin, Croatia), Z. Namesztovszki (University of Novi Sad, Teacher training faculty in the hungarian language, Subotica, Serbia), M. Kocaleva (Faculty of computer science, University Goce Delcev, Stip, Macedonia), D. Glusac, D. Milanov (University of Novi Sad, Zrenjanin, Serbia)
Influence of Student Computer Literacy on Qualifications for Creating Virtual Learning Environments 
This paper presents the results of research into computer literacy among students from informatics study programmes, and their qualifications in the area of creating virtual learning environments. The participants in the study were students from Serbia, Croatia, Hungary, Macedonia and Slovakia. It is evident that clear differences exist, but similarities as well in terms of computer literacy among students at technical universities in the region. Computer literacy is seen to influence the choice of methods employed for testing the effectiveness of web applications. It is necessary to make changes to the curricula at informatics faculties, and to highlight web usability terms, as well as to introduce subjects that will deal with testing web applications in the context of virtual learning environments.
5.A. M. Salem (Artificial Intelligence and Knowledge Engineering Research Labs, Faculty of Computer and Information, Cairo, Egypt), A. Nikitaeva (Department of Information Economics, Faculty of Economics, Southern Federal University, Rostov on Don, Russian Federation)
Smart Education for Digital Economy 
Recently, artificial intelligence (AI) receive increasing attention within the field of developing smart digital education. Researchers have been used the computational intelligence (CI) and machine learning techniques methodologies to develop a smart tutoring systems (STSs). On the other side, the convergence of AI, data science and Internet of Things (IoT) is enabling the creation of a new generation of web-based smart systems for all educational and learning tasks. This paper discusses the CI and knowledge engineering paradigms for developing the smart educational and learning systems. In this study the two popular CI paradigms; case-based reasoning and ontological engineering are discussed and analyzed namely. The main objective of this study is to determine and exploration the benefits and advantages of such intelligent paradigms to increase the effectiveness and enhancing the efficiency of the smart tutoring systems. Moreover, the paper addresses the challenges faced by the application developers and knowledge engineers in developing and deploying such systems.

Basic information:
Chairs:

Csaba Szabó (Slovakia), Tihana Galinac Grbac (Croatia)

Steering Committee:

Lehel Csató (Romania), João Paulo Fernandes (Portugal), Clemens Grelck (Netherlands), Tihana Galinac Grbac (Croatia), Ján Kollár (Slovakia), Pieter Koopman (Netherlands), Štefan Korečko (Slovakia), Ana Oprescu (Netherlands), Rinus Plasmeijer (Netherlands), Zoltán Porkoláb (Hungary), João Saraiva (Portugal), Elena Somova (Bulgaria), Csaba Szabó (Slovakia), Viktória Zsók (Hungary)

Registration / Fees:
REGISTRATION / FEES
Price in EUR
EARLY BIRD
Up to 6 May 2019
REGULAR
From 7 May 2019
Members of MIPRO and IEEE
200
230
Students (undergraduate and graduate), primary and secondary school teachers
120
140
Others
220
250

The discount doesn't apply to PhD students.

Contact:

Csaba Szabó
Department of Computers and Informatics
Faculty of Electrical Engineering and Informatics
Technical University of Kosice
Letná 9
SK-04200 Kosice, Slovakia

E-mail: csaba.szabo@tuke.sk

Tihana Galinac Grbac
Juraj Dobrila University of Pula
Department of Engineering
Zagrebačka 30
HR-52100 Pula, Croatia

E-mail: tihana.galinac@unipu.hr

Accepted papers will be published in the ISSN registered conference proceedings. Presented papers in English will be submitted for inclusion in the IEEE Xplore Digital Library.
.............
There is a possibility that the selected scientific papers with some further modification and refinement are being published in the Journal of Computing and Information Technology (CIT).



Location:
Opatija, with its 170-year-old tourism tradition, is the leading seaside resort of the Eastern Adriatic and one of the most famous tourist destinations on the Mediterranean. With its aristocratic architecture and style, Opatija has been attracting artists, kings, politicians, scientists, sportsmen, as well as business people, bankers and managers for more than 170 years.

The tourist offer in Opatija includes a vast number of hotels, excellent restaurants, entertainment venues, art festivals, superb modern and classical music concerts, beaches and swimming pools – this city satisfies all wishes and demands.

Opatija, the Queen of the Adriatic, is also one of the most prominent congress cities in the Mediterranean, particularly important for its ICT conventions, one of which is MIPRO, which has been held in Opatija since 1979, and has attracted more than a thousand participants from over forty countries. These conventions promote Opatija as one of the most desirable technological, business, educational and scientific centers in South-eastern Europe and the European Union in general.

For more details, please visit www.opatija.hr and visitopatija.com.

Download
 
News about event
Currently there are no news
 
Media sponsors

 

 

 

 

 

 

 

 

 

 

 

 

 
Patrons - random
HEP ZagrebSveučilište u ZagrebuSveučilište u RijeciFER ZagrebPomorski fakultet Rijeka