The proceedings contain 42 papers. The topics discussed include: deep learning techniques for stock market forecasting: recent trends and challenges;how to find social robots exactly?;an extractive text summarization ...
ISBN:
(纸本)9781450398237
The proceedings contain 42 papers. The topics discussed include: deep learning techniques for stock market forecasting: recent trends and challenges;how to find social robots exactly?;an extractive text summarization based on reinforcement learning;evaluation of price prediction models for cryptocurrencies based on convolutional neural networks trained on candlestick charts;an explainable machine learning-based prediction model for in-hospital mortality in acute myocardial infarction patients with typical chest pain;a survey on current speech to text analysis to help programmers dictate code;knowledge and skill retention in introduction to programming course;the relationship between perceived organizational justice and innovative work behavior through knowledge sharing;methodology for the execution of programs based on different programming languages;the design of enterprise management information system based on cloud computing;and on the relationship between linter warning density and software maintainability: an empirical study of JavaScript projects.
The proceedings contain 5 papers. The topics discussed include: software testing of generative ai systems: challenges and opportunities;future of softwareengineering@ICSE 2023;large language models for software engin...
ISBN:
(纸本)9798350324969
The proceedings contain 5 papers. The topics discussed include: software testing of generative ai systems: challenges and opportunities;future of softwareengineering@ICSE 2023;large language models for softwareengineering: survey and open problems;softwareengineering for data intensive scalable computing and heterogeneous computing;and technical debt management: the road ahead for successful software delivery.
The proceedings contain 29 papers. The topics discussed include: research on security protection mechanism of android app;research on end-to-end forwarding path selection method for CFN;indoor localization algorithm b...
ISBN:
(纸本)9798350351699
The proceedings contain 29 papers. The topics discussed include: research on security protection mechanism of android app;research on end-to-end forwarding path selection method for CFN;indoor localization algorithm based on SRD and adaptive Kalman filter;behind the TCP-newCWV implementation to improve bursty application performance;enhancing MAFIS: a study on the usability and user experience of the mobile automated fingerprint identification system;a feature-reconstruction based multi-task learning model for sleep staging;multi-secret threshold sharing scheme based on Chinese remainder theorem;extended principlism approach to softwareengineering ethics;enhancing SAR ATR model generalization through Cycle-GAN augmented multi-angle training;and the adoption of machine learning algorithm for rust classification in steel structure.
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 12 papers. The special focus in this conference is on Fundamentals of softwareengineering. The topics include: Automated Test Generation: Taxonomy and Tool Applications;finding Universally Qua...
ISBN:
(纸本)9783031870538
The proceedings contain 12 papers. The special focus in this conference is on Fundamentals of softwareengineering. The topics include: Automated Test Generation: Taxonomy and Tool Applications;finding Universally Quantified Heap Invariants by Horn Clause Transformations;a Framework for Model-Based Specification and Verification in Feature-Oriented software Product Lines;extracting Formal Models for User’s Behaviors in Social Networks Using Automata and Machine Learning;data-Driven Shielding of Online Reinforcement Learning: A Stormwater Pond Case Study;on Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic;on Time-Sensitive Control Closure for Secure Information Flow;automatic Generation of Loop Invariants in Dafny with Large Language Models;streamlining Parameter Tuning in Full-Body Racing Simulators with an Automated Pipeline;formally Verified Verifiable Group Generators.
The proceedings contain 63 papers. The topics discussed include: quantitative analysis of conversational response nuances using visual analog scale, data visualization, and clustering;porting a Python application to t...
ISBN:
(纸本)9798350391343
The proceedings contain 63 papers. The topics discussed include: quantitative analysis of conversational response nuances using visual analog scale, data visualization, and clustering;porting a Python application to the web using Django: a case study of an archaeological image processing system;leveraging conditional generative adversarial networks for cosmic microwave background separation;project-based learning in softwareengineering education: integrating blockchain-oriented repositories in SE curriculum and coursework;adaptive frequency cluster-level performance profiler for multi-domain applications;multi label sound classification using deep learning models;securing against deception: exploring phishing emails through ChatGPT and sentiment analysis;and what is asked about ionic on stack overflow (SO)? an empirical study.
The proceedings contain 140 papers. The topics discussed include: towards building knowledge on causes of critical requirements engineering problems;a middleware framework for leveraging local and global adaptation in...
ISBN:
(纸本)1891706373
The proceedings contain 140 papers. The topics discussed include: towards building knowledge on causes of critical requirements engineering problems;a middleware framework for leveraging local and global adaptation in IT ecosystems;a framework based on learning techniques for decision-making in self-adaptive software;towards knowledge-intensive softwareengineering framework for self-adaptive software;how to teach the usage of project management tools in computer courses: a systematic literature review;reflecting, adapting and learning in small software organizations: an action research approach;application of slow intelligence framework for smart pet care system design;a slow intelligence system test bed enhanced with super-components;an adaptive contextual recommender system: a slow intelligence perspective;an automated testing framework for statistical testing of GUI applications;and generating various contexts from permissions for testing android applications.
The proceedings contain 11 papers. The topics discussed include: improved YOLOv5-based method for date palm leaf disease recognition;three real-time pathfinding strategies in games: from a ideas to machine learning ap...
ISBN:
(纸本)9798331532864
The proceedings contain 11 papers. The topics discussed include: improved YOLOv5-based method for date palm leaf disease recognition;three real-time pathfinding strategies in games: from a ideas to machine learning approaches;software metrics selection– the case of C#;automated seismic horizon picking using vision transformer;a regionally generalized machine learning framework towards census-enabled multi-factor non-communicable disease analyses;and enhancing the customer experience in Philippine food court establishments with an integrated self-service ordering system.
The proceedings contain 10 papers. The topics discussed include: software security and quantum communication: a long-distance free-space implementation plan of QSDC without quantum memory;model checking based test ada...
ISBN:
(纸本)9798400718052
The proceedings contain 10 papers. The topics discussed include: software security and quantum communication: a long-distance free-space implementation plan of QSDC without quantum memory;model checking based test adaptation in changing business software;software attribute comprehensive trust measurement model;TPAM: timed-permission based access control analysis and modeling method for android apps;software development methodology for virtual reality teaching system: transforming learning through interactive virtual environments;program dependence net reduction for LTL model checking;assuring correctness, testing, and verification of X-Compiler by integrating communicating stream X-Machine;and smart glucometer for personalized health management of diabetes care.
The proceedings contain 15 papers. The topics discussed include: extraction of tuple-based service demand from requirement description in nature language: a conditional random field-based approach;technological model ...
ISBN:
(纸本)9798350386592
The proceedings contain 15 papers. The topics discussed include: extraction of tuple-based service demand from requirement description in nature language: a conditional random field-based approach;technological model based on artificial intelligence for the generation of commercial texts in marketing campaigns in medical clinics in the City of Huancayo;comparison of modern customizable code visualization tools;inter-step consistency analysis in early phases of MBSE approaches;research on quality evaluation and risk control methods of open source cyber-security datasets;exploring attribute-based facial synthesis with generative adversarial networks for enhanced patient simulator systems;on the applicability of static analysis for system software using CodeChecker;and development of client reservation and monitoring system for INSPIRE sports academy.
暂无评论