Zobrazeno 1 - 10
of 22
pro vyhledávání: '"Hannu-Matti Järvinen"'
The intake of computer science faculty has rapidly increased with simultaneous reductions to course personnel. Presently, the economy is recovering slightly, and students are entering the working life already during their studies. These reasons have
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ce42b5e7abd68b036911ddd208dc734e
https://trepo.tuni.fi/handle/10024/146216
https://trepo.tuni.fi/handle/10024/146216
Publikováno v:
Product-Focused Software Process Improvement ISBN: 9783031213878
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::75c397b094a3ac9fa06e6dcff62d718b
https://doi.org/10.1007/978-3-031-21388-5_28
https://doi.org/10.1007/978-3-031-21388-5_28
Publikováno v:
Communications in Computer and Information Science ISBN: 9783319946399
Computing is the latest add-on to enhance the K-12 curricula of many countries, with the purpose of closing the digital skills gap. The revised Finnish Curriculum 2014 integrates computing mainly into math. Consequently, Finland needs to train math t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::31a0c736a22d5f57ff33c6145f0fbd72
https://trepo.tuni.fi/handle/10024/104246
https://trepo.tuni.fi/handle/10024/104246
Publikováno v:
MEMOCODE
Traditional methods of managing concurrent processes are difficult and prone to errors. We propose that actions can provide a much simpler approach to the problem. In this paper, we use Temporal Logic of Actions to define an execution system that can
Publikováno v:
Journal of Information Technology Education: Research, Vol 3, Pp 245-262 (2004)
Tampere University
Tampere University
Introduction Programming style, i.e., the way to use a programming language and to write program code, is one of the important but too often neglected issues in programming. With habits of writing bad code, it is possible to make a program impossible
Publikováno v:
Tampere University
In this paper, we introduce the baseline of a software and system architecture where a static configuration of software components is prescribed but application-dependent behaviors remain customizable. Reflecting the facilities of the formal method D
Autor:
Essi Isohanni, Hannu-Matti Järvinen
Publikováno v:
Koli Calling
Visualization tool developers and researchers deliberate on the future directions of tool design and research. Sometimes, it is argued that visualization tools are not used widely. However, there is no factual knowledge about the current rate of visu
Publikováno v:
VISSOFT
Many commonly used systems, for example event-based systems, can be considered action systems. Traditionally, action systems have only been visualized behaviorally using state diagrams, which requires translating the system into a state machine and d
Publikováno v:
Koli Calling
Embedded systems have been an important part of daily human life for a long time. However, in academic education the subject is somewhat new and to some extent undefined. Most courses focus on hardware aspects of embedded systems, and at the same tim
Autor:
Kirsti Ala-Mutka, Hannu-Matti Järvinen
Publikováno v:
ICALT
Tampere University
Tampere University
Assessment provides means for influencing students' learning results and strategies on university courses. However, supporting students to learn practical programming skills requires carefully designed assignments and their assessment. This paper stu