the proceedings contain 81 papers. the topics discussed include: conversational assistants for software development: integration, traceability and coordination;an integrated visualization approach combining dynamic da...
ISBN:
(纸本)9789897586965
the proceedings contain 81 papers. the topics discussed include: conversational assistants for software development: integration, traceability and coordination;an integrated visualization approach combining dynamic data-flow analysis with symbolic execution;combining goal-oriented and BPMN modelling to support distributed microservice compositions;steady-state energy consumption evaluation in BaseBand units pool in cloud radio access network;review time as predictor for the quality of model inspections;enriching the semantic representation of the source code with natural language-based features from comments for improving the performance of software defect prediction;considerations in prioritizing for efficiently refactoring the data clumps model smell: a preliminary study;metasurance: a blockchain-based insurance management framework for metaverse;and expectation-based integration testing of unidirectional interactions in component-based software systems.
the proceedings contain 8 papers. the topics discussed include: BuggIn: automatic intrinsic bugs classification model using NLP and ML;do developers fix continuous integration smells?;large scale study of orphan vulne...
ISBN:
(纸本)9798400703751
the proceedings contain 8 papers. the topics discussed include: BuggIn: automatic intrinsic bugs classification model using NLP and ML;do developers fix continuous integration smells?;large scale study of orphan vulnerabilities in the software supply chain;the FormAI dataset: generative AI in software security through the lens of formal verification;comparing word-based and AST-based models for design pattern recognition;on effectiveness of further pre-training on BERT models for story point estimation;automated fairness testing with representative sampling;and model review: a PROMISEing opportunity.
the proceedings contain 71 papers. the topics discussed include: the distance - based selection technique for crossover in genetic algorithm;regularization strategy for multi-organ nucleus segmentation with localizabl...
ISBN:
(纸本)9781665485104
the proceedings contain 71 papers. the topics discussed include: the distance - based selection technique for crossover in genetic algorithm;regularization strategy for multi-organ nucleus segmentation with localizable features;an approximation algorithm for the vertex multicut on trees with an application to the tracking paths problem;automatic thai ticket classification by using machine learning for it infrastructure company;memory-efficient adjoints via graph partitioning;a component recommendation model for issues in software projects;a microservices quality model based on microservices anti-patterns;and development of a face mask detection pipeline for mask-wearing monitoring in the era of the COVID-19 pandemic: a modular approach.
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 17 papers. the topics discussed include: automatic security inspection framework for trustworthy supply chain;plugins to detect vulnerable plugins: an empirical assessment of the security scann...
ISBN:
(纸本)9781728176772
the proceedings contain 17 papers. the topics discussed include: automatic security inspection framework for trustworthy supply chain;plugins to detect vulnerable plugins: an empirical assessment of the security scanner plugins for WordPress;significance of emphasized features for good representation on deep metric learning;application of partial differential equation method in fingerprint image enhancement;integration challenges for a web-based personalized query suggestions system in information retrieval;improvement of legitimate mail server detection method using sender authentication;generating functional requirements based on classification of mobile application user reviews;and classification of database technology problems on stack overflow.
the proceedings contain 24 papers. the special focus in this conference is on CIFMA, CoSim-CPS, OpenCERT, and ASYDE. the topics include: Under What Conditions Does a Digital Shadow Track a Periodic Linear Ph...
ISBN:
(纸本)9783031124280
the proceedings contain 24 papers. the special focus in this conference is on CIFMA, CoSim-CPS, OpenCERT, and ASYDE. the topics include: Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System?;convergence Properties of Hierarchical Co-simulation Approaches;co-simulation-Based Pre-training of a Ship Trajectory Predictor;effect of Ship Propulsion Retrofit on Maneuverability Research Based on Co-simulation;co-simulation of a Model Predictive Control System for Automotive Applications;Running Large-Scale and Hybrid Real-Time Aircraft Simulations in an HLA Framework;Comparison Between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins;a Life-Long Learning Education Passport Powered by Blockchain Technology and Verifiable Digital Credentials: the BlockAdemiC Project;open Source Discovery, Adoption, and Use: An Informal Perspective;regret from Cognition to Code;DrPython–WEB: A Tool to Help Teaching Well-Written Python Programs;formal Methods Communities of Practice: A Survey of Personal Experience;learning from Mistakes in an Open Source software Course;a Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems;Integration of COTS Processing Architectures in Small Satellites for Onboard Computing Using Fault Injection Testing Methodology;In Silico Simulations and Analysis of Human Phonological Working Memory Maintenance and Learning Mechanisms with Behavior and Reasoning Description Language (BRDL);fostering Safe Behaviors via Metaphor-Based Nudging Technologies;developing the Semantic Web via the Resolution of Meaning Ambiguities;original or Fake? How to Understand the Digital Artworks’ Value in the Blockchain;grounding Psychological Shape Space in Convolutional Neural Networks;unexpectedness and Bayes’ Rule;can Reinforcement Learning Learn Itself? A Reply to ‘Reward is Enough’.
the proceedings contain 28 papers. the special focus in this conference is on softwareengineering and Formal Methods. the topics include: On the Security and Safety of AbU Systems;parallelized Sequential Co...
ISBN:
(纸本)9783030921231
the proceedings contain 28 papers. the special focus in this conference is on softwareengineering and Formal Methods. the topics include: On the Security and Safety of AbU Systems;parallelized Sequential Composition and Hardware Weak Memory Models;Checking Opacity and Durable Opacity with FDR;Translation of CCS into CSP, Correct up to Strong Bisimulation;Probabilistic BDI Agents: Actions, Plans, and Intentions;a Debugger for Probabilistic Programs;verification of Programs with Exceptions through Operator Precedence Automata;counterexample Classification;Be Lazy and Don’t Care: Faster CTL Model Checking for Recursive State Machines;validating Safety Arguments with Lean;Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis;TACoS: A Tool for MTL Controller Synthesis;Lightweight Nontermination Inference with CHCs;A Denotational Semantics of Solidity in Isabelle/HOL;configuration Space Exploration for Digital Printing Systems;bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic;OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks;active Model Learning of Stochastic Reactive Systems;mixed-Neighborhood, Multi-speed Cellular Automata for Safety-Aware Pedestrian Prediction;runtime Enforcement with Reordering, Healing, and Suppression;monitoring First-Order Interval Logic;exhaustive Property Oriented Model-Based Testing with Symbolic Finite State Machines;nfer – A Tool for Event Stream Abstraction;mining Shape Expressions with ShapeIt;refining Privacy-Aware Data Flow Diagrams;hybrid Information Flow Control for Low-Level Code.
the proceedings contain 80 papers. the topics discussed include: a patent data meta-path based technological risk prediction method;low-light image enhancement based on retinex reflectance compensation;external knowle...
ISBN:
(纸本)1891706594
the proceedings contain 80 papers. the topics discussed include: a patent data meta-path based technological risk prediction method;low-light image enhancement based on retinex reflectance compensation;external knowledge network based patent event extraction model;comparing machine learning and feature selection approaches for automated bug report assignment;automatically identifying planning comments in bug reports;code reachability visualization based on probabilistic model checking;validating secure cloud communication mechanisms of graphene with CSP-based modeling;a two-stage map-matching method for sparse trajectories with small-scale ground truth data;and digital twin system for river network based on graph neural network.
the proceedings contain 42 papers. the topics discussed include: systematic literature review of low-code and its future trends;a novel framework for ai-integrated electronic manifest generation;agile user-centered de...
ISBN:
(纸本)9798331532116
the proceedings contain 42 papers. the topics discussed include: systematic literature review of low-code and its future trends;a novel framework for ai-integrated electronic manifest generation;agile user-centered development of mobile applications: a systematic literature review;digital assistant to improve user experience on websites: innovative support and efficient communication strategies;cluster analysis in the identification of patterns in software development with agile methodologies: a systematic literature review;price and quote index prediction with deep learning;agile user-centered development of mobile applications: a systematic literature review;and transforming software development: a study on the integration of multi-agent systems and large language models for automatic code generation.
暂无评论