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 software development;the Covid 19 pandemic and its effects on agile software development;and construction of large-scale equipment sharing cloud service platform based on WeChat mini program: construction of large-scale equipment, etc.
The proceedings contain 58 papers. The topics discussed include: on the use of Allen’s interval algebra in the coordination of resource consumption by transactional business processes;developing accessible eHealth po...
ISBN:
(纸本)9789897585685
The proceedings contain 58 papers. The topics discussed include: on the use of Allen’s interval algebra in the coordination of resource consumption by transactional business processes;developing accessible eHealth portals: a human-centered approach;evaluation of an augmented reality approach to better understanding diverse end user website usage challenges;improving integration process efficiency through pull request prioritization;a human-centric accessible eHealth booking web portal;trends on crowdsourcing JavaScript small tasks;business process model and notation for forensic-ready software systems;on the use of machine learning for predicting defect fix time violations;deep semantic and structural features learning based on graph for just-in-time defect prediction;and the diversity of approaches to support software project management in the agile context: trends, comparisons and gaps.
The proceedings contain 17 papers. The topics discussed include: predicting the energy consumption level of java classes in android apps: an exploratory analysis;do you have the energy for this meeting?: an empirical ...
ISBN:
(纸本)9781450393010
The proceedings contain 17 papers. The topics discussed include: predicting the energy consumption level of java classes in android apps: an exploratory analysis;do you have the energy for this meeting?: an empirical study on the energy consumption of the google meet and zoom android apps;extending EcoAndroid with automated detection of resource leaks;quantifying daily evolution of mobile software based on memory allocator churn;towards better mHealth apps: understanding current challenges and user expectations;characterizing human aspects in reviews of COVID-19 apps;better addressing diverse accessibility issues in emerging apps: a case study using COVID-19 apps;and a tale of two countries: a longitudinal cross-country study of mobile users' reactions to the COVID-19 pandemic through the lens of app popularity.
The proceedings contain 42 papers. The topics discussed include: deep learning used to detect gear inspection;a non-normal warning system for dam operation using machine learning;small probability of fatality from the...
ISBN:
(纸本)9798350310412
The proceedings contain 42 papers. The topics discussed include: deep learning used to detect gear inspection;a non-normal warning system for dam operation using machine learning;small probability of fatality from theorem of bayes at the monkeypox pandemic;multi-agent reinforcement learning reward engineering via stochastic game evaluation;artificial intelligence of things enabled fungiculture in shipping container;instructions with complex control-flow entailing machine learning;development and validation of an explainable deep learning model to predict adverse event during hospital admission in patients with sepsis;graph database-modelled public transportation data for geographic insight web application;the study on security online judge system applied sandbox technology;and cause-effect graphing technique: a survey of available approaches and algorithms.
The proceedings contain 23 papers. The topics discussed include: output-only structural damage detection via enhanced random vibration analysis using LSTM/GRU model;concept of the PBNM scheme for multiple domains as c...
ISBN:
(纸本)9781665483506
The proceedings contain 23 papers. The topics discussed include: output-only structural damage detection via enhanced random vibration analysis using LSTM/GRU model;concept of the PBNM scheme for multiple domains as cyber physical system using data science and AI;enhancing UML connectors with behavioral specifications;introduction to imperative code execution machine - a framework for sustainable salesforce application development;predicting episodic video memorability using deep features fusion strategy;automatic detection of interaction errors;security versus performance bugs: how bugs are handled in the chromium project;and finding the middle ground: measuring passwords for security and memorability.
The proceedings contain 12 papers. The topics discussed include: C for yourself: comparison of front-end techniques for formal verification;counting bugs in behavioral models using counterexample analysis;test suite g...
ISBN:
(纸本)9781450392877
The proceedings contain 12 papers. The topics discussed include: C for yourself: comparison of front-end techniques for formal verification;counting bugs in behavioral models using counterexample analysis;test suite generation for Boolean conditions with equivalence class partitioning;automatic loop invariant generation for data dependence analysis;counterexample-guided inductive repair of reactive contracts;towards automated input generation for sketching alloy models;formal specifications investigated: a classification and analysis of annotations for deductive verifiers;formal modeling and verification of multi-robot interactive scenarios in service settings;automating cryptographic protocol language generation from structured specifications;and generating counterexamples in the form of unit tests from Hoare-style verification attempts.
The proceedings contain 19 papers. The special focus in this conference is on Requirements engineering: Foundation for software Quality. The topics include: Vision Video Making with Novices: A Research Preview;a ...
ISBN:
(纸本)9783030984632
The proceedings contain 19 papers. The special focus in this conference is on Requirements engineering: Foundation for software Quality. The topics include: Vision Video Making with Novices: A Research Preview;a Study on the Mental Models of Users Concerning Existing software;requirements engineering for software-Enabled Art: Challenges and Guidelines;Setting AI in Context: A Case Study on Defining the Context and Operational Design Domain for Automated Driving;on Testing Security Requirements in Industry – A Survey Study;a Business Model Construction Kit for Platform Business Models - Research Preview;requirements engineering in the Market Dialogue Phase of Public Procurement: A Case Study of an Innovation Partnership for Medical Technology;from User Stories to Data Flow Diagrams for Privacy Awareness: A Research Preview;guided Derivation of Conceptual Models from User Stories: A Controlled Experiment;invest in Splitting: User Story Splitting Within the software Industry;Transparency and Explainability of AI Systems: Ethical Guidelines in Practice;preface;FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller;req2Spec: Transforming software Requirements into Formal Specifications Using Natural Language Processing;Towards Explainable Formal Methods: From LTL to Natural Language with Neural Machine Translation;abbreviation-Expansion Pair Detection for Glossary Term Extraction;a Zero-Shot Learning Approach to Classifying Requirements: A Preliminary Study.
The proceedings contain 28 papers. The topics discussed include: experimentation for decentralized resource-based multi-pool mining in Ethereum blockchain;performance enhancement in agriculture sector based on image p...
ISBN:
(纸本)9781665461412
The proceedings contain 28 papers. The topics discussed include: experimentation for decentralized resource-based multi-pool mining in Ethereum blockchain;performance enhancement in agriculture sector based on image processing;frameworks, applications and challenges in streaming big data analytics: a review;prevention and safety strategies for road accidents by using evolutionary algorithms;intrusion detection using deep learning techniques;analyzing applicant’s pre-admission data and predicting applicant’s performance in pre-admission test using data mining techniques;quantum computing and machine learning algorithms - a review;real-time violence detection using deep learning techniques;a study on the e-commerce trends using data analysis;and a systematic review on the motivations of cyber-criminals and their attacking policies.
The proceedings contain 63 papers. The topics discussed include: a novel simple 6d hyperchaotic system with hidden attractors;hybrid function projective synchronization via a nonlinear control;dynamic power reduction ...
ISBN:
(纸本)9781665426329
The proceedings contain 63 papers. The topics discussed include: a novel simple 6d hyperchaotic system with hidden attractors;hybrid function projective synchronization via a nonlinear control;dynamic power reduction in Huffman design using 130 nm technology library;comparative analysis of AI-powered approaches for skeleton-based child and adult action recognition in multi-person environment;a comprehensive review for video anomaly detection on videos;optimal path selection for a universal relation view of relational databases;evaluating the performance of id3 method to analyze and predict students' performance in online platforms;facial emotion classification of multi-type datasets based on SVM classifier;design of a compact MIMO antenna for wireless communication applications;and a review of the impairments and challenges of radio over fiber technology and their mitigation strategies.
Today's software industry is global, virtual, and depending more than ever on strong and reliable processes. Stakeholders and infrastructure are distributed across the globe, posing challenges that go beyond those...
详细信息
暂无评论