A method is proposed for predicting the pass rate of a Computer Science course. Input data
comprises different software metrics that are evaluated on a set of programs, comprising …

Regression verification is a form of software verification based on formal static analysis of
code, which is used, since recently, in several domains. In this paper we examine potentials …

The present paper demonstrates a teaching approach in programming course for beginners:
schoolchildren and schoolteachers. This course was developed at the Institute of Informatics …

This paper aims to address two fundamental challenges in engineering education; i) the
disconnect between digital and tactile learning activities in traditional Engineering Design …

Construction management education in the architecture, engineering, and construction
(AEC) domain is increasingly challenged with managing limited resources while increasing …

We propose a novel strategy based on technological watch (TW) to identify the state-of-the-
art techniques of software development projects. Taking as a starting point the data analysis …

The world eagerly anticipates advancements in AI technologies, with substantial ongoing
research on the potential AI applications in the domain of education. The study aims to …

Currently, the teaching-learning process in domains, such as computer programming, is
characterized by an extensive curricula and a high enrolment of students. This poses a great …

This paper deals with the problem of HDL (Hardware Description Language) models e-
assessment in the process of determining level of students' knowledge of VHDL (VHSIC …

Exploring student test, homework, and other assessment scores is a challenge for most
teachers, especially when attempting to identify cross-assessment weaknesses and produce …