6 research outputs found
Teaching Programming and Design-by-Contract
This paper summarizes the experience of teaching an introductory course to
programming by using a correctness by construction approach at Innopolis
University, Russian Federation. In this paper we claim that division in
beginner and advanced groups improves the learning outcomes, present the
discussion and the data that support the claim.Comment: 21th International Conference on Interactive Collaborative Learnin
A Machine to Machine framework for the charging of Electric Autonomous Vehicles
Electric Autonomous Vehicles (EAVs) have gained increasing attention of
industry, governments and scientific communities concerned about issues related
to classic transportation including accidents and casualties, gas emissions and
air pollution, intensive traffic and city viability. One of the aspects,
however, that prevent a broader adoption of this technology is the need for
human interference to charge EAVs, which is still mostly manual and
time-consuming. This study approaches such a problem by introducing the
Inno-EAV, an open-source charging framework for EAVs that employs
machine-to-machine (M2M) distributed communication. The idea behind M2M is to
have networked devices that can interact, exchange information and perform
actions without any manual assistance of humans. The advantages of the Inno-EAV
include the automation of charging processes and the collection of relevant
data that can support better decision making in the spheres of energy
distribution. In this paper, we present the software design of the framework,
the development process, the emphasis on the distributed architecture and the
networked communication, and we discuss the back-end database that is used to
store information about car owners, cars, and charging stations
A case study comparing static analysis tools for evaluating SwiftUI projects
Declarative programming languages such as SwiftUI have gained increasing relevance for user interface implementation in mobile applications. A tool for evaluating and improving the quality of such projects is static analysis (SA). This study compares the usefulness of two of the most popular SA tools (SonarQube and Codacy) for evaluating real-world SwiftUI projects. Moreover, it recommends setup and adjustments to promote SA tools for SwiftUI projects that can be extended to other languages