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…

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…

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…

In this paper, a client/server information system for the management of data and its extraction from a database containing information for diploma works of students is proposed. The developed system provides users the possibility of accessing information about different characteristics of the diploma works, according to their specific interests.…

Social bookmarking services became very popular recently. Easy of use, possibility to share and discover in addition to accessibility though the Internet, turns social bookmarking systems into powerful repository of shared knowledge. Obviously this attracts attention of educational institutions and recently such systems started to appear under…