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…

Objectives: Code style is an important aspect of text-based programming because programs written with good style are considered easier to understand and change and so improve the maintainability of the delivered software product. However teaching code style is complicated by the existence of many style guides and standards that contain…

Business analytics is a fast-growing field that requires a combination of technical, analytical, and communication skills. This article aims to identify the most sought after skills for business analytics jobs based on a content analysis of over 2600 online job postings. The results show that the top skills include analytics, communication,…

The employment rate of software developers has risen significantly over the last 30 years. As a result, more students are considering computer science as a potential career path. Over the last 15 years, introductory programming course (CS1) enrollment has been increasing at a much faster rate than the increase in the number of CS faculty, with no…

Collaboration is an important aspect of computing. In a classroom setting, working with others can increase a student's motivation to attempt more challenges, reduce the difficulty of complicated concepts, and bring about greater overall success. Despite extensive research in other domains, there has been minimal exploration within computing on…

Colleges and schools of education serve K12 educators very well in many areas and there are instructional design programs housed in traditional academic units that produce high-caliber scholars and researchers that impact our field. However, this article suggests that partnerships between university innovation hubs and K12 schools fill a gap of…

Educators are tasked with continually updating course objectives, content, assignments, and assessment to meet model curriculum guidelines. IS2020 proposes program level outcomes for required and elective areas. Two elective areas in IS2020 are Data and Business Analytics and Data and Information Visualization. IS2020 details 14 program level…

Recent changes have been made in Science, Technology, Engineering, and Mathematics (STEM) education in the United States with the goal of increasing the number of students pursuing degrees and careers in STEM. The Next Generation Science Standards (NGSS) integrate new science and engineering standards in an attempt to achieve this goal and are the…

Aim/Purpose: Although many computer science measures have been proposed, visualizing individual students' capabilities is difficult, as those measures often rely on specific tools and methods or are not graded. To solve these problems, we propose a rubric for measuring and visualizing the effects of learning computer programming for elementary…

The problem of Computer Science students' cheating in their homework assignments so far has been handled mainly through administrative punishment of the cheaters. The success of such an approach depends to a large degree on the ability of the instructor to recognize the fact of cheating, which is a complicated task. With a large number of students…

Standards-based grading (SBG) tightly links student assessment to course learning objectives, providing students with meaningful feedback. A well-designed SBG system should ease first-year engineering (FYE) students' transition to tertiary education by setting clear expectations and enabling self-monitoring of learning progress. However, when…

There is a current national emphasis on science, technology, engineering, and mathematics (STEM). Additionally, many states are transitioning to the Next Generation Science Standards (NGSS), which encourage teachers to incorporate engineering in science classrooms as well as have their students learn science by doing science. Methods courses are…

Computer technologies and computer-mediated information and communication are increasingly parts of curriculum-making practices in education. These technologies are often taken to be simply tools to be used to enhance teaching and learning. However, in recent years, a range of cross-disciplinary studies have started to point to the work of code,…

The growing expansion of Internet access and mass-scale usage of social networking platforms and search engines have forced digital newspapers to deal with challenges, amongst which are the need to constantly update news, the increasing complexity of sources, the difficulty of exercising their function as gatekeepers in a fragmented environment in…

The rise of apps and mobile devices has opened the door to small, dedicated software programs that are focused on singular tasks. From the author's perspective as head of digital access and web service manager at Montana State University, these apps offered an opportunity to build a focused digital service aimed at allowing someone to enter a…