The proceedings contain 13 papers. The topics discussed include: using NLP tools to detect ambiguities in system requirements - a comparison study;ethical user stories: industrial study;engineering forensic-ready soft...
The proceedings contain 13 papers. The topics discussed include: using NLP tools to detect ambiguities in system requirements - a comparison study;ethical user stories: industrial study;engineering forensic-ready software systems using automated logging;an intelligent systems approach for supporting privacy awareness in agile software development;object-oriented approach for requirements specification;on the role of data engineering decisions in ai-based applications;a method to deal with social bias and desirability in ethical requirements;and modeling tool for managing requirements and backlogs in agile software development.
The proceedings contain 16 papers. The topics discussed include: leveraging Zipf’s law to analyze statistical distribution of Chinese corpus;priority prediction of Asian hornet sighting report using machine learning ...
ISBN:
(纸本)9780738124841
The proceedings contain 16 papers. The topics discussed include: leveraging Zipf’s law to analyze statistical distribution of Chinese corpus;priority prediction of Asian hornet sighting report using machine learning methods;an English handwriting quality evaluation algorithm based on machine learning;framework for remaining useful life prediction of casting roller in continuous casting machine based on digital twin;universal anomaly detection method based on massive monitoring indicators of cloud platform;choosing an open source license based on software dependencies;machine learning based combinatorial test cases ordering approach;image-based bug oracle automation for bug report reproduction using widget detection;and ability-oriented performance evaluation of general intelligent decision-making engines based on knowledge graphs.
The proceedings contain 11 papers. The topics discussed include: SQuaRE matters: reflection of quality evaluation, benchmark, and practioners' perception through SQuaRE;extensions of ISO/IEC 25000 quality models t...
The proceedings contain 11 papers. The topics discussed include: SQuaRE matters: reflection of quality evaluation, benchmark, and practioners' perception through SQuaRE;extensions of ISO/IEC 25000 quality models to the context of artificial intelligence;what is the difference between usability in ISO 25000 and usability in 9241-11? - the term ‘usability’ as part of the product quality model used in the SQuaRE series in contrast to the term usability in ISO 9241-11;fairness metrics and maximum completeness for the prediction of discrimination;ISO/IEC 25000 and AI product quality measurement perspectives;concept of quality digital twin in agile development;proposal for the use of quality characteristics in security design methodologies;data cybersecurity evaluation with ISO/IEC 25012;systematic literature review of gender and softwareengineering in Asia;and human centric framework for customizing and producing effective cybersecurity training materials.
The proceedings contain 16 papers. The special focus in this conference is on softwareengineering. The topics include: Towards Automatic Test Case Generation for Industrial software Systems Based on Functional Specif...
ISBN:
(纸本)9783030892463
The proceedings contain 16 papers. The special focus in this conference is on softwareengineering. The topics include: Towards Automatic Test Case Generation for Industrial software Systems Based on Functional Specifications;promise Plus: Flexible Synchronization for Parallel Computations on Arrays;Term Rewriting on GPUs;solving Systems of Bilinear Equations for Transition Rate Reconstruction;runtime Monitoring Processes Across Blockchains;protocol Scheduling;systematic Extraction of Tests from Object-Oriented Programs;introducing Interval Differential Dynamic Logic;preface;deadlock in Packet Switching Networks;Extending OCL with Map and Function Types;event-Driven Temporal Logic Pattern for Control software Requirements Specification;a Program Logic for Fresh Name Generation;adding Proof Calculi to Epistemic Logics with Structured knowledge.
The proceedings contain 12 papers. The special focus in this conference is on From Data Models and Back. The topics include: A Web-Based Tool for Collaborative Modelling and Analysis in Human-Computer I...
ISBN:
(纸本)9783031160103
The proceedings contain 12 papers. The special focus in this conference is on From Data Models and Back. The topics include: A Web-Based Tool for Collaborative Modelling and Analysis in Human-Computer Interaction and Cognitive Science;ten Years of DataMod: The Synergy of Data-Driven and Model-Based Approaches;analysis and Verification of Robustness Properties in Becker-Döring Model;a Secure User-Centred Healthcare System: Design and Verification;model-Based Security Assessment on the Design of a Patient-Centric Data Sharing Platform;Towards Model Checking Video Streams Using VoxLogicA on GPUs;privacy Risk and Data Utility Assessment on Network Data;detecting Anxiety Trends Using Wearable Sensor Data in Real-World Situations;combining Quantitative Data with Logic-Based Specifications for Parameter Inference;preface.
The proceedings contain 14 papers. The topics discussed include: LiveHeart: remote digital habit change healthcare information system for decision making;examining the fidelity and dose of a mobile health app for micr...
The proceedings contain 14 papers. The topics discussed include: LiveHeart: remote digital habit change healthcare information system for decision making;examining the fidelity and dose of a mobile health app for micro-entrepreneurs’ recovery from work-related stress;enhancing SETA program with mindfulness and self-efficacy;systematic mapping study on use of pre-trained open machine learning models;main data inhibitors and enablers for ai applications;empirical evaluation of amplifying privacy by subsampling for GANs to create differentially private synthetic tabular data;software product structure in the context of service-dominant (S-D) logic – a scoping review;Roadmapper: a tool for supporting communication in software product roadmapping;SustHack: a hackathon approach for engaging citizens and fostering a sustainability mindset;and practitioners’ perspective on microservices design areas challenges: a socio-technical grounded theory literature review.
The proceedings contain 16 papers. The topics discussed include: formal specification and validation of a data-driven software system for fire risk prediction;partial specifications of component-based systems using Pe...
The proceedings contain 16 papers. The topics discussed include: formal specification and validation of a data-driven software system for fire risk prediction;partial specifications of component-based systems using Petri Nets;between expressiveness and verifiability: P/T-nets with synchronous channels and modular structure;information flow among transitions of bounded equal-conflict petri nets;analyzing adaption processes of hornets;on reduction of cycloids;analyzing multi-agent systems using 1-safe Petri Nets;EDEN framework for interactive analysis of ecosystems models;probabilistic communication structured acyclic nets;adaptative systems based on continuous observation of Petri Net product lines;and reset petri net unfolding semantics for ecosystem hypergraphs.
The proceedings contain 18 papers. The topics discussed include: open challenges in NLP for NFRs: a focus on semantics, generalization, and interpretability;from inductive to deductive: LLMs-based qualitative data ana...
The proceedings contain 18 papers. The topics discussed include: open challenges in NLP for NFRs: a focus on semantics, generalization, and interpretability;from inductive to deductive: LLMs-based qualitative data analysis in requirements engineering;low-level hardware requirement classification using large language models: challenges, insights, and future directions for embedded control systems;mining app reviews for user feedback analysis in requirements engineering: a project report;evaluating the capabilities of LLMs in traceability maintenance for automotive system and software requirements;how reliance on GenAI might limit human creativity and critical thinking in requirements engineering;and an experience report on leveraging LLMs for GUI generation: automating coding to prioritize creativity.
The proceedings contain 15 papers. The special focus in this conference is on Requirements engineering: Foundation for software Quality. The topics include: Requirements engineering in the Planning Phase of a software...
ISBN:
(纸本)9783030731274
The proceedings contain 15 papers. The special focus in this conference is on Requirements engineering: Foundation for software Quality. The topics include: Requirements engineering in the Planning Phase of a software Ecosystem;power and Privacy in software Ecosystems: A Study on Data Breach Impact on Tech Giants;iterative and Scenario-Based Requirements Specification in a System of Systems Context;Specifying Requirements for Data Collection and Analysis in Data-Driven RE. A Research Preview;saPeer Approach for Training Requirements Analysts: An Application Tailored to a Low-resource Context;on Understanding the Relation of knowledge and Confidence to Requirements Quality;Automatic Detection of Causality in Requirement Artifacts: The CiRA Approach;improving Trace Link Recovery Using Semantic Relation Graphs and Spreading Activation;CORG: A Component-Oriented Synthetic Textual Requirements Generator;automatically Classifying Non-functional Requirements with Feature Extraction and Supervised Machine Learning Techniques: A Research Preview;adaptationExplore – A Process for Elicitation, Negotiation, and Documentation of Adaptive Requirements;Trustworthy AI Services in the Public Sector: What Are Citizens Saying About It?;defining Utility Functions for Multi-stakeholder Self-adaptive Systems.
The proceedings contain 21 papers. The special focus in this conference is on softwareengineering Research and Practice. The topics include: MetaPix: A Data-Centric AI Development Platform for Efficient Manageme...
ISBN:
(纸本)9783031866432
The proceedings contain 21 papers. The special focus in this conference is on softwareengineering Research and Practice. The topics include: MetaPix: A Data-Centric AI Development Platform for Efficient Management and Utilization of Unstructured Computer Vision Data;A Novel Architecture That Examines Network Activity in a Docker-Based Multitenant to Verify Zero Trust Container Architecture (ZTCA) Compliance;VENUS: Designing a Validation Engine for User Stories;a Framework for Requirements Modeling of Safety Critical Systems: A Continuous Glucose Monitoring System Case Study;plan-Based and Agile Companies: A Comparison of Project Management Approaches;Service Availability Ratio (SAR): An Availability Metric for Microservice;Development of a Desktop Agent System Using GPT;navigating Challenges in E-Participation: A Comprehensive Meta-Analysis;The Shifting Landscape of Cybersecurity: The Impact of Remote Work and COVID-19 on Data Breach Trends;Farmchain: Empowering Smallholder Farmers Through Blockchain and DAOs: Cryptournomic Approach;privacy Strategies for Police Personnel: Co-designing a Self-assessment Tool;cybersecurity Threats: An Analysis of the Rise and Impacts of State Sponsored Cyber Attacks;moore’s Law: What Comes Next?;use of Emerging Technologies in Africa;using Survey to Investigate the Integration of Artificial Intelligence in e-Learning;students Satisfaction with the Distance Education During Covid-19 Pandemic;Improving Student Success in Math Courses Using WeBWorK;fast Food Review Online;a Systems Approach to Improving E-Learning Using Theory of Constraints.
暂无评论