In this paper we introduce a demonstration of our prototype orchestration system utilising WebAssembly to achieve isomorphism for a liquid software IoT system. The demonstration hardware consists of two Raspberry Pi I...
详细信息
ISBN:
(纸本)9783031623615;9783031623622
In this paper we introduce a demonstration of our prototype orchestration system utilising WebAssembly to achieve isomorphism for a liquid software IoT system. The demonstration hardware consists of two Raspberry Pi IoT devices and a computer acting as the orchestrator. The audience can interact with the orchestrator through a web interface to deploy different software configurations to the devices, and observe the deployment process as well as the deployed application in action.
The symbiotic interaction between people and computers in the realm of software development is experiencing a fundamental transition, spurred by improvements in Natural Language Processing (NLP). This study investigat...
详细信息
Computing-driven innovation cannot reach its full potential if only a fraction of the population is involved. Without girls and their non-stereotypical contribution, the innovation potential is severely limited. In co...
详细信息
ISBN:
(纸本)9798350322590
Computing-driven innovation cannot reach its full potential if only a fraction of the population is involved. Without girls and their non-stereotypical contribution, the innovation potential is severely limited. In computerscience (CS) and softwareengineering (SE), the gender gap persists without any positive trend. Many girls find it challenging to identify with the subject of CS. However, we can capitalize on their interests and create environments for girls through interdisciplinary subcultures to spark and foster enthusiasm for CS. This paper presents and discusses the results of an intervention in which we applied a novel interdisciplinary online course in data science to get girls excited about CS and programming by contributing to the grand goal of solving colony collapse disorder from biology and geoecology. The results show the potential of such programs to get girls excited about programming, but also important implications in terms of the learning environment. The startling results show that girls from single-gender classes (SGCs) are significantly more open to CS-related topics and that the intervention evoked significantly more positive feelings in them than in girls from mixed-gender classes (MGCs). The findings highlight the importance of how CS-related topics are introduced in school and the crucial impact of the learning environment to meet the requirements of truly gender-inclusive education.
softwareengineering is shaped and used by both the industry and academia, whose goals and contributions are different. Since there are some mismatches in perceptions of software practitioners about academics and acad...
详细信息
software testing is crucial for ensuring software quality, including security. This research presents a case study examining manual and open-source tool-based security testing of an e-commerce website. By applying var...
详细信息
The emergence of AI-powered chatbots like ChatGPT has generated excitement in many fields, including education. Some see this technology as a tool with a transformative impact similar to that of the printing press or ...
详细信息
The electronic safety and arming device test system is developed to ensure the reliability of weapon systems. In view of the low test efficiency and high requirements for testers in manual testing during the current t...
详细信息
With the advent of the services computing era, challenges in educating capable future software services engineers and researchers have become more pressing than ever. software services engineers are professionals whos...
详细信息
This paper delves into the importance of addressing the data clumps model smell, emphasizing the need for prioritizing them before refactoring. Qualitative and quantitative criteria for identifying data clumps are out...
详细信息
The semantics of programming languages is one of the core topics in computerscience. This topic is formalism-heavy and requires the student to attempt numerous proofs for a deep understanding. We argue that modern th...
详细信息
ISBN:
(纸本)9798350322590
The semantics of programming languages is one of the core topics in computerscience. This topic is formalism-heavy and requires the student to attempt numerous proofs for a deep understanding. We argue that modern theorem provers are excellent aids to teaching and understanding programming language semantics. As pen-and-paper proofs get automated via the theorem prover, it allows an experiment-driven strategy at exploring this topic. This article provides an encoding of the semantics of the WHILE language in the most popular styles-operational, denotational, and axiomatic-within the F* proof assistant. We show that once the program and its semantics are encoded, modern proof assistants can prove exciting language features with minimal human assistance. We believe that teaching programming languages via proof assistants will not only provide a more concrete understanding of this topic but also prepare future programming language researchers to use theorem provers as fundamental tools in their research and not as an afterthought.
暂无评论