the proceedings contain 7 papers. the topics discussed include: improve softwaredevelopment: an overview of program synthesis;comparison of methods for analyzing the correlation of user experience and information sec...
ISBN:
(纸本)9798400709463
the proceedings contain 7 papers. the topics discussed include: improve softwaredevelopment: an overview of program synthesis;comparison of methods for analyzing the correlation of user experience and information security;analysis and comparison of automatic code generation and transformation techniques on low-code platforms;research on the safety assurance framework for spacecraft embedded software;Mamamayan: a mobile community-based emergency reporting and notification system for the city of Makati in the Philippines;W-Kernel: an OS kernel architecture designed with isolation and customizability;and analysis of the evaluation and influencing factors for innovation ability in sub-provincial cities based on the BP neural network.
the proceedings contain 10 papers. the special focus in this conference is on softwareengineering and Formal Methods. the topics include: Private Memory Confers No Advantage;frequentist Probability Logic;using Maude ...
ISBN:
(纸本)9783031660207
the proceedings contain 10 papers. the special focus in this conference is on softwareengineering and Formal Methods. the topics include: Private Memory Confers No Advantage;frequentist Probability Logic;using Maude to Model Motivation in Human Behaviour;semantic Memory, Mnemonic Effort and Mnemonic Habit;scientific Understanding and the Explanatory Integration in Cognitive Sciences;code Biology and Enactivism: Bringing Adaptors to Basic Minds;clinical Cognitive Sciences;facets of Openness in a Serious Game: Opening up Format, Content, software and Hardware.
the proceedings contain 12 papers. the topics discussed include: application of ISO/IEC25000 (SQuaRE) series to SI projects;a method of software quality comparison based on PCA;the SQuaRE series as a guarantee of ethi...
the proceedings contain 12 papers. the topics discussed include: application of ISO/IEC25000 (SQuaRE) series to SI projects;a method of software quality comparison based on PCA;the SQuaRE series as a guarantee of ethics in the results of ai systems;accounting AI measures as ISO/IEC 25000 Standards measures;research on software quality characteristics based on MBSE system;reinforcement learning-based service assurance of microservice systems;report on the 11thinternational Workshop on Quantitative Approaches to software Quality;Coyote C++: an industrial-strength fully automated unit testing tool;software defect prediction based on JavaBERT and CNN-BiLSTM;and proposals for improving the assessment of medical device software in thailand.
the proceedings contain 18 papers. the special focus in this conference is on Fundamental Approaches to softwareengineering. the topics include: Parallel Program Analysis via Range Splitting;runtime Enforcement Using...
ISBN:
(纸本)9783031308253
the proceedings contain 18 papers. the special focus in this conference is on Fundamental Approaches to softwareengineering. the topics include: Parallel Program Analysis via Range Splitting;runtime Enforcement Using Knowledge Bases;specification and Validation of Normative Rules for Autonomous Agents;towards Log Slicing;vamos: Middleware for Best-Effort third-Party Monitoring;yet Another Model! A Study on Model’s Similarities for Defect and Code Smells;software Testing: 5th Comparative Evaluation: Test-Comp 2023;FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation: (Competition Contribution);A Modeling Concept for Formal Verification of OS-Based Compositional software;compositional Automata Learning of Synchronous Systems;concolic Testing of Front-end JavaScript;democratizing Quality-Based Machine Learning developmentthrough Extended Feature Models;Efficient Bounded Exhaustive Input Generation from Program APIs;feature-Guided Analysis of Neural Networks;JavaBIP meets VerCors: Towards the Safety of Concurrent software Systems in Java;model-based Player Experience Testing with Emotion Pattern Verification.
the proceedings contain 38 papers. the topics discussed include: a study of how virtual reality and brain computer interface can manipulate the brain;hazard analysis methods for software safety requirements engineerin...
ISBN:
(纸本)9781450395519
the proceedings contain 38 papers. the topics discussed include: a study of how virtual reality and brain computer interface can manipulate the brain;hazard analysis methods for software safety requirements engineering;adapting the scrum framework to the needs of virtual teams of game developers with multi-site members;impact of remote working during Covid-19 pandemic on scrum team: experts view on Indonesian E-commerce companies case;an under-sampling algorithm based on weighted complexity and its application in software defect prediction;design and development of a technology-agnostic NFR testing framework: introducing the framework and discussing the future of load testing in agile softwaredevelopment;the Covid 19 pandemic and its effects on agile softwaredevelopment;and construction of large-scale equipment sharing cloud service platform based on WeChat mini program: construction of large-scale equipment, etc.
the proceedings contain 126 papers. the topics discussed include: analysis and research on adaptive time-frequency analysis method;a new method for detecting binary random sequences in cryptography: first interval tes...
ISBN:
(纸本)9781450397780
the proceedings contain 126 papers. the topics discussed include: analysis and research on adaptive time-frequency analysis method;a new method for detecting binary random sequences in cryptography: first interval test for non-overlapping templates;an effective data recovery approach for distributed storage based on interference alignment;an optimization design method of cloud manufacturing service process based on improved artificial bee colony algorithm;a chronic disease medication data sharing model based on blockchain;study on the evaluation model of airborne software supplier development capability;blockchain-based cable supply chain traceability system;study on digital signal synchronization system of confocal micro endoscope;research on short-term load forecasting of power system based on wavelet denoising and artificial neural network;and metro passenger flow prediction based on optimized BP neural network algorithm.
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.
Withthe rapid development of China's aerospace industry, the traditional softwaredevelopment models are no longer able to meet the current and future development requirements of embedded software. In order to ex...
详细信息
Withthe widespread application of embedded software in safety-critical systems, how to effectively ensure software safety has become one of the research hotspots in the field of softwareengineering. Based on the sur...
详细信息
During the last three decades, automation in softwaredevelopment has gone mainstream. softwaredevelopment teams strive to automate as much of the softwaredevelopment activ-ities as possible, spanning requirements s...
详细信息
暂无评论