Investigating Multimodal Large Language Models to Support Usability Evaluation
Graz University of Technology（格拉茨技术大学）；University of Klagenfurt（克拉根福大学）；UNiQUARE Software Development GmbH（UNiQUARE软件开发有限公司）
本文探讨了多模态大语言模型在可用性评估中的应用，通过优先级问题框架识别并排名可用性问题，比较了MLLM与专家评估结果，展示了交互可视化工具，并提出整合MLLM评估到实际开发流程的概念。
2026-04-10 cs.AI cs.HC cs.SE
The AutoProof Verifier: Usability by Non-Experts and on Standard Code
形式化验证工具通常是由专家为专家开发的;因此，对于没有什么形式化方法经验的程序员来说，它们的可用性可能会受到严重的限制。在本文中，我们讨论了这种普遍现象，参考AutoProof：一个工具，可以验证面向对象软件的完整功能的正确性。特别是，我们提出了我们的经验，使用AutoProof在两个对比的情况下，代表非专家的用法。首先，我们讨论其可用性的学生在研究生课程的软件验证，谁的任务是验证各种排序算法的实现。其次，我们评估其可用性验证代码开发的编程作业的本科课程。第一个场景代表了非专业人士的可用性;第二个场景代表了“标准代码”的可用性，开发时没有考虑到完整的功能验证。我们报告我们的经验和教训，从中我们得出一些一般性的建议，进一步发展的核查工具，提高其可用性。
2015-08-17 cs.HC cs.LO cs.SE
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design
形式化方法和支持工具在安全关键系统的开发中有着长期的成功记录。然而，没有一个单一的工具已经成为系统设计的主要解决方案。每个工具在所使用的建模语言、验证功能和其他互补功能方面都有所不同，并且每个开发环境都有需要不同工具的特殊需求。这对铁路行业来说尤其成问题，因为规范强烈建议铁路行业采用正式方法，但没有为工具的选择提供实际指导。为了指导公司选择最适当的正式工具，以便在其情况下采用，需要对现有工具的特点进行明确的评估。为了实现这一目标，本文考虑了一组13个正式的工具，已用于铁路系统的设计，它提出了一个系统的评估，这样的工具和一个子集的7个工具，涉及铁路从业人员的初步可用性分析。考虑到行业和早期相关研究的最理想的方面的结果进行了讨论。虽然重点是铁路领域，但整体方法可以应用于类似的环境。因此，我们的研究有助于正式工具的系统评价，它表明，尽管图形界面差，可用性和成熟的工具是不是主要问题，声称从文献的贡献。相反，对过程集成的支持是采用大多数工具的最相关的障碍。
2021-05-13 cs.FL cs.SE
Skilled AI Agents for Embedded and IoT Systems Development
Department of Electrical and Computer Engineering, Duke University（杜克大学电气与计算机工程系）
本文提出技能型AI代理框架与IoT-SkillsBench基准，通过实测验证，展示结构化专家知识在嵌入式编程中的高效性。
2026-03-20 cs.AI cs.SE
The Model Openness Framework: Promoting Completeness and Openness for Reproducibility, Transparency, and Usability in Artificial Intelligence
Linux Foundation（Linux基金会）；University of Oxford（牛津大学）；Columbia University（哥伦比亚大学）；Generative AI Commons（生成式人工智能共同体）；IBM（国际商业机器公司（IBM））
本文提出模型开放性框架（MOF）及配套工具（MOT），通过三级分级系统评估机器学习模型的完整性与开放性，为模型生产者和消费者提供指导，以促进负责任AI研发和开放AI生态建设。
2024-10-18 cs.AI cs.CY cs.LG
Developer Experiences with a Contextualized AI Coding Assistant: Usability, Expectations, and Outcomes
本文通过62名参与者的受控实验，研究了情境化AI编程助手StackSpot AI的初始使用体验，发现其能显著节省时间、便于访问文档并准确生成内部API代码，但也存在知识来源不足、响应不稳定和复杂代码处理能力有限等挑战。
2023-11-30 cs.SE
Developing a Roadmap to an AI-first Organization: A Case Study in Embedded Software Development
University of Gothenburg（哥德堡大学）；Chalmers University of Technology（查尔姆斯理工大学）
本文通过大型嵌入式系统公司的案例研究，探讨向AI优先组织转型的路线图，分析智能体AI对团队结构、能力与角色的影响，并提出联邦式团队组建及人机协同实践建议。
2026-09-28 cs.AI cs.SE
Embedded DevOps: A Survey on the Application of DevOps Practices in Embedded Software and Firmware Development
本综述综合20个来源，探讨DevOps原则在嵌入式系统与固件开发中的适应性，分析工具、测试、自动化与安全实践，并指出部署与可观测性局限，提出未来研究路线图。
2025-07-01 cs.SE
Identity-Based Signing Shifts, Not Solves, Usability: Evidence from Five Identity-Based Signing Ecosystems
Purdue University（普渡大学）
研究分析了五个开源身份签名生态系统中用户界面问题的演变，发现验证流程和配置界面仍是主要摩擦点，尽管多数系统问题呈下降趋势。
2026-10-12 cs.CR cs.SE
TDD for Embedded Systems: A Basic Approach and Toolset
信息技术和电子技术的发展一直在不断增加嵌入式系统的使用。虽然这些系统的硬件开发已经是一致的，但嵌入式系统的软件开发仍然缺乏统一的方法。本文描述了一个使用有限状态机（FSM）和测试驱动开发（TDD）进行嵌入式系统验证的过程和工具集。
2015-08-03 cs.SE
Temporal HAL-API Dependencies as a Gateway to Formal Embedded Software Development
Hahn-Schickard Institute（汉-席克哈德研究所）；University of Freiburg（弗赖堡大学）；German Aerospace Center（德国航空航天中心）
本文提出时间HAL-API依赖关系作为形式化方法在嵌入式软件开发中的应用桥梁，通过规范和验证相结合的方法提升正确性保障。
2025-12-14 cs.SE
The Transformative Influence of LLMs on Software Development & Developer Productivity
本文系统综述了LLMs作为AI编程助手对软件开发的影响，揭示了隐私、偏见等挑战，并提出12个开放问题。
2025-07-05 cs.HC cs.SE
GluPredKit: Development and User Evaluation of a Standardization Software for Blood Glucose Prediction
针对血糖预测算法缺乏统一训练、测试与比较标准的问题，本文开发开源模块化平台 GluPredKit，并经用户研究验证其高可用性与教育价值。
2024-06-13 cs.SE
EmbedGenius: Towards Automated Software Development for Generic Embedded IoT Systems
City University of Hong Kong（香港城市大学）；Shandong University（山东大学）
EmbedGenius通过结合大语言模型和嵌入式系统知识，实现了通用嵌入式物联网系统的自动化软件开发，显著提升了代码生成准确率和任务完成成功率。
2025-12-04 cs.AI cs.SE cs.SY
What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
本研究通过分析开发者讨论和调查，识别出验证感知编程语言采用的主要障碍（如陡峭学习曲线和可用性问题），并提出简化工具界面、改进教育材料和集成开发环境等建议以提升其可用性和采用率。
2025-09-07 cs.PL cs.SE
Exploring and Characterizing Large Language Models For Embedded System Development and Debugging
University of Washington（华盛顿大学）
本文开发了开源硬件在环框架评估LLMs在嵌入式系统开发中的能力，发现GPT-4具备跨领域推理优势，并提出人机协作工作流显著提升了不同经验开发者的生产力与成功率。
2023-11-22 cs.AI cs.SE
Explaining Software Vulnerabilities with Large Language Models
Chapman University（查普曼大学）；Paderborn University（帕德博恩大学）；University of Oldenburg（奥尔登堡大学）；Paderborn University and Fraunhofer IEM（帕德博恩大学和弗劳恩霍夫IEM研究所）
本文提出IDE插件SAFE，利用GPT-4o为SAST工具检测的漏洞生成成因、影响与缓解策略解释，并通过专家用户研究验证其能显著提升初级到中级开发人员对安全漏洞的理解与处理能力，改善SAST工具可用性。
2025-11-06 cs.AI cs.SE
Towards a Cross-Domain Software Safety Assurance Process for Embedded Systems
在这项工作中，我们概述了嵌入式系统中的安全相关的软件的跨域保证过程。该过程旨在应用于各种不同的应用领域，并与任何开发方法相结合。通过这种方法，我们计划通过在不同领域的产品开发中重用安全分析技术和工具，来减少嵌入式系统中日益增长的安全评估工作。
2021-06-03 cs.SE
Closed-loop evaluation of LLM agents for embedded software development
Lucentia Research, Department of Software and Computing Systems, University of Alicante（阿利坎特大学软件与计算系统系卢森西亚研究）；Universitary Institute of Materials Technology (IUTM), Universitat Politècnica de València（巴伦西亚理工大学材料技术大学研究所）
本研究提出嵌入式编码智能体闭环评估基准，评估7种GPT与Qwen系列模型，发现gpt-5.4通过率最高，qwen3.5-27B为最强本地模型，表明高性能本地嵌入式编码智能体正在兴起。
2026-10-09 cs.AI cs.AR cs.LG
Embedded Software Development with Digital Twins: Specific Requirements for Small and Medium-Sized Enterprises
本文通过访谈中小型企业，发现实时性要求、安全顾虑及硬件访问限制阻碍了软件在环开发，但数字孪生仍被视为提升质量与定制化的潜力所在。
2023-09-17 cs.SE
Embedded System Evolution in IoT System Development Based on MAPE-K Loop Mechanism
包括物联网设备在内的嵌入式系统是为专门功能而设计的;因此，在发布后不考虑功能的更改。因此，改变功能以满足物联网系统的要求是困难的。在这项研究中，我们专注于更新现有的嵌入式系统，而不修改它们。我们研究了新功能的设计及其在有限资源下的实现。本文描述了一种用于更新现有嵌入式系统功能的演化机制。演化机制使用部署在嵌入式系统外部的控制单元。为了指导进化机制的稳定实现，我们定义了一个进化过程，有效地使用状态机图在设计时和运行时更新嵌入式系统。在这项研究中实现的编程框架支持的演变过程。我们评估的演变机制的基础上，从两个实验的结果。第一个实验涉及将进化机制应用于清洁机器人，这表明进化机制系统地使新功能注入到现实世界中的嵌入式系统中。第二个实验，对概率模型检验，证明该机制提供了几乎相同的性能，与普通的嵌入式系统具有更好的鲁棒性。
2022-05-26 cs.SE
Investigating Remote Hands-On Assistance for Collaborative Development of Embedded Systems
本研究针对现有远程协作工具不适配嵌入式硬件开发的问题，通过访谈12名开发者和用户模拟实验，分析了远程实操的需求与挑战，为嵌入式领域远程操作智能体的研发提供了实证依据。
2024-08-18 cs.HC cs.SE
A Holistic Approach in Embedded System Development
我们提出了pState，一个工具，用于开发“复杂”的嵌入式系统的设计过程中集成验证。目标是减少验证时间。为此，定性和定量的属性被指定在系统模型表示为pCharts，层次状态机的扩展版本。这些属性是以直观的方式指定的，因此它们可以由领域专家的工程师编写，而不需要熟悉时序逻辑。根据系统模型，生成保留经验证的属性的可执行代码。设计被记录在模型中，并且文档作为注释被传递到生成的代码中。在一系列示例中，我们说明了如何使用pState指定模型和属性。
2015-08-17 cs.SE
User Support for the Combinator Logic Synthesizer Framework
可用性对于采用软件开发技术至关重要。这在开发阶段尤其如此，在那里构建过程失败，因为软件尚未完成或未完全修改。我们提出了早期的工作，旨在提高可用性的组合逻辑合成器（CL）的框架，特别是在这些阶段。(CL)S是一个公开的基于类型的开发工具，用于从用户指定的存储库自动组合软件组件。它提供了一个实现的类型栖息算法的组合逻辑与交叉类型，这是完全集成到Scala程序设计语言。在这里，我们特别关注构建一个基于Web的IDE，使非专家能够理解算法的潜在不完整或错误的输入规范和决策。一个主要方面是提供图形表示，说明逐步搜索过程的算法。我们还提供了一个详细的讨论，未来可能的工作，以进一步提高这些表示的可理解性。
2018-11-27 cs.FL cs.HC cs.LO
EmbedAgent: Benchmarking Large Language Models in Embedded System Development
University of Chinese Academy of Sciences（中国科学院大学）；The Hong Kong University of Science and Technology（香港科学与技术大学）；Peng Cheng Laboratory（鹏城实验室）；Institute of Software, Chinese Academy of Sciences（中国科学院软件研究所）
本文提出EmbedAgent和Embedbench，用于评估LLMs在嵌入式系统开发中的能力，发现通用LLMs在特定任务中表现不佳，提出检索增强生成和编译器反馈策略以提升性能。
2026-01-23 cs.AI cs.SE
A Case Study on Model-Based Development of Robotic Systems using MontiArc with Embedded Automata
服务机器人的软件开发本质上是复杂的。即使是单个机器人也需要多个传感器、执行器和软件模块的组合。系统通常由领域专家组开发，很少有软件工程专家。因此，最终的软件系统是在单一平台上解决单一问题的单片程序。我们声称，以模块化的方式对机器人的结构和行为进行建模，可以获得更好的可重用软件。我们报告的研究与结构和行为建模语言MontiArcAutomaton的机器人软件的建模。本研究评估的好处和困难，基于模型的机器人软件开发使用MontiArc-Automaton。我们的研究结果是基于一项调查，与参与者的讨论，以及他们发展行为的关键数字。我们提出的项目，我们的研究，经验教训，以及未来的工作的基础上获得的见解
2014-08-25 cs.SE
Empowered and Embedded: Ethics and Agile Processes
在这篇文章中，我们专注于道德软件开发的结构方面，并认为道德的考虑需要嵌入到（敏捷）软件开发过程。事实上，我们认为软件开发的敏捷过程特别适合这种努力。首先，我们认为道德评估需要超越软件产品的使用，包括对软件本身的评估。这意味着软件工程师通过他们设计的产品的功能影响人们的生活。因此，软件工程师自己最能接近嵌入式价值。因此，我们把重点放在可能性实施道德审议已经存在的和完善的敏捷软件开发过程。我们的方法依赖于软件工程师在整个开发过程中做出自己的判断，以确保技术功能和道德评估能够得到充分的解决，以传输和培养理想的价值观和规范。我们认为，敏捷软件开发过程可能有助于道德审议的实施，原因有五个：1）敏捷方法被广泛传播，2）它们对扁平层次结构的强调促进了独立思考，3）它们对现有团队结构的依赖充当了深思熟虑的孵化器，4）敏捷开发增强了以对象为中心的技术伦理现实主义，最后，5）敏捷结构为深思熟虑提供了一个突出的终点。
2021-07-15 cs.CY cs.SE
Software Development Under Stringent Hardware Constraints: Do Agile Methods Have a Chance?
敏捷软件开发方法已经被认为在许多情况和环境中是有用的。然而，只有很少（如果有的话）的经验是关于使用敏捷方法在嵌入式领域的硬件设置严格的要求，软件。这个开发领域可以说是远离敏捷的大本营。本文探讨了在这种环境下使用敏捷开发技术的可能性，并定义了新的敏捷方法的要求，以促进嵌入式软件的开发。调查结果是基于一个为期12个月的实证研究，在低层次的电信软件的发展。我们认为，通过解决我们发现的需求，敏捷方法也可以在嵌入式软件领域取得成功。
2017-11-23 cs.SE
Agentic Pipelines in Embedded Software Engineering: Emerging Practices and Challenges
Chalmers University of Technology（查尔姆斯理工大学）；University of Gothenburg（哥德堡大学）
本文探讨嵌入式软件工程中生成式AI的整合挑战与实践，通过专家访谈揭示代理流水线的发展与可持续采用策略。
2026-01-15 cs.SE
Software Development with Scrum: A Bibliometric Analysis and Profile
在软件工程中引入的软件开发方法改变了软件开发的方式。Sourcing方法强调最终用户的积极参与，拥抱变化，以及产品的迭代交付。我们的研究表明，Sodium有不同的变体或与不同的方法结合使用。一些在传统软件方法中通常不使用的工具，如游戏化，内容分析和扎根理论也被采用。然而，与其他软件开发方法一样，软件开发方法关注于软件过程、软件质量、商业价值、性能、可用性和效率的改进，同时降低成本、风险和不确定性。与一些传统方法相反，它还努力提高灵活性，信任，动机，责任和透明度等软因素。文献计量学的综合范围研究揭示了七个主要的研究主题，涉及到科学研究。
2021-03-01 cs.SE
A General Solution for the Implementation of CI/CD in Embedded Linux Development
Amirkabir University of Technology（阿米尔卡比尔理工大学）
针对嵌入式Linux开发，提出基于Yocto三层架构与GitLab CI及Docker的通用CI/CD方案，实现可复现构建，经QEMU六场景验证，显著缩短构建时间并支持扩展。
2025-10-24 cs.SE
A Formal Verification Technique for Architecture-based Embedded Systems in EAST-ADL
随着汽车嵌入式系统等软件密集型系统的复杂性显著增加，开发有质量保证的软件密集型系统是一项日益严峻的挑战。EAST-ADL是一种架构描述语言，旨在在安全关键汽车产品的开发中以多个抽象级别指定汽车嵌入式系统架构。在本文中，我们提出了一个基于架构的验证技术，增强了基于模型的开发过程中支持的EAST-ADL适应模型检查EAST-ADL规范。我们采用UPPAAL作为验证工具，以确保预测的功能行为的模型在EAST-ADL满足功能和实时要求。提出了基于体系结构的验证准则，并推导出符合该准则的转换规则。这使我们能够从EAST-ADL规范中提取相关信息，并生成可分析的UPPAAL模型。定义了EAST-ADL规范的形式化语义，这对EAST-ADL规范的自动验证至关重要。我们的方法是通过验证转向车系统单元的安全性来证明的。
2019-03-14 cs.SE
Where Agent Frameworks Fall Short: Examining Functional Challenges and Usability Concerns
Nantong University（南通大学）；Ulsan National Institute of Science and Technology (UNIST)（蔚山科学技术院）；Nanyang Technological University（南洋理工大学）；Beihang University（北京航空航天大学）；Xi’an Jiaotong University（西安交通大学）；Nanjing University（南京大学）；University of Massachusetts Amherst（马萨诸塞大学阿默斯特分校）
本文通过分析998个缺陷报告，发现现代LLM代理框架中缺陷主要源于API误用、不兼容和文档不同步，集中在自我行动阶段，导致功能错误、崩溃和构建失败。
2026-08-07 cs.SE
Debugging Invariant Issues in Pseudo Embedded Program: an Analytical Approach
软件开发是软件开发生存周期中不可避免的一个重要环节。尤其是当它变成嵌入式的时候。由于嵌入式软件对代码大小和资源消耗的要求较低，因此在开发阶段需要不断升级，代码变化较大。这导致了在生产时将bug侵入代码的巨大风险。本文提出了一种结合不变量分析的伪格式嵌入式程序调试方法。我们的方法工作在Daikon之上，Daikon是一个流行的不变量分析器。我们已经尝试了一个简化的代码片段[1]，在调试BusyBox中报告的错误时使用，BusyBox是嵌入式系统中Linux的事实标准。
2012-09-13 cs.SE
LEADS: Lightweight Embedded Assisted Driving System
Villanova College（维拉诺瓦学院）；Project Neura（Neura项目）；University of Waterloo（滑铁卢大学）；Vector Institute（Vector研究所）
针对学生方程式赛车沿用商用车架构导致系统复杂的问题，提出轻量级嵌入式辅助驾驶系统 LEADS，以简化仪表、控制与分析系统开发并提升效率。
2024-10-23 cs.LG cs.SE cs.SY
Architecture Models Refinements for Software Development of Critical Real-time Embedded Systems
网络物理系统是由基于计算机的程序、紧密集成的网络、传感器和执行器控制或监控的系统。CPS的软件开发已经变得如此困难，以至于它代表了CPS生产的大部分成本。此外，值得注意的是，CPS中软件的集成、验证和确认需要比分析、设计和实现活动更多的努力。主要原因是，这些活动是在开发过程的后期进行的，在该过程的这一阶段发现的问题将需要对先前活动（即分析、设计和/或实现）中产生的工件进行返工。在本文中，我们提出了我们的工作，旨在提高可靠性的软件开发领域的CPS。在这种情况下，我们将开发过程的可靠性定义为交付中间工件的能力，其中返工工作将尽可能小。这个问题对于通用软件（即在台式计算机或服务器上使用的软件）来说非常困难，并且对于CPS中的软件来说甚至更困难。主要原因是CPS中的软件通常是关键的、实时的【形】并且嵌入在特定于域的执行平台上。因此，CPS中软件应用程序的非功能属性（也称为质量属性）通常与这些应用程序的逻辑正确性一样重要且难以满足。为了提高CPS领域软件开发的可靠性，提出了一种基于逐步细化软件体系结构描述的模型驱动工程（MDE）方法。本文总结了用这种方法得到的结果。
2019-11-24 cs.SE cs.SY eess.SY
Automatic SDF-based Code Generation from Simulink Models for Embedded Software Development
Matlab/Simulink是一种广泛使用的基于模型的嵌入式系统设计工具。支持层次结构，特定领域的构建块，功能仿真和自动代码生成，使其非常适合控制和信号处理系统的设计。在这项工作中，我们提出了一个自动翻译方法的Simulink模型的一个子集，以同步的可移植图（SDFGs），包括SDF兼容的嵌入式代码的自动代码生成。由于Simulink面向参与者的建模性质，将Simulink模型转换为SDFG非常合适，允许应用SDFG领域的多种优化技术。由于其定义良好的语义，SDFG可以在编译阶段进行分析，以获得无死锁和内存有效的调度。此外，存在几种实时分析方法，其允许SDFG到片上多处理器（MPSoC）的吞吐量最优映射，同时保证上限延迟。我们的翻译的正确性是合理的集成SDF生成的代码作为一个软件在环（SIL），并将其结果与参考Simulink模型的模型在环（MIL）仿真的结果进行比较。翻译证明了两个案例研究的帮助下：一个传输控制器单元（TCU）和自动气候控制。
2017-01-31 cs.DC cs.SE
Model-Based Development of Distributed Embedded Systems by the Example of the Scicos/SynDEx Framework
Technische Universität Wien（维也纳工业大学）
本文通过Scicos/SynDEx框架研究基于模型的开发（MBD）在分布式嵌入式系统中的可行性，实验表明MBD在单处理器应用中会带来额外内存消耗，且分布式代码生成需大幅修改调度表，目前仅推荐用于实验目的。
2010-10-19 cs.AR cs.SE cs.SY
Single-window Integrated Development Environment
本文通过引入单窗口图形用户界面来解决IDE界面复杂性的问题。这种方法是从IDE中删除额外的子窗口，从而允许用户只打开文本编辑器窗口。我们描述了一个基于最流行的现代集成环境的IDE GUI的抽象模型，它具有广义的用户界面部分。然后将此抽象模型重组为单窗口界面模型：从代码编辑窗口提供对常见IDE功能的访问，同时删除实用程序窗口，而不损失IDE功能。然后介绍了单窗口GUI在KDevelop 4上的实现。最后对几个著名的IDE的工具视图和可用性进行了综述.
2012-07-06 cs.HC cs.SE
Debugging Memory Issues In Embedded Linux: A Case Study
检测表示检测程序中意外可观察行为的根本原因的过程，例如程序崩溃、产生意外输出值或断言违规。排除程序错误是一项困难的任务，并且在软件开发生存周期中经常花费大量的时间。在嵌入式软件的背景下，bug的概率相当高。由于嵌入式软件要求低代码大小和更少的资源消耗，因此通常在开发期间消除大量的健全性检查。这导致在运行时间在生产代码中发现错误的可能性很高。在本文中，我们提出了一种方法来调试BusyBox，Linux在嵌入式系统中的事实标准的错误。我们的方法工作在Valgrind，一个流行的内存错误检测器和Daikon，一个不变的分析。我们在BusyBox中实验了两个已发表的错误，并在本文中报告了我们的发现。
2012-08-02 cs.SE
High Level Hardware/Software Embedded System Design with Redsharc
随着用于设计多处理器片上系统（MPSoC）的工具继续发展以满足开发人员的需求，存在必须被弥合以提供更紧密的硬件/软件开发环境的系统性差距。我们提出Redsharc来解决这些问题，并使：系统生成，软件/硬件编译和合成，运行时控制和执行的MPSoC。本文中提出的努力扩展了我们以前的工作，提供了丰富的API，构建基础设施和运行时，使开发人员能够设计一个系统，同时执行内核的软件或硬件，无缝通信。在这项工作中，我们进一步采用Redsharc，以支持更多设备上的更广泛的应用程序，这些设备需要更统一的系统开发环境和构建基础设施。为了实现这一目标，我们利用现有的工具，并通过构建和控制基础设施扩展Redsharc，以减轻系统开发的负担，使软件程序员能够将精力集中在应用程序和内核开发上。
2014-08-20 cs.DC cs.SE
Blockchain Developer Experience: A Multivocal Literature Review
本研究通过多声部文献综述分析62项研究，发现区块链开发者体验（BcDEx）在学术与工业界关注不均，并识别出复杂性抽象、采用促进、生产力提升、开发者教育和评估五个关键视角，为后续研究奠定基础。
2025-01-20 cs.SE
