The proceedings contain 13 papers. The special focus in this conference is on Frontiers in softwareengineering. The topics include: softwareengineering as an Alchemical Process: Establishing a Philosophy of the Disc...
ISBN:
(纸本)9783030931346
The proceedings contain 13 papers. The special focus in this conference is on Frontiers in softwareengineering. The topics include: softwareengineering as an Alchemical Process: Establishing a Philosophy of the Discipline;toward Inclusion of Children as softwareengineering Stakeholders;a Meta-analytical Comparison of Energy Consumed by Two Different Programming Languages;"Extreme Development" as a Means for Learning Agile;development of a Method and a software for Decision-Making, System Modeling and Planning of Business Processes;institutional Commitment and Leadership as Prerequisites for Successful Comprehensive internationalization;preface;an Analysis of the Sensitivity of software Reliability Growth Models Using Bootstrap and Monte Carlo Simulations;Evolution of Information System Design Methodologies: The IFIP conference Management Problem Revisited;Impact of the Communication Issues: A Case Study of IT Start-Up;skills Development Through Agile Capstone Projects.
The proceedings contain 15 papers. The special focus in this conference is on softwareengineering and Data engineering. The topics include: Implementation of bert based machine learning model to extract cancer–mirna...
The proceedings contain 15 papers. The special focus in this conference is on softwareengineering and Data engineering. The topics include: Implementation of bert based machine learning model to extract cancer–mirna relationship from research literature;separated feature learning for music composition using memory-based neural networks;estimating attention level from blinks and head movement;model checking mutual inclusion and mutual exclusion algorithms;vs-tap: Veteran services tracking and analytics program;automated generation of stand-alone source codes for software libraries;dbknot a transparent and seamless, pluggable, tamper evident database;comparing blockchain platforms for smart contracts: A preliminary framework;automated light system in smart home for elderly and disabled people using mosquitto server;using virtual reality and machine learning techniques to visualize the human spine;studying the covid-19 impact on the antarctic glacier melting rate;optimized bootstrap sampling for σ-aqp error estimation: A pilot study.
The proceedings contain 34 papers. The topics discussed include: a systematic literature review on virtual laboratory for learning;a systematic review for organizing hackathons and code camps in covid-19 like times: l...
ISBN:
(纸本)9781665494533
The proceedings contain 34 papers. The topics discussed include: a systematic literature review on virtual laboratory for learning;a systematic review for organizing hackathons and code camps in covid-19 like times: literature in demand to understand online hackathons and event result continuation;activity-centered design of web user experience: a one-stop application for design sprints;community detection on social network using community diffusion with social influence similarity;correlation analysis on big data for legislative election;designing project management application to support developer productivity using goal directed design approach;development of blockchain-based traceability system for fishery products;evaluating control-flow graph similarity for grading programming exercises;and experiences and lessons learned from onsite and remote teamwork based courses in softwareengineering.
The proceedings contain 138 papers. The topics discussed include: Trans Regex : multi-modal regular expression synthesis by generate-and-repair;if it’s not secure, it should not compile: preventing DOM-based XSS in l...
ISBN:
(纸本)9780738113197
The proceedings contain 138 papers. The topics discussed include: Trans Regex : multi-modal regular expression synthesis by generate-and-repair;if it’s not secure, it should not compile: preventing DOM-based XSS in large-scale web development with API hardening;seamless variability management with the virtual platform;‘how was your weekend?’ software development teams working from home during COVID-19;on indirectly dependent documentation in the context of code evolution: a study;same file, different changes: the potential of meta-maintenance on Github;a differential testing approach for evaluating abstract syntax tree mapping algorithms;an evolutionary study of configuration design and implementation in cloud systems;and data-oriented differential testing of object-relational mapping systems.
The proceedings contain 56 papers. The topics discussed include: considerations for indigenous cultural aspects in software development: a case study;modelling age of end-users using wire-frames;a framework for privac...
ISBN:
(纸本)9789897585081
The proceedings contain 56 papers. The topics discussed include: considerations for indigenous cultural aspects in software development: a case study;modelling age of end-users using wire-frames;a framework for privacy and security requirements analysis and conflict resolution for supporting GDPR compliance through privacy-by-design;the relevance of privacy concerns, trust, and risk for hybrid social media;stakeholder-centric clustering methods for conflict resolution in the requirements engineering process;addressing the influence of end user human aspects on softwareengineering;gender classification models and feature impact for social media author profiling;ontology-based natural language processing for process compliance management;and UI-test: a model-based framework for visual UI testing– qualitative and quantitative evaluation.
The proceedings contain 12 papers. The special focus in this conference is on softwareengineering and Data engineering. The topics include: Detection of unknown galaxy types in large databases of galaxy images;Prepro...
The proceedings contain 12 papers. The special focus in this conference is on softwareengineering and Data engineering. The topics include: Detection of unknown galaxy types in large databases of galaxy images;Preprocessing method comparisons for VGG16 fast-RCNN pistol detection;an o(Nlogn/Logw) time algorithm for ridesharing;A blueprint for a trustworthy health data platform encompassing IOT and blockchain technologies;techniques for using virtual reality simulations for self-defense skill development;chaotic creations;a project tracking tool for scrum projects with machine learning support for cost estimation;ameliorating accuracy of a map navigation when dealing with different altitude Traffcs that share exact geolocation;multi-objective regression test selection.
The proceedings contain 13 papers. The topics discussed include: formal characterization and efficient verification of a biological robustness property;runtime verification under access restrictions;how much specifica...
ISBN:
(纸本)9781665439138
The proceedings contain 13 papers. The topics discussed include: formal characterization and efficient verification of a biological robustness property;runtime verification under access restrictions;how much specification is enough? mutation analysis for software contracts;formally verified credentials management for industrial control systems;quantifying faultiness: what does it mean to have N faults?;methodology for specification and verification of high-level requirements with MetAcsl;and improved bounded model checking of timed automata.
The proceedings contain 32 papers. The topics discussed include: accessibility in the software development life cycle: a systematic literature review;application of recommender system in standardization;information re...
ISBN:
(纸本)9781665443616
The proceedings contain 32 papers. The topics discussed include: accessibility in the software development life cycle: a systematic literature review;application of recommender system in standardization;information requirements for ventilation systems in underground mines in Mexico;microservices deployment: a systematic mapping study;information visualization in adaptable dashboards for smart cities: a systematic review;association and aggregation class relationships: is there a difference in terms of implementation?;regression in estimation of software attributes: a systematic literature review;tender system verification with satisfiability modulo theories;towards a taxonomy of agile methods: the tree of agile elements;and accessibility in the software development life cycle: a systematic literature review.
The proceedings contain 10 papers. The topics discussed include: an exploratory study on the challenges of engineering quantum applications in the cloud;trials and tribulations of developing hybrid quantum-classical m...
The proceedings contain 10 papers. The topics discussed include: an exploratory study on the challenges of engineering quantum applications in the cloud;trials and tribulations of developing hybrid quantum-classical microservices systems;towards a quantum algorithm for evaluating WCETs;non-functional requirements for quantum programs;QuantumPath´s annealer compositor;cybersecurity for quantum computing;engineering reliable hybrid quantum software: an architectural-driven approach;software quality issues in quantum information systems;and formal quantum softwareengineering.
暂无评论