Traži  English (United States) Hrvatski (Hrvatska)

inovativno promotivno partnerstvoUsusret budućnosti s pametnim i inteligentnim IKT-om

Tehničko kosponzorstvo

 
Savjetovanja
Svečano otvaranje
Forum
Radionice
Seminari
Savjetovanja
Izložba
MIPRO 2019 - 42. međunarodni skup

4COWS - Sastavljanje, razumijevanje, ispravnost radnog softvera

utorak, 21.5.2019 12:00 - 13:00, Liburna, Hotel Admiral, Opatija
srijeda, 22.5.2019 17:00 - 19:00, Collegium, Grand hotel Adriatic, Opatija


Prezentirani radovi na engleskom jeziku bit će poslani za uključenje u digitalnu bazu IEEE Xplore
.

Program događaja
utorak, 21.5.2019 12:00 - 13:00,
Liburna, Hotel Admiral, Opatija
12:00 - 13:00Radovi
Predsjedatelj: 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.
srijeda, 22.5.2019 17:00 - 19:00,
Collegium, Grand hotel Adriatic, Opatija
17:00 - 17:45Pozvano predavanje
Predsjedatelj: 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.
17:45 - 19:00Radovi
Predsjedateljica: 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.

Osnovni podaci:
Voditelji:

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

Voditeljstvo:

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)

Prijava/Kotizacija:
PRIJAVA / KOTIZACIJE
CIJENA U EUR-ima
Do 6.5.2019.
Od 7.5.2019.
Članovi MIPRO i IEEE
200
230
Studenti (preddiplomski i diplomski studij) te nastavnici osnovnih i srednjih škola
120
140
Ostali
220
250

Popust se ne odnosi na studente doktorskog studija.

Kontakt:

Csaba Szabó
Department of Computers and Informatics
Faculty of Electrical Engineering and Informatics
Technical University of Kosice
Letná 9
SK-04200 Košice, Slovačka

E-mail: csaba.szabo@tuke.sk

Tihana Galinac Grbac
Sveučilište Jurja Dobrile u Puli
Zagrebačka 30
HR-52100 Pula, Hrvatska

E-mail: tihana.galinac@unipu.hr

Prihvaćeni radovi bit će objavljeni u zborniku radova s ISSN brojem. Prezentirani radovi na engleskom jeziku bit će poslani za uključenje u digitalnu bazu IEEE Xplore.
.............
Postoji mogućnost da se odabrani znanstveni radovi uz određenu doradu objave u međunarodnom časopisu Journal of Computing and Information Technology (CIT). 

 

Mjesto održavanja:

Opatija, sa 170 godina dugom turističkom tradicijom, vodeće je ljetovalište na istočnoj strani Jadrana i jedno od najpoznatijih na Mediteranu. Ovaj grad aristokratske arhitekture i stila već 170 godina privlači svjetski poznate umjetnike, političare, kraljeve, znanstvenike, sportaše, ali i poslovne ljude, bankare, menadžere i sve kojima Opatija nudi svoje brojne sadržaje. 

Opatija svojim gostima nudi brojne komforne hotele, odlične restorane, zabavne sadržaje, umjetničke festivale, vrhunske koncerte ozbiljne i zabavne glazbe, uređene plaže i brojne bazene i sve što je potrebno za ugodan boravak gostiju različitih afiniteta. 

U novije doba Opatija je jedan od najpoznatijih kongresnih gradova na Mediteranu, posebno prepoznatljiva po međunarodnim ICT skupovima MIPRO koji se u njoj održavaju od 1979. godine i koji redovito okupljaju preko tisuću sudionika iz četrdesetak zemalja. Ovi skupovi Opatiju promoviraju u nezaobilazan tehnološki, poslovni, obrazovni i znanstveni centar jugoistočne Europe i Europske unije općenito.


Detaljnije informacije se mogu potražiti na www.opatija.hr i www.visitopatija.com.

Download
 
Novosti o događaju
Trenutno nema novosti
 
Medijski pokrovitelji

 

 

 

 

 

 

 

 

 

 

 

 

 
Suorganizatori - nasumično
ENT ZagrebA1 HrvatskaEkonomski fakultet RijekaTehničko veleučilište u ZagrebuHATZ