Tool Presentation: Teaching Concurrency and Model Checking

Ben‐Ari, Mordechai

doi:10.1007/978-3-642-02652-2_5

Cited by 8 publications

(3 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…While student attitudes are certainly informative, to further evaluate the appropriateness of teaching parallel programming to secondary school students, a second study was conducted. As previous authors have underscored practical experience in learning parallel programming [ 68 , 69 ], which is in line with the constructivist approach [ 70 ], the second study includes a practical assignment.…”

Section: Conducted Researchmentioning

confidence: 89%

“…D. H. Clements [ 68 ] asserts that transferring from serial to parallel programming is difficult and that parallel programming should take place earlier in the curriculum. M. Ben-Ari [ 69 ] consider that parallel programming should be taught earlier than is the current practice, even as early as secondary schools. A. Rifkin [ 23 ] believes that secondary school students should be learning serial and parallel programming simultaneously.…”

Section: Methodsmentioning

confidence: 99%

See 1 more Smart Citation

Has the time come to teach parallel programming to secondary school students?

Brođanac

Novak

Boljat

2022

Heliyon

View full text Add to dashboard Cite

Today, almost every computer has at least one multicore processor. To remain in stride with hardware developments, numerous university faculties oriented towards computer science have introduced parallel programming as an integral part of their courses. The question is, given the availability of parallel architectures, and considering future trends in programming, whether it is time for parallel programming to also become an integral part of the informatics curriculum in secondary schools? This paper presents research conducted in three schools in Croatia over several school years. A total of 162 students from the science-mathematic high schools participated in the research. The results, based on student evaluations, suggest that this course content is equally interesting and somewhat more difficult, and perceived as equally useful as other course content taught to students. Moreover, the findings indicate that students can understand and later apply some of the fundamental concepts of parallel programming.

show abstract

Section: Conducted Researchmentioning

confidence: 89%

Section: Methodsmentioning

confidence: 99%

Has the time come to teach parallel programming to secondary school students?

Brođanac

Novak

Boljat

2022

Heliyon

View full text Add to dashboard Cite

show abstract

“…• the requirement to learn new, unpopular programming languages, which increases the costs of using the method: [34], [75], [84]. • the ambiguity in the transformation of the program code to other formal representations, e.g.…”

Section: Summary Of Selected Solutionsmentioning

confidence: 99%

Detection of Concurrency Errors in Multithreaded Applications Based on Static Source Code Analysis

Giebas

Wojszczyk

2021

IEEE Access

View full text Add to dashboard Cite

Computer systems that allow multithreaded execution of applications have become extremely common, even small portable devices operate in multithreaded mode. This is undoubtedly very convenient for users, but for programmers it is associated with many unwanted errors, which can occur after writing application code. These errors include race condition, deadlock, atomicity violation and order violation. The subject of this work is related to the detection of these errors in the process of static software analysis. The paper presents the author's model, which was then used to detect the above-mentioned occurrences, additionally each error has been discussed in detail. A tool supporting the detection of errors in multithreaded applications was also developed and the results of this tool were presented.

show abstract

Repair of Multithreaded Errors in the Control and Measurement System

Wojszczyk

Giebas

2021

Lecture Notes in Networks and Systems

View full text Add to dashboard Cite

Nowadays, one does not need to be a professional to build IT systems. Such systems may offer expected functionalities, but they are often insufficiently tested. Lack of testing results in many problems in software operation, including errors in multithreaded applications. In this paper an attempt has been made to detect errors in multithreaded application, which has not been tested prior to the implementation.

show abstract

Tool Presentation: Teaching Concurrency and Model Checking

Cited by 8 publications

References 9 publications

Has the time come to teach parallel programming to secondary school students?

Has the time come to teach parallel programming to secondary school students?

Detection of Concurrency Errors in Multithreaded Applications Based on Static Source Code Analysis

Repair of Multithreaded Errors in the Control and Measurement System

Contact Info

Product

Resources

About