the proceedings contain 11 papers. the special focus in this conference is on Formal Aspects of Component software. the topics include: Embedding Formal Verification in Model-Driven softwareengineering with ...
ISBN:
(纸本)9783031521829
the proceedings contain 11 papers. the special focus in this conference is on Formal Aspects of Component software. the topics include: Embedding Formal Verification in Model-Driven softwareengineering with Slco: An Overview;overview on Constrained Multiparty Synchronisation in Team Automata;symbolic Path-Guided Test Cases for Models with Data and Time;A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime;formal Aspects of Component software: An Overview on Concepts and Relations of Different theories;Challenges Engaging Formal CBSE in Industrial Applications;Formal Model engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL;from Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs.
Requirements engineering is a key skill in systems and softwareengineering. Educating students in the different forms and concepts of requirements engineering (e.g., traditional versus agile) is essential to prepare ...
详细信息
ISBN:
(纸本)9798400704987
Requirements engineering is a key skill in systems and softwareengineering. Educating students in the different forms and concepts of requirements engineering (e.g., traditional versus agile) is essential to prepare them for any technical job. However, requirements engineering education can be challenging, particularly if it is not structured around a real-world project, and thus taught only conceptually. Unfortunately, when designing lectures, educators face pedagogical, technological, and content-related challenges, such as practice-orientation, student motivation, prior knowledge of students, or even emergency situations like the COVID-19 pandemic. In this paper, we report our experiences of integrating a novel pedagogical idea into a typical requirements-engineering course that builds on the increased use of multimedia communication in all parts of society: we asked students to create videos to document and communicate requirements of diverse products. Overall, we report (i) the general design of the course;(ii) why, how, and in what form we introduced video-creation tasks;as well as (iii) the students' feedback and our experiences. Due to mostly positive feedback and the rising demand for multimedia competences in industry, we perceive the introduction of the video-creation tasks as a success for developing key skills and improving students' motivation to learn about requirements engineering. We provide an overview of our lessons learned and discuss their implications to enable other educators to integrate similar tasks in their courses, while avoiding the pitfalls we faced.
the dynamic knowledge graph is a data structure that adds temporal information to the nodes and edges of a traditional knowledge graph. It describes the changing processes of entities and relationships over time, ther...
详细信息
this study investigates the factors influencing the attitudes of software developers and IT professionals towards Green Information Technology (GIT) in Bangladeshi IT/software firms and examines their impact on engage...
详细信息
the article discusses the application of model-based systems engineering in software development. MBSE offers a new model-based approach to viewing complex systems, allowing data and information to be effectively shar...
详细信息
the primary goal of the paper was to develop a model for a supercritical carbon dioxide gas turbine. the model was built using the GateCycle program It is designed for potential implementation in emerging Concentratin...
详细信息
the proceedings contain 9 papers. the topics discussed include: a framework generate, store, and publish FAIR data in experimental sciences;a mapping lifecycle for public procurement data;a toolset for normative inter...
the proceedings contain 9 papers. the topics discussed include: a framework generate, store, and publish FAIR data in experimental sciences;a mapping lifecycle for public procurement data;a toolset for normative interpretations in FLINT;developing a scalable benchmark for assessing large language models in knowledge graph engineering;enhancing interpretability of machine learning models over knowledge graphs;OntoAnon: an anonymizer for sharing ontology structure without data;SPARQLGEN: one-shot prompt-based approach for SPARQL query generation;and towards assessing FAIR research software best practices in an organization using RDF-star.
Addressing a critical aspect of cybersecurity in online gaming, this paper systematically evaluates the extent to which kernel-level anti-cheat systems mirror the properties of rootkits, highlighting the importance of...
详细信息
ISBN:
(纸本)9798400717185
Addressing a critical aspect of cybersecurity in online gaming, this paper systematically evaluates the extent to which kernel-level anti-cheat systems mirror the properties of rootkits, highlighting the importance of distinguishing between protective and potentially invasive software. After establishing a definition for rootkits (making distinctions between rootkits and simple kernel-level applications) and defining metrics to evaluate such software, we introduce four widespread kernel-level anti-cheat solutions. We lay out the inner workings of these types of software, assess them according to our previously established definitions, and discuss ethical considerations and the possible privacy infringements introduced by such programs. Our analysis shows two of the four anti-cheat solutions exhibiting rootkit-like behaviour, threatening the privacy and the integrity of the system. this paper thus provides crucial insights for researchers and developers in the field of gaming security and softwareengineering, highlighting the need for informed development practices that carefully consider the intersection of effective anti-cheat mechanisms and user privacy.
In 2009, the Simple Language of Communicating Objects (Slco) Domain-Specific Language was designed. Since then, a range of tools have been developed around this language to conduct research on a wide range of topics, ...
详细信息
ISBN:
(纸本)9783031521829;9783031521836
In 2009, the Simple Language of Communicating Objects (Slco) Domain-Specific Language was designed. Since then, a range of tools have been developed around this language to conduct research on a wide range of topics, all related to the construction of complex, component-based software, with formal verification being applied in every development step. In this paper, we present this range, and draw connections between the various, at first glance disparate, research results. We discuss the current status of the Slco framework, i.e., the language in combination withthe tools, and plans for future work.
this position paper for an invited talk on the 'Future of eScience' discusses the Research softwareengineering Movement and where it might be in 2030. Because of the authors' experiences, it is aimed glob...
详细信息
暂无评论