Control systems are becoming ever more commonly used in everyday life. This is true both in industry and in the domestic domain, in the form of e.g., smart home systems. The quality of such systems can be increased by using formal verification methods, such as the model checking technique, to make sure that the designed system fulfills all user…

While the introduction of memory-safe programming languages into embedded, Cyber-Physical Systems (CPS) offers an opportunity to eliminate many system vulnerabilities, a pragmatic adoption of memory-safe programming languages often necessitates incremental deployment due to practical development constraints, such as the size of many legacy code…

Continuing to fill the literature gap, this research replicated and expands a prior study of student performance in database normalization in an introductory database course. The data was collected from four different universities, each having different prerequisite courses for their database course. Student performance on a database normalization…

Artificial intelligence (AI) education is becoming an advanced learning trend in programming education. However, AI subjects can be difficult to understand because they require high programming skills and complex knowledge. This makes it challenging to determine how different departments of students are affected by them. This study draws on…

Programming students need to be informed about plagiarism and collusion. Hence, we developed an assessment submission system to remind students about the matter. Each submission will be compared to others and any similarities that do not seem a result of coincidence will be reported along with their possible reasons. The system also employs…

In the current literature, there is limited evidence of the effects of teaching programming languages using two different paradigms concurrently. In this paper, we present our experience in using a multiparadigm and multiprogramming approach for an Introduction to Programming course. The multiparadigm element consisted of teaching the imperative…

Programmed control systems are ubiquitous in the present-day world. In current educational practice, however, these systems are hardly being addressed, and little is known about children's spontaneous understandings about such systems. Therefore, we explored pupils' understandings prior to instruction in three concrete settings: a car park, an…

A class diagram is one of the most important diagrams of Unified Modeling Language (UML) and can be used for modeling the static structure of a software system. Learning from errors is a teaching approach based on the assumption that errors can promote learning. We applied a constructive approach of using errors in designing a UML class diagram in…

While demand for cybersecurity professionals is high, the field is currently facing a workforce shortage and a skills gap. Thus, an examination of current cybersecurity position hiring requirements may be advantageous for helping to close the skills gap. This work examines the education, professional experience, industry certification, security…

Data Structures and Algorithms (DS) is a basic computer science course that is a prerequisite for taking advanced information systems (IS) curriculum courses. The course aims to teach students how to analyze a problem, design a solution, and implement it using pseudocode to construct knowledge and develop the necessary skills for algorithmic…

The current and ongoing challenges brought on by climate change will require future scientists who have hands-on experience using advanced molecular techniques, can work with large data sets, and can make correlations between metadata and microbial diversity. A course-embedded research project can prepare students to answer complex research…

The academic success of first-year students' learning in science faculties is by no means assured, especially in an Open Distance Learning setting with its limited number of face-to-face encounters between students and lecturers or tutors. Therefore, such encounters should be highly efficient in view of the considerable amount of knowledge…

This paper reviews the evolution of a senior level, live-client project development capstone class in the Analytics and Information Systems department of an AACSB accredited College of Business. The paper traces changes in methodologies and technologies leading to the current Scrum based approach, using ASP.NET Model-View-Controller, MVC, as the…

This case provides an opportunity for classroom discussion of ethical issues addressed by computing technologists and the Association of Computing Machinery (ACM) Code of Ethics as the authors describe a recent lawsuit brought against Sutter Health. Security issues, data breaches and compliance with industry privacy rules are common concerns for…

In this research project we describe the legacy software landscape, its current state, and challenges associated with aging information systems and access to its data. We briefly describe the popularity of dynamic languages and how a specific dynamic programming language, Ruby on Rails (RoR or Rails), is used to create a system to extract data…