the proceedings contain 23 papers. the topics discussed include: rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study;from US to domain models: recommending relationships between entities;let’s stop ...
the proceedings contain 23 papers. the topics discussed include: rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study;from US to domain models: recommending relationships between entities;let’s stop building at the feet of giants: recovering unavailable requirements quality artifacts;comparing general purpose pre-trained word and sentence embeddings for requirements classification;understanding developers privacy concerns through reddit thread analysis;chatbots4mobile: feature-oriented knowledge base generation using natural language;towards an agent-oriented approach for requirements engineering in the digital era;modeling and analysis of emotion-oriented goal models: virtual clinics case study;and vision paper: the sustainability awareness framework (SusAF) as a de-facto standard?.
the proceedings contain 38 papers. the topics discussed include: combining a declarative language and an imperative language for bidirectional incremental model transformations;from user stories to models: a machine l...
ISBN:
(纸本)9789897584879
the proceedings contain 38 papers. the topics discussed include: combining a declarative language and an imperative language for bidirectional incremental model transformations;from user stories to models: a machine learning empowered automation;reusing (safety-oriented) compliance artifacts while recertifying;process digitalization using blockchain: EU parliament elections case study;performance aspects of correctness-oriented synthesis flows;integrating Kahn process networks as a model of computation in an extendable model-based design framework;dedicated model transformation languages vs. general-purpose languages: a historical perspective on ATL vs. Java;SeGa4Biz: model-driven framework for developing serious games for business processes;and multi-view-model risk assessment in cyber-physical production systems engineering.
the proceedings contain 13 papers. the topics discussed include: formal characterization and efficient verification of a biological robustness property;runtime verification under access restrictions;how much specifica...
ISBN:
(纸本)9781665439138
the proceedings contain 13 papers. the topics discussed include: formal characterization and efficient verification of a biological robustness property;runtime verification under access restrictions;how much specification is enough? mutation analysis for software contracts;formally verified credentials management for industrial control systems;quantifying faultiness: what does it mean to have N faults?;methodology for specification and verification of high-level requirements with MetAcsl;and improved bounded model checking of timed automata.
the proceedings contain 32 papers. the topics discussed include: accessibility in the software development life cycle: a systematic literature review;application of recommender system in standardization;information re...
ISBN:
(纸本)9781665443616
the proceedings contain 32 papers. the topics discussed include: accessibility in the software development life cycle: a systematic literature review;application of recommender system in standardization;information requirements for ventilation systems in underground mines in Mexico;microservices deployment: a systematic mapping study;information visualization in adaptable dashboards for smart cities: a systematic review;association and aggregation class relationships: is there a difference in terms of implementation?;regression in estimation of software attributes: a systematic literature review;tender system verification with satisfiability modulo theories;towards a taxonomy of agile methods: the tree of agile elements;and accessibility in the software development life cycle: a systematic literature review.
the proceedings contain 31 papers. the special focus in this conference is on AI4EA, F-IDE, CoSim-CPS, CIFMA. the topics include: Debugging Support in Atelier B;varCorC: Developing Object-Oriented software Produc...
ISBN:
(纸本)9783031262357
the proceedings contain 31 papers. the special focus in this conference is on AI4EA, F-IDE, CoSim-CPS, CIFMA. the topics include: Debugging Support in Atelier B;varCorC: Developing Object-Oriented software Product Lines Using Correctness-by-Construction;a Case Study in Formal Analysis of System Requirements;the TLA Debugger;Developing the UML-B Modelling Tools;validity in (Co-) Simulation;Using INTO-CPS Tools in the Development of a Digital Twin for the F1TENth Race Car;Do-it-Yourself FMU Generation;a Conceptual Framework for Production Process Parameter Optimization with Modular Hybrid Simulations;a Co-simulation-based System Using Vico for Marine Operation;paving the Way for Reinforcement Learning in Smart Grid Co-simulations;coCoSim: A Tool for Co-simulation of Mobile Cooperative Robots;high-Fidelity Modeling & Co-simulation with HyFlow;robot Nudgers. What About Transparency?;robot as Embodied Agent? A Phenomenological Critique;markov Blankets for Sustainability;executive Function and Intelligent Goal-Directed Behavior: Perspectives from Psychology, Neurology, and Computer Science;A BRDL-based Framework for Motivators and Emotions;a Depth-Bounded Semantics for Becoming Informed;Forecasting Algae Growth in Photo-Bioreactors Using Attention LSTMs;knowledge-of-Own-Factivity, the Definition of Surprise, and a Solution to the Surprise Examination Paradox;using Justified True Beliefs to Explore Formal Ignorance;evaluating Zero-Cost Active Learning for Object Detection;Fast Simulation Response by a Simulation based Machine Learning (SMiLe) Approach;condition Monitoring of a Mechanical Pulsatile Heart Support System via Support-Vector Machine;siamese Basis Function Networks for Data-Efficient Defect Classification in Technical Domains;quality Monitoring Procedure in Additive Material Extrusion Using Machine Learning;A Formal IDE for Railways: Research Challenges;preface.
this poster showcases an assessment designed to develop and evaluate softwareengineering students9; code analysis skills. We demonstrate how students approached code analysis tasks when given multiple code samples...
详细信息
ISBN:
(纸本)9798400711725
this poster showcases an assessment designed to develop and evaluate softwareengineering students' code analysis skills. We demonstrate how students approached code analysis tasks when given multiple code samples created by a human and various AI tools.
We aim to explore and develop strategies for incorporating socially responsible computing into the foundational curriculum of computer science and softwareengineering programs in higher education in the UK. the objec...
详细信息
ISBN:
(纸本)9798400711725
We aim to explore and develop strategies for incorporating socially responsible computing into the foundational curriculum of computer science and softwareengineering programs in higher education in the UK. the objectives of the collaborative session are: reviewing the components of socially responsible computing ethics, sustainability, societal impact and equity, governance and data protection, security;identifying essential competencies that should be fostered from early on in the program;developing actionable learning outcomes and curriculum changes to embed these principles from the outset.
the proceedings contain 15 papers presendted at a virtual meeting. the special focus in this conference is on software Architecture Erosion and Architectural Consistency. the topics include: Interactive Elicitation of...
ISBN:
(纸本)9783031151156
the proceedings contain 15 papers presendted at a virtual meeting. the special focus in this conference is on software Architecture Erosion and Architectural Consistency. the topics include: Interactive Elicitation of Resilience Scenarios based on Hazard Analysis Techniques;Towards an Extensible Approach for Generative Microservice Development and Deployment Using LEMMA;applying knowledge-Driven Architecture Composition with Gabble;architectural Optimization for Confidentiality Under Structural Uncertainty;foundations and Research Agenda for Simulation of Smart Ecosystems Architectures;Blended Graphical and Textual Modelling of UML-RT State-Machines: An Industrial Experience;toward Awareness Creation of Common Challenges Women are Facing in Academia: A Study from a German Perspective;mapping Source Code to Modular Architectures Using Keywords;hierarchical Code-to-Architecture Mapping;Building the MSR Tool Kaiaulu: Design Principles and Experiences;self-adaptive Machine Learning Systems: Research Challenges and Opportunities;behavioral Maps: Identifying Architectural Smells in Self-adaptive Systems at Runtime;an Architectural Approach for Enabling and Developing Cooperative Behaviour in Diverse Autonomous Robots.
the proceedings contain 40 papers. the special focus in this conference is on Database and Expert Systems Applications. the topics include: Synthetic Data in Automatic Number Plate Recognition;An Untold Tale of...
ISBN:
(纸本)9783031143427
the proceedings contain 40 papers. the special focus in this conference is on Database and Expert Systems Applications. the topics include: Synthetic Data in Automatic Number Plate Recognition;An Untold Tale of Scientific Collaboration: SCCH and AC 2 T;on the Creation and Maintenance of a Documentation Generator in an Applied Research Context;towards the Digitalization of Additive Manufacturing;Twenty Years of Successful Translational Research: A Case Study of three COMET Centers;data Integration, Management, and Quality: From Basic Research to Industrial Application;building a YouTube Channel for Science Communication;introduction of Visual Regression Testing in Collaboration Between Industry and Academia;vibration Analysis for Rotatory Elements Wear Detection in Paper Mill Machine;applying Time-Inhomogeneous Markov Chains to Math Performance Rating;introducing Data Science Techniques into a Company Producing Electrical Appliances;a Technology Transfer Portal to Promote Industry-Academia Collaboration in South-Tyrol;fast and Automatic Object Registration for Human-Robot Collaboration in Industrial Manufacturing;sending Spies as Insurance Against Bitcoin Pool Mining Block Withholding Attacks;risks in DeFi-Lending Protocols - An Exploratory Categorization and Analysis of Interest Rate Differences;battling the Bullwhip Effect with Cryptography;Reporting of Cross-Border Transactions for Tax Purposes via DLT;securing File System Integrity and Version History Via Directory Merkle Trees and Blockchains;taxation of Blockchain Staking Rewards: Propositions based on a Comparative Legal Analysis;comparison Framework for Blockchain Interoperability Implementations;A Comparative Analysis of Anomaly Detection Methods for Predictive Maintenance in SME;towards Strategies for Secure Data Transfer of IoT Devices with Limited Resources;application of Validation Obligations to Security Concerns;mode Switching for Secure Edge Devices;a Lifecycle Framework for Semantic Web Machine Learn
this paper explores how Generative AI (GenAI) can be introduced within summative assessment components in softwareengineering education. We present an example of an assessment which allows learners to use GenAI in a ...
详细信息
ISBN:
(纸本)9798400711725
this paper explores how Generative AI (GenAI) can be introduced within summative assessment components in softwareengineering education. We present an example of an assessment which allows learners to use GenAI in a freeform, constructionist manner, as part of a large, software development project. this work is inspired by previously executed AI-focused assessments and surveys, which explicitly indicate that learners on an Applied softwareengineering Degree Apprenticeship Programme want to formally learn how to use GenAI tools when programming and their employers want to see these skills from graduates. the learning outcome of the assignment was for learners to explore a typical developmental pipeline as a solo developer, moving from design to development to finished product. Learners were marked exclusively on their end product and understanding of application components, not the written code itself, resulting in an assessment where the end product and project were prioritised over foundational code (which was adequately assessed in other components). the results show that all learners used GenAI to some extent during their project, and in all cases, they found it beneficial for large programming tasks. Learners were generally able to produce a larger, more comprehensive and more ambitious project, compared to previous years. It is proposed that removing the barrier to GenAI - and demystifying it - can encourage a constructionist approach to its use, and normalise it as a potential tool for programming.
暂无评论