sTeX+ - a System for Flexible Formalization of Linked Data
German Research Center for Artificial Intelligence (DFKI)（德国人工智能研究中心（DFKI））；Jacobs University Bremen（不来梅雅各布大学）
我们提出的sTeX+系统，用户驱动的sTeX-LaTeX的语义扩展，允许生产高质量的PDF文档（校对）阅读和打印，以及语义XML/OMDoc文档的Web或进一步处理的进步。最初，sTeX是作为一种侵入式的、语义化的前端创建的，用于编写XML文档。在这里，我们在一个软件工程案例研究中使用sTeX作为形式化工具。为了处理模块化前语义词汇和关系，我们在参与式设计过程中将其升级为sTeX+。我们提出了一个工具链，从一个sTeX+编辑器开始，并最终通过一个支持OMDoc的版本化XML数据库将生成的文档作为XHTML + RDFa链接数据。在最终的输出中，所有的结构化注释都被保留，以支持语义信息检索服务。
2010-06-23 cs.AI cs.SE
Hybrid architecture for satellite data processing workflow management
用户对遥感数据产品的需求日益增长，导致印度和外国发射了许多遥感卫星。遥感传感器的多样性导致了生成地理空间数据产品的软件和硬件环境的异质性。工作流程自动化软件称为信息管理系统，已在国家遥感中心（NRSC）到位，以满足数据处理和数据传播的需要。工作流的软件组件在不同的异构环境中接口，以自动和半自动模式在数据处理软件中执行。每发射一颗新的卫星，如果引入新的业务流程，软件就会进行修改或升级。在这项研究中，我们提出了一个软件架构，提供了更灵活的自动化与管理代码非常少。该研究还涉及利用和提取有用的信息，从历史生产和客户的详细信息。对当前的工作流软件体系结构与现有的面向服务的体系结构（SOA）、可扩展置标语言（XML）和基于事件的体系结构进行了比较。提出了一种基于行业实践的混合方法来改进现有的工作流程。
2015-09-25 cs.SE
HepML, an XML-based format for describing simulated data in high energy physics
本文描述了一种HepML格式和一个相应的C++库，它能以统一、灵活的形式完整地描述部分子级事件。HepML标签包含足够的信息来理解模拟事件描述的物理类型以及事件是如何准备的。HepML块可以包含在LHEF格式的事件文件中。HepML块的结构通过几个XML模式来描述。Schemas定义了HepML块的必要信息以及如何在块中定位这些信息。libhepml库是一个C++库，用于解析和序列化HepML标记，并在计算机内存中表示HepML块。该库是外部软件的API。例如，Matrix Element Monte Carlo事件生成器可以使用该库以HepML标记的形式准备和写入LHEF文件的头。反过来，Showering和Hadronization事件生成器可以解析HepML头并以C++类的形式获取信息。libhepml可以在C++、C和Fortran程序中使用。HepML的所有必要部分都已经准备好，我们将该项目提交给HEP社区。
2010-08-12 cs.DL cs.SE hep-ph
Better User Recommendations using Enhancing Software Development Process Repository
重用以前完成的软件存储库来增强开发过程是一种常见现象。如果开发人员从现有项目中获得建议，他们可能会在编码时受益匪浅。这一领域的现有战略每天都在迅速变化。有一些努力一直专注于采矿过程和建造储存库。其中一些人强调基于Web的代码搜索，而另一些人则将基于Web的代码搜索集成到他们的定制工具中。但是基于Web的方法效率低下，特别是在构建应用挖掘技术的知识库方面。为了搜索响应用户查询的代码片段，我们需要一个具有更好表示和抽象的丰富存储库。为了保证仓库在挖掘过程之前，我们开发了一个基于增强软件开发过程（ESDP）的概念。在ESDP方法中，考虑了来自在线和离线存储的多个代码源，以构建具有XML表示的中央存储库，并在客户端应用挖掘技术。相应的评估表明，ESDP方法的工作更好的响应时间和性能比许多现有的方法今天。
2020-06-21 cs.SE
Introducing Enriched Concrete Syntax Trees
在我们早期的研究中，探索了软件度量的一致和系统应用领域。软件度量的适用性对输入程序设计语言的强烈依赖被认为是这一领域的主要弱点之一。为源代码的内部和中间表示引入了丰富的混凝土树（eCST），从而克服了这一弱点。在本文中，我们解释的创新，引入eCST和eCST在软件工程的其他领域的更广泛的适用性提供了思路。
2013-10-02 cs.PL cs.SE
Enhancing Software Development Process (ESDP) using Data Mining Integrated Environment
如今，重用现有的应用程序编程接口（API）、类库和框架已成为快速软件开发的基本需求。软件开发人员经常通过调用相应的API或库来重用它。但在这样做的时候，开发人员在搜索适当的代码段时通常会遇到不同的问题。在大多数情况下，API和库是复杂的，没有良好的结构或良好的文档记录。在线搜索引擎的搜索耗时长，但匹配的相关性不高，表示性不好。为了根据查询获得建议，我们可以使用搜索引擎或代码搜索引擎在线找到该片段。在某些情况下，依赖于数据库的搜索和基于远程Web服务器的挖掘存储库搜索给开发人员带来了问题。在代码搜索引擎上查找API建议通常会处理超大文件，最终会减慢软件开发过程。我们在整个工作过程中一直在寻找解决办法，并努力取得更好的结果。作为替代行动，我们已经实施了一个系统，我们称之为增强软件开发过程（ESDP）工具，该工具能够为开发人员提供一个高效的集成环境，更好地抽象和表示搜索结果，程序员需要从源代码中派生。我们还构建并应用了一个基于XML的丰富存储库，以从客户端的挖掘存储库中获得推荐，而无需与依赖于互联网的服务器进行交互，以节省复杂性和时间。我们使用基于图的表示为程序员或开发人员提供最相关的代码框架或映射。
2020-05-06 cs.SE
How Surveys, Tutors, and Software Help to Assess Scrum Adoption in a Classroom Software Engineering Project
敏捷方法最好在实际项目中以实践的方式教授。这样做的主要挑战是评估学生是否正确应用这些方法，而不需要在整个项目中进行全面监督。本文介绍了一个课堂项目的经验，38名学生开发了一个单一的系统，使用缩放版本的Sockets。调查帮助我们确定了学生满意度最相关或构成最大挑战的因素。这些见解得到了一个导师团队的补充，他们在整个项目期间陪同主要会议，向团队提供反馈，并在实践中捕捉方法应用的印象。最后，我们对协作工件进行了一个事后的、工具支持的分析，以检测在采用Scrum时反模式的具体指标。通过这些技术的结合，我们能够了解学生如何在本课程中实现Sockets，以及哪些元素需要在未来的迭代中进一步讲授和辅导。协作工件的自动化分析被证明是对开发过程的一个很有前途的补充，可以减少未来课程中的手动工作，并允许更具体和有针对性的反馈，以及更客观的评估。
2018-09-03 cs.SE
Microservices a Definition Analyzed by ßMACH
本文提出提供软件指导的ßMACH方法，通过将其应用于微服务概念，验证该方法在创建统一、最小且完整的管理描述方面的适用性与优势。
2024-04-22 cs.SE
RPSE: Reification as Paradigm of Software Engineering
本文介绍了RPSE，Reification作为软件工程的一种范式，并列举了该范式发展和应用中的重要理论和实践问题。主要论点：软件工程是通过将心智模型转换为在计算机上执行的代码来实现的具体化（思想的物化）。在拟议的范例内：1.软件工程的所有基本过程都是构造心理和物质模型I1，I2，.的过程的具体变体（实现）。In，M1，M2，..嗯。这条链中最后一个最具体的模型通常是程序代码。2.软件工程的本质就是构建这样的链。3.优化开发、成本和质量的所有主要问题都可以简化为相应模型链的构建优化。
2018-10-03 cs.SE
Model-Driven Development of Complex Software: A Research Roadmap
模型驱动工程（Model-Driven Engineering，MDE）一词通常用于描述软件开发方法，其中创建软件系统的抽象模型并将其系统地转换为具体的实现。在本文中，我们给出了目前的研究在MDE的概述，并讨论了一些必须解决的主要挑战，以实现软件开发的MDE愿景。我们认为，充分实现MDE的愿景可能不可能在近期到中期，主要是因为涉及的邪恶的问题。另一方面，试图实现这一愿景将提供一些见解，这些见解可用于显著缩小不断发展的软件复杂性与用于管理复杂性的技术之间的差距。
2014-09-22 cs.SE
Software Engineering for Responsible AI: An Empirical Study and Operationalised Patterns
Data61, CSIRO（澳大利亚联邦科学与工业研究组织Data61部门）
尽管人工智能（AI）正在解决现实世界的挑战并改变行业，但人们对其以负责任的方式行事和决策的能力存在严重担忧。最近，政府、组织和企业发布了许多关于负责任人工智能的道德原则和指南。然而，这些人工智能伦理原则和指南通常都是高层次的，并没有就如何设计和开发负责任的人工智能系统提供具体的指导。为了解决这个问题，我们首先进行了一项实证研究，采访了21名科学家和工程师，以了解从业者对人工智能伦理原则及其实施的看法。然后，我们提出了一个模板，使人工智能伦理原则能够以具体模式的形式运作，并建议使用新创建的模板的模式列表。这些模式提供了具体的、可操作的指导，有助于开发负责任的人工智能系统。
2021-11-18 cs.AI cs.SE
On the Economic Implications of Diversity in Software Engineering
University of Calgary（卡尔加里大学）
研究探讨软件专业人士对软件工程团队多样性的经济影响看法，通过访谈发现多样性与成本降低、收入生成、市场时间等经济因素相关，强调实践中的实用性。
2026-03-23 cs.SE
Operationalised product quality models and assessment: The Quamoco approach
软件质量模型要么提供抽象的质量特征，要么提供具体的质量度量;这两个方面没有无缝集成。其原因包括质量的复杂性和不同领域的各种质量概况，这使得难以建立可操作的质量模型。在Quamoco项目中，我们开发了一种全面的方法来缩小这一差距。它将建设性研究与实证研究相结合，建设性研究涉及来自学术界和工业界的高质量专家参加讲习班、冲刺工作和审查。项目内的所有可交付成果均由来自不同领域的两名项目成员进行同行审查。大多数可交付成果是在两三次迭代中开发的，并经过了评价。我们贡献了一个全面的质量建模和评估方法：（1）Meta质量模型定义了可操作的质量模型的结构。它包括产品因素的概念，弥合了具体测量和抽象质量方面之间的差距，并允许模块化为特定领域创建模块。(2)基本质量模型在很大程度上与技术无关，减少了为特定领域构建质量模型的工作量和复杂性。对于Java和C#系统，我们用大约300个具体的产品因子和500个度量来改进它。(3)具体和全面的质量评估方法利用元模型中的概念。(4)使用真实世界的软件系统对上述结果进行实证评估。(5)广泛的开源工具支持处于成熟状态。(6)嵌入式软件系统的模型是特定领域质量模型的概念验证。我们为质量模型在工业实践中的开发和应用提供了广泛的基础，也为进一步扩展、验证和与其他研究方法进行比较提供了基础。
2016-11-28 cs.SE
Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications
软件体系结构通过指定软件组件及其交互来描述计算系统的结构。将软件架构映射到实现是一个众所周知的挑战。这种映射的一个关键元素是架构对组件之间的数据和控制流交互的描述。这些交互的特征可以是相当抽象的，也可以是非常具体的，提供或多或少的实现指导、编程支持和静态验证。在本文中，我们探讨了一个点之间的抽象和具体的组件交互规范的设计空间。我们引入了行为契约的概念，它表达了组件之间允许的交互，描述了数据和控制流约束。此声明是架构描述的一部分，允许生成广泛的编程支持，并启用各种验证。我们实例化我们的方法在感/计算/控制应用程序的域的架构描述语言，并描述相关的编译和验证策略。
2011-09-13 cs.PL cs.SE
Visualization of Software and Systems as Support Mechanism for Integrated Software Project Control
许多软件开发组织仍然缺乏支持，无法对其软件开发过程进行智能控制，也无法确定其过程的性能和所生产产品的质量。通常缺少对关键过程和产品状态的检测和反应以实现计划目标的系统支持。在明确模型的基础上使度量制度化的一种方法是开发和建立一个所谓的软件项目控制中心（SPCC），用于系统的质量保证和管理支持。SPCC相当于控制室，这是机械生产领域的一个众所周知的术语。SPCC的一项关键任务是系统地可视化测量数据，以便为所有利益相关者提供面向背景、目的和角色的信息（例如，项目经理、质量保证经理、开发人员）。本文将概述SPCC概念，一个支持面向目标的数据可视化的具体实例，以及实际应用中的示例和经验。
2014-01-09 cs.SE
Bottom-up strategy for data retrieval and data entry over front-end application Software
有些人实现模式和最佳实践时没有分析其在项目中的效率。因此，我们在本文中的目标是说服软件开发人员，认真努力评估最佳实践和软件模式的使用是值得的。为此，在本研究中，我们采取了一个具体的案例系统的地理位置输入通过用户界面。然后，我们对传统方法与我们的方法进行了比较研究，通过测量用户在将数据输入系统时执行操作所花费的时间，将其命名为反向逻辑检索结果。令人惊讶的是，与传统方法花费的时间相比，我们花费的时间减少了59%。这一结果为从典型的最后一步馈送数据和基于字符串匹配算法的搜索奠定了基础，加快了人与计算机之间的交互响应
2019-02-21 cs.SE
Agile Software Development Method, A Comparative Review1
虽然敏捷软件开发方法已经引起了全世界软件工程师和研究人员的注意，但科学研究仍然非常缺乏。这项研究的目的是为了使不同的敏捷方法，已经提出的意义。本比较审查是从使用以下特征作为分析视角的观点进行的：项目管理支持、生命周期覆盖范围、实践指导类型、实际使用中的适应性、研究目标类型和经验证据的存在。结果表明，敏捷软件开发方法涵盖，没有提供任何理由，软件开发生命周期的不同阶段，这些方法中的大多数未能提供足够的项目管理支持。此外，相当多的方法仍然没有就如何使用其解决办法或如何使其适应不同的发展情况提供具体指导。经过十年的应用，经验证据仍然相当有限。根据结果，敏捷方法的新方向进行了概述。
2019-03-26 cs.SE
Application of Statistical Methods in Software Engineering: Theory and Practice
对软件工程中所涵盖的方法和概念的实验评估越来越受到重视。这个值表明了在软件工程研究中对新形式的评估和结果验证的不断探索。通过评价在研究中验证结果，而评价又变得越来越严格。作为一种替代方法，以帮助验证的结果，也就是说，他们是积极的或消极的，我们建议使用统计方法。本文介绍了一些主要的统计技术，以及它们在软件工程的实验研究中进行数据分析的实施。本文提出了一种实用的方法证明统计技术，通过一个决策树，这是为了促进适当的统计方法的理解，为每一个数据分析的情况。来自软件项目的实际数据被用来证明这些统计方法的使用。虽然这不是这项工作的目的，基本的实验和统计概念将被提出，以及这些技术的适用性的具体指示。
2020-06-28 cs.SE
Goal-oriented Data Visualization with Software Project Control Centers
许多软件开发组织仍然缺乏支持，无法对其软件开发过程进行智能控制，也无法确定其过程的性能和所生产产品的质量。通常缺乏系统的支持，以检测和应对关键的项目状态，以实现计划的目标。在明确模型的基础上使度量制度化的一种方法是开发和建立一个所谓的软件项目控制中心（SPCC），用于系统的质量保证和管理支持。SPCC相当于控制室，这是机械生产领域的一个众所周知的术语。其任务包括收集、解释和可视化测量数据，以便为所有利益相关者（例如，项目经理、质量保证经理、开发人员）。本文将介绍SPCC概念的概述，支持面向目标的数据可视化（G-SPCC方法）的具体实例，以及实际应用的经验。
2014-03-17 cs.SE
Using Software Categories for the Development of Generative Software
在模型驱动开发（MDD）中，软件通过系统地将抽象模型转换为具体的源代码而出现。理想情况下，执行这些转换在很大程度上是代码生成器的任务。开发新的代码生成器的一种方法是编写一个参考实现，并将其分离为手写和可生成的代码。通常，生成器开发人员手动执行这种分离，该过程通常是耗时的、劳动密集型的、难以维护的，并且可能产生比必要的更多的代码。软件类别提供了一种将代码分成具有定义的依赖关系的指定部分的方法，例如，“业务逻辑”代码可能不直接使用“技术”代码。本文提出了一种方法，使用软件类别的概念，半自动地确定候选生成的代码。其主要思想是迭代地从已分类代码的依赖项中派生出未分类代码的类别。最终生成或手写代码的候选是属于特定（先前定义的）类别的代码部分。这种方法可以帮助生成器开发人员比手工搜索更容易和更系统地找到生成代码的候选者，并且是生成软件的工具支持开发的一步。
2015-09-08 cs.SE
A Survey of Software Foundations in Open Source
已经建立了一些软件基金会，作为更好地阐明开放源码软件项目的结构、协作和财务模式的法律文书。一些例子是Apache，Linux或Mozilla基金会。然而，这些基金会的使命和提供的支持在很大程度上各不相同。在本文中，我们进行了研究的作用，基金会在开放源码软件的发展。我们分析了101个软件基金会的性质、活动、角色和治理，然后深入研究了27个具体目标是特定开源项目的发展和演变（而不仅仅是促进自由软件运动或类似运动的一般行动）的基金会。我们的研究结果揭示了存在着大量的基金会，其唯一目的是促进自由软件运动和/或将自己限制在核心法律方面，但在项目的日常运作中不发挥任何作用（例如，各种项目的伞式组织）。因此，基金会虽然有用，但并不意味着不需要具体项目来制定自己的具体治理、贡献和发展政策。此外，还设有一个网站，帮助项目选择最适合其需要的基金会。
2020-05-20 cs.SE
Towards Effective Collaboration between Software Engineers and Data Scientists developing Machine Learning-Enabled Systems
本研究通过焦点小组探讨软件工程师与数据科学家在开发机器学习赋能系统时的协作，发现明确职责和简洁文档等建议能提升沟通与性能，促进有效协作。
2024-07-22 cs.SE
No One Left Behind: Cross-Level Analysis for Sustainable Software Engineering
Anhalt University of Applied Sciences（安哈尔特应用科学大学）；Eindhoven University of Technology（埃因霍温理工大学）
本文针对软件工程中可持续性问题的跨层级系统性关联，提出可持续性反模式概念，为可持续软件工程研究提供集成且可落地的分析基础。
2026-09-04 cs.SE
Assurances in Software Testing: A Roadmap
作为研究人员，我们已经知道如何使测试更有效和更高效地发现bug。然而，由于模糊（即，自动化测试）在实践中越来越广泛地被采用，从业者们会问：模糊测试活动提供了什么保证不会暴露错误？在合理的剩余风险下，何时停止模糊器是安全的？模糊器应该运行多久才能达到足够的覆盖范围？现在是我们超越日益复杂的测试技术的创新，围绕测试过程的解释和量化建立一个知识体系，并制定合理的方法，以可衡量的准确性估计和推断这些数量的时候了。在我们对未来的展望中，从业者利用丰富的统计工具集来评估剩余风险，获得统计保证，并分析正在进行的模糊活动的成本效益权衡。我们提出了一个总体框架作为第一个出发点，以应对这一根本挑战，并讨论了大量的具体机会，为未来的研究。
2018-12-17 cs.SE
Code Digital Twin: Empowering LLMs with Tacit Knowledge for Complex Software Development
本文提出代码数字孪生框架，通过建模软件物理与概念层、保留隐性知识并协同演进，将碎片化知识转化为显式可操作表示，以弥合AI能力与企业软件开发现实之间的差距。
2025-10-27 cs.SE
Assessing requirements engineering and software test alignment -- Five case studies
本文提出REST-bench评估工具，基于REST对齐分类法并通过五家公司的技术行动研究验证，可识别需求工程与软件测试协调中的改进机会。
2023-08-15 cs.SE
Virtual Machine Support for Many-Core Architectures: Decoupling Abstract from Concrete Concurrency Models
即将到来的众核架构要求软件开发人员利用并发性来利用可用的计算能力。当今的高级语言虚拟机（VM）是软件开发的基石，但并没有为并发概念提供足够的抽象。我们分析了具体和抽象的并发模型，并确定了它们对虚拟机带来的挑战。为了在虚拟机中提供足够的并发支持，我们建议将并发操作集成到虚拟机指令集中。由于总会有针对特殊目的优化的VM，因此我们的目标是开发一种方法来设计具有并发支持的指令集。因此，我们还提出了一个权衡的清单，必须进行调查，建议这样的指令集的设计。作为第一个实验，我们实现了一个用于共享内存的指令集扩展和一个用于非共享内存并发的指令集扩展。从我们的实验结果中，我们得出了一个完整的实验环境，为进一步研究的要求列表。
2010-02-04 cs.AR cs.DC cs.PL
Software Professionals are Not Directors: What Constitutes a Good Video?
视频是丰富和有效沟通的最佳文档选择之一。它们通过具体实现某些要求，使人们能够体验一种情况的总体背景。尽管在需求工程（RE）中集成视频的研究已经有35年了，但就RE最佳实践而言，视频并不是一个既定的文档选项。有几种方法使用视频，但省略了如何制作视频的细节。软件专业人员缺乏如何与视频进行视觉交流的知识，因为他们不是导演。因此，他们不一定具有所需的技能，既不能产生一般的好视频，也不能推断出什么构成了现有方法的好视频。视频制作的学科提供了许多通用的指导方针，这些指导方针代表了如何制作具有特定特征的优秀视频的最佳实践。我们建议分析现有的技术，以了解什么是一个好的视频视觉传达。作为一项行动计划，我们建议对视频制作指南进行文献研究。我们期望识别好视频的质量特征，以获得质量模型。软件专业人员可以将这样的视频质量模型用作规划、拍摄、后处理和观看视频的方向。因此，我们希望鼓励并使软件专业人员能够以适度的成本制作出高质量的视频。
2018-08-15 cs.SE
Software Security Mapping Framework: Operationalization of Security Requirements
针对现有框架难将抽象安全原则转化为可执行实践的问题，本研究提出分层的软件安全映射框架，结合KAOS建模建立目标与操作的追溯关联，配套工具与机器可读模型，经案例验证可助力安全合规与风险应对。
2025-05-22 cs.SE
Literate Tracing
本文提出文学化追踪范式，用带注释的具体执行轨迹解释软件系统，并介绍工具TReX，已用于Linux内核、Git和GCC等大型系统。
2025-10-10 cs.PL cs.SE
Embedding Spatial Software Visualization in the IDE: an Exploratory Study
软件可视化对于以直观的方式理解和探索软件系统非常有用。软件的空间表示是一种很有前途的方法。但是，对于开发人员如何与IDE中嵌入的空间可视化进行交互，我们知之甚少。在本文中，我们提出了一个试点研究，探讨使用软件制图程序理解一个未知的系统。我们调查了开发人员是否建立了系统的空间记忆，按主题进行聚类是否提供了一个合理的基本布局，以及开发人员如何与地图进行交互。我们以观察、假设和影响的形式报告我们的结果。主要发现是：a）开发人员很好地利用了地图来检查搜索结果和调用图，b）开发人员发现基本布局令人惊讶，而且经常令人困惑。我们的结论与嵌入式软件地图的设计具体的建议。
2010-07-25 cs.HC cs.SE
Concept-centric Software Development
本文介绍Palantir将概念置于软件开发核心的实践，通过集中概念库实现产品对齐、概念演进与跨团队沟通，并总结经验与挑战，为其他组织提供采用以概念为中心方法的建议。
2023-10-19 cs.HC cs.SE
Bayesian Data Analysis in Empirical Software Engineering Research
本文针对频率统计在异构软件工程数据分析中灵活性不足、结果难解释的问题，介绍贝叶斯数据分析，并通过重新分析自动生成测试和编程语言性能两项研究展示其优势。
2019-08-26 cs.SE stat.ME
Beyond Self-Promotion: How Software Engineering Research Is Discussed on LinkedIn
本研究定量和定性调查了软件工程从业者和研究人员在LinkedIn上的公开讨论，发现大量帖子由非作者撰写且工业界评论占主导，据此为双方提出促进科学传播的具体建议。
2024-01-04 cs.CY 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
Agentic Software: How AI Agents Are Restructuring the Software Paradigm
Lingxi Intelligent Investment (Shenzhen) Development Co., Ltd.（灵犀智能投资（深圳）发展有限公司）
本文通过第一性原理分析，论证了以LLM为推理引擎的AI代理系统正在根本性地重构软件范式，从传统软件（代码承载决策逻辑）转向代理系统（代码作为临时工具），并提出了代理工程作为新兴学科。
2026-06-11 cs.AI cs.SE
Beyond Productivity: Measuring Developers' Cognitive Load During GenAI-Supported Software Development
Hasso Plattner Institute, University of Potsdam（波茨坦大学哈索·普拉特纳研究所）；SAP Labs（SAP实验室）
本研究通过四天工业现场实验，发现GenAI使用和任务背景与开发者感知认知负荷相关，生理数据仅提供有限补充信息，建议结合工作背景评估认知负荷。
2026-09-30 cs.HC cs.SE
Quantum Software Engineering in Practice: FPGA and AI Integration for Quantum Certification
研究针对量子计算机认证挑战，提出遵循QSE原则的混合认证框架QAccCert，集成FPGA和人工智能技术，通过CHSH不等式在理想量子模拟中实现纠缠认证，经大语言模型引导优化，有效探索参数空间，为实际量子认证提供方法。
2026-07-09 cs.SE cs.SY eess.SY
