the proceedings contain 12 papers. the topics discussed include: interpreter register autolocalization: improving the performance of efficient interpreters;toward just-in-time and language-agnostic mutation testing;pr...
ISBN:
(纸本)9781450396561
the proceedings contain 12 papers. the topics discussed include: interpreter register autolocalization: improving the performance of efficient interpreters;toward just-in-time and language-agnostic mutation testing;programming in an fMRI scanner: a report from the field;calling cards: concrete visual end-user programming;a live environment to improve the refactoring experience;toward understanding task complexity in maintenance-based studies of programming tools;an experiment in live collaborative programming on the croquet shared experience platform;example mining: assisting example creation to enhance code comprehension;creating new programming experiences inspired by boxer to develop computationally literate society;automatic programming and education;and enhancing DrRacket with Dodona for learning scheme.
the proceedings contain 16 papers. the special focus in this conference is on EAI internationalconference on Computer science and engineering on Digital Transformation in Organizations: New Challenges. the topics inc...
ISBN:
(纸本)9783031347498
the proceedings contain 16 papers. the special focus in this conference is on EAI internationalconference on Computer science and engineering on Digital Transformation in Organizations: New Challenges. the topics include: A State of the art of Non-fungible Tokens: A Literature Review;a Camera-Based Remote Sensor for Physical therapy in Parkinson’s Disease;health 4.0, Prevention, and Health Promotion in Companies: A Systematic Literature Review;Catastrophic Health Spending by COVID-19 in the Mexican Insurance Sector;modeling and Computer Simulation of Nanocomplexation for Cancer therapy;multiple Sensor Fusion for Stress Detection in the Hospital Environment;storage Location Assignment Problem in a Warehouse: A Literature Review;a Greenfield Analysis for Supply Chains Enhanced with Agent-Based Simulation;resilience in Supply Chains: A Strategy Based on Inventory Policies;intelligent Technology in Geometric Design;an Information Architecture for the engineering and Design of Industrial Electrical Systems;optimized Packing Soft Convex Polygons;e-Commerce on Startup: A Systematic Literature Review;a Strategy to Analyze the Metal Packaging Market in the Food Cans Industry Using Agent-Based Simulation.
the proceedings contain 10 papers. the topics discussed include: report on the 10thinternational Workshop on Quantitative Approaches to Software Quality;a dynamic model selection approach to mitigate the change of ba...
the proceedings contain 10 papers. the topics discussed include: report on the 10thinternational Workshop on Quantitative Approaches to Software Quality;a dynamic model selection approach to mitigate the change of balance problem in cross-version bug prediction;a composite discover method for gadget chains in java deserialization vulnerability;exploring the impact of code style in identifying good programmers;an empirical evaluation of defect prediction models using project-specific measures;towards model driven safety and security by design;proposal of a user interface design guideline based on analysis of the causes of usability defects reported in a project-based software engineering course;adaptation of an online platform to teach testing;online service-learning in application development course: the challenges during the COVID-19 post-pandemic period;identifying learning challenges faced by novice/beginner computer programming students: an action research approach;and using student-generated questions in software engineering courses.
this paper focuses on the characteristics of computer science general course, specifically the emphasis on comprehension and practical application in "Python Language programming". Combining the contemporary...
详细信息
the use of AI chatbots, such as ChatGPT, is increasingly popular across various domains, including education. While these tools offer valuable assistance to educators and students in teaching and learning activities, ...
详细信息
As artificial intelligence continues to advance at an unprecedented pace, the selection of programming languages significantly affects development processes, workflows, and outcomes. Mojo, a novel programming language...
详细信息
Program comprehension is an important yet difficult activity in a software development process. One of the main causes of the difficulty is its cognitive overhead for maintaining the mental models, which consist of ro...
详细信息
ISBN:
(纸本)9781450396561
Program comprehension is an important yet difficult activity in a software development process. One of the main causes of the difficulty is its cognitive overhead for maintaining the mental models, which consist of roles of program elements and relationships between them. though researchers have been working on tools to help maintaining the mental models, existing tools have high adoption barrier and support only a few programming languages, which hinders wide-range of programmers from using the program comprehension tools. We propose CodeMap, a graphical note-taking tool for offloading the mental models onto a visual representation. We designed CodeMap by considering familiarity and availability for practitioners. Our tool allows programmers to extract interested information into a graphical note with a few keyboard/mouse operations, and support many programming languages by using the language server protocol. In this paper, we present the design and implementation of CodeMap, and discuss possible features that could be useful for program comprehension.
this paper introduces a sampling inspection model that updates defect rates with Monte Carlo simulation data, using a five-stage dynamic programming approach. It incorporates specific factors like assembly costs and d...
详细信息
As the global climate change problem becomes increasingly severe, achieving carbon peaking and carbon neutrality has become a common goal pursued by all countries. As one of the important sources of carbon emissions, ...
详细信息
the proceedings contain 7 papers. the special focus in this conference is on engineering Trustworthy Software Systems. the topics include: From Logic to60;programming;digital Twin Tutorial: the Incubator Case Study...
ISBN:
(纸本)9789819646555
the proceedings contain 7 papers. the special focus in this conference is on engineering Trustworthy Software Systems. the topics include: From Logic to programming;digital Twin Tutorial: the Incubator Case Study;AI Components for High Integrity, Safety-Critical Human-Cyber-Physical Systems: A Challenge for Formal Methods;Testing and Design of Uniform CNF Samplers: A Virtuous Cycle Enabled by Distribution Testing;software engineering Experiences of an Optimist;Automating Component-Based Embedded Software Construction via Formal Synthesis and LLMs.
暂无评论