The Prompt Triangle: A Registered Report on Prompts as Hybrid Artifacts
University of Bayreuth（拜罗伊特大学）；XITASO GmbH（XITASO有限公司）
本注册报告提出提示三角概念模型，开展含30名参与者的受控实验等，探究提示演变及与RE活动的一致性对开发结果的预测作用，为提示作为软件工程制品的研究提供实证基础。
2026-09-07 cs.SE
Aspect OntoMaven - Aspect-Oriented Ontology Development and Configuration With OntoMaven
在敏捷的基于本体的软件工程项目中，对来自大型现有远程存储库的本体的模块化重用的支持、本体项目生存周期管理和传递依赖管理是重要的需求。本文的贡献是一个新的设计工件OntoMaven结合了一个统一的方法，本体模块化，面向方面的本体开发，这是受面向方面的编程。OntoMaven采用基于Apache Maven的开发方法，并将其概念适用于基于Maven的本体开发和分布式本体库中本体工件管理的知识工程。与面向方面的本体开发相结合，允许对本体模块进行细粒度的、声明性的配置。
2015-07-01 cs.SE
T(r)opical Islands: Visualizing & Understanding Socio-Technical Artifacts
Masaryk University（马萨里克大学）；USI（瑞士意大利语联邦理工学院）；University of Bergen（卑尔根大学）
该研究提出一种3D可视化方法，将协作开发平台项目的社会技术制品主题映射为植被群岛，结合机器学习实现可视化流程，通过案例和用户研究验证其可用于理解社会技术制品的演变。
2026-09-07 cs.SE
Beyond Surveys: Analyzing Software Development Artifacts to Assess Teaching Efforts
这篇创新实践论文提出了一种使用软件开发工件来衡量学生行为和课程设计变化的有效性的方法。有一个不断需要调整大学课程，以适应不断变化的要求和行业的转变。因此，作为一名教育工作者，至关重要的是要有办法，以确定课程设计变化的影响。在本文中，我们提出了我们的方法来分析软件存储库，以衡量学生在项目工作中的行为。我们评估这种方法在一个大学本科软件开发课程教学敏捷开发方法的案例研究。调查显示，对课程的积极态度和所采用的开发方法从Sunday到Kanban的变化。然而，调查无法用来确定学生调整工作流程的程度，以及他们是否按照课程目标这样做。因此，我们分析了学生的软件存储库数据，这些数据代表了教育工作者可以收集的信息，以揭示对学习成功和详细学生行为的见解。我们分析了在过去五门课程中创建的软件存储库，并评估了看板和Scrum使用之间的工作流程差异。
2019-03-20 cs.CY cs.SE
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework
协同验证的目标是将验证方法组合在一起，共同验证系统模型。特别地，合作验证者向其他验证者提供可交换的信息（验证工件）或从其他验证者消费这样的信息，目的是提高验证过程的整体有效性和效率。本文首先概述了利用不同技术，算法和工具的优势，以提高软件验证的能力和能力的方法。其次，我们具体概述了合作验证方法，并讨论其采用的验证工件。我们以统一的方式形式化所有的工件，从而固定其语义，并提供一个确切的含义交换信息的验证。
2019-05-21 cs.PL cs.SE
A Module-System Discipline for Model-Driven Software Development
模型驱动开发是一种实用的软件开发方法，它包含领域特定语言（DSL），其中模型对应于DSL程序。模型驱动开发的一个显著特征是，模型的客户端可以通过应用不同的模型转换，从模型的一组开放的替代语义中进行选择。然而，在现有的模型驱动框架中，模型、模型转换和生成的代码工件之间的依赖关系要么是隐式的，要么是在构建脚本中全局声明的，这通常会阻碍模块化推理、单独编译和可编程性。我们提出了一个新的模块系统，将模型和模型转换为模块的设计。程序员可以在导入语句中应用转换，从而声明对生成的代码工件的依赖性。我们的设计通过防止隐藏的依赖关系来实现模块化推理和单独编译，并且它支持将建模工件与传统代码工件以及高阶转换混合。我们已经正式确定了我们的设计和上述属性，并通过实施和案例研究进行了验证，表明我们的模块系统成功地将模型驱动开发集成到传统的程序设计语言中。
2017-03-31 cs.PL cs.SE
Recovering Fine-Grained Code Change Rationale from Multiple Software Artifacts
William & Mary（威廉与玛丽学院）
本文研究如何从多个文档中提取代码变更理由，提出ARGUS方法，通过LLM生成简洁的变更理由摘要，提升代码理解和维护效率。
2026-07-31 cs.SE
Code Drones
我们提出并探索了一种称为代码无人机的新范式，其中每个软件工件（如类）都是智能和社交活跃的实体。在这种模式中，人性化的工件带头并编排（社会上，与其他智能软件工件和人类合作）自动化软件工程解决方案，以应对无数的开发和维护挑战，包括API迁移，重用，文档编制，测试，修补和重构。我们讨论了具有社会和智能/认知软件工件，指导自己的自我完善的影响。
2016-02-17 cs.SE
Supporting Developers in Porting Software via Combined Textual and Structural Analysis of Software Artifacts
这是计算科学与工程软件可持续性和生产力挑战（CSESSP挑战）研讨会的立场文件，由网络和信息技术研究与开发（NITRD）软件设计和生产力（SDP）协调小组主办，于2015年10月15日至16日在美国华盛顿特区举行。它讨论了角色推荐系统，基于源代码中的文本和结构信息，并通过挖掘相关应用程序进一步增强，可以在提高科学和工程软件的可移植性。
2015-08-17 cs.SE
DocFetch - Towards Generating Software Documentation from Multiple Software Artifacts
针对开源软件文档维护困难且现有方法仅关注源代码的问题，提出DocFetch，采用基于多层提示的LLM从多软件制品生成结构化文档，经评估性能良好，可半自动生成文档并降低维护工作量。
2025-08-25 cs.SE
Context Rot in AI-Assisted Software Development: Repurposing Documentation Consistency for AI Configuration Artifacts
Singapore Management University（新加坡国立管理学院）；Heidelberg University（海德堡大学）
针对AI编码助手的配置文件（如CLAUDE.md）随软件演化而变得陈旧的问题，提出利用现有文档一致性工具检测上下文腐烂，并在356个仓库中发现23.0%存在过时代码引用。
2026-06-08 cs.AI cs.SE
Testing Agile Requirements Models
本文讨论了一种基于模型的方法来验证敏捷开发过程中的软件需求的模拟，特别是自动化测试。模型作为中心开发工件的使用需要被添加到软件工程技术的组合中，以进一步提高在需求定义阶段早期就开始的开发的效率和灵活性。测试需求是提供反馈和提高结果质量的一些最重要的技术。因此，工件的测试应该尽可能早地引入，甚至在需求定义阶段。
2014-09-22 cs.SE
Automatic Reference Models Development: A Framework
软件复用使软件行业能够同时降低开发成本和提高产品质量。早期工件的重用已经被公认为比后期工件的重用更有益。在这方面，早期的参考模型被认为是很好的工具，可以在同一个域中跨应用程序重用。然而，我们的文献调查报告在本文中显示，从给定的实例自动开发参考模型的问题还没有引起足够的研究人员的注意。因此，在本文中，我们提出了一个框架，用于构建一个参考模型，捕获常见的和可变的分析/设计实践，在不同的应用程序在一个领域。该框架认为，在评估给定的实例之间的共性和变异性的多视图模型。建议的框架结合了学习能力，允许提高质量和可重用性的参考模型，因为它正在使用。
2014-01-29 cs.SE
Teaching Design Science as a Method for Effective Research Development
针对设计科学研究（DSR）教学资料匮乏、新手应用困难的问题，从教育视角阐释DSR概念与教学方法，配套示例、目标与建议，还开发调查工具收集使用者经验并向学界公开，助力DSR教学适配受众需求。
2024-07-13 cs.SE
Transition from Analysis to Software Design: A Review and New Perspective
分析和设计阶段是软件开发生命周期中最关键的部分。重用这些早期阶段的工件对于提高生产率和软件质量是非常有益的。在本文中，我们分析了关于从问题空间自动转换工件的文献（即，需求分析模型）转化为解决方案空间中的工件（即，架构、设计和实现代码）。我们的目标是评估当前的最先进的自动重用以前开发的软件设计的能力，在合成一个新的设计，为给定的要求。我们调查了各种相关的领域，如模型驱动的开发和模型转换技术。我们的分析表明，这一主题尚未得到令人满意的讨论。因此，我们提出了一个框架，包括三个阶段，以解决目前的方法中发现的局限性。
2014-01-21 cs.SE
Biased or Personalized? The Impact of Personal Information on AI-driven Development
University of Massachusetts Amherst（马萨诸塞大学阿默斯特分校）
研究人工智能驱动开发中个人信息的影响，刻画开发者属性影响生成工件的三个维度，通过实验和访谈发现开发者属性会显著影响生成软件，凸显了人工智能辅助编程中个性化与公平性的矛盾。
2026-07-09 cs.SE
Assessing usability of model driven development in industrial projects
模型驱动开发范例的整体使用会极大地影响和改变组织的软件开发部门。这种范式降低了一些任务的复杂性和成本，但也引入了新的任务，如果认真引入，会对软件开发过程中的活动和角色产生严重影响。随着模型成为最重要的开发工件，开发团队面临着新的挑战。G.评估模型的质量，分布式团队的模型划分和配置管理，构建管理的设置，工具链和通过各种工件跟踪信息。处理模型驱动开发的组织需要成功地引入新的工具和新的思维方式，他们在采用过程和培训员工方面面临挑战。本文介绍了一个正在进行的研究项目的可用性评估的建模和模型驱动的开发在一个全球性的工业组织，其总部设在德国。感兴趣的是通过完成经验的、定量的调查来分析建模（特别是使用UML）和模型驱动开发的可用性。
2014-09-22 cs.SE
SEAByTE: A Self-adaptive Micro-service System Artifact for Automating A/B Testing
微服务是当今软件开发的常见架构方法。开发微服务系统不可或缺的工具是A/B测试。在A/B测试中，两个变量A和B被应用于实验环境中。通过测量评估标准的结果，开发人员可以做出基于证据的决策来指导他们的软件的发展。最近的研究强调，需要提高自动化时，这样的实验进行迭代。为此，我们贡献了一个新的工件，旨在提高依赖于自适应原则的微服务系统的实验管道的自动化。具体来说，我们提出了SEAByTE，一个实验框架，用于测试新的自适应解决方案，以提高基于微服务的系统的连续A/B测试的自动化。我们用一个具体的例子来说明SEAByTE工件的使用。
2022-04-04 cs.SE
SoK: Systematizing Software Artifacts Traceability via Associations, Techniques, and Applications
Nanjing University of Science and Technology（南京理工大学）；Shenzhen Technology University（深圳技术大学）；Zhejiang Sci-Tech University（浙江理工大学）
本文系统回顾了软件可追溯性恢复技术，揭示了制品关联的不平衡、技术可复现性危机及工业应用缺口，提出角色导向框架以促进工程实践。
2026-03-17 cs.SE
MontiCore: Modular Development of Textual Domain Specific Languages
重用是提高开发效率和保证开发结果质量的关键技术。在对象技术中，显式封装、接口和继承是独立开发的公知原则，它们支持组合和重用已开发的工件。在本文中，我们应用模块化的概念，领域特定语言（DSL），并讨论他们如何帮助设计新的语言，扩展现有的和组成的片段，以新的DSL。我们使用一个扩展的语法格式与适当的工具支持，避免重新定义现有的功能，通过引入语言继承和嵌入作为第一类工件在DSL定义。语言嵌入和继承不仅由解析器辅助，还由编辑器和基于树遍历的算法（如上下文检查器、漂亮打印机和代码生成器）辅助。我们证明，新语言的组合工程成为一个有用的概念时，开始定义项目的个别DSL使用适当的工具支持。
2014-09-22 cs.SE
AVIATE: Exploiting Translation Variants of Artifacts to Improve IR-based Traceability Recovery in Bilingual Software Projects
本文提出AVIATE策略，通过利用不同翻译器产生的翻译变体中的共识双词项来丰富工件文本并增强IR值，从而改进双语软件项目中的追踪性恢复，实验证明其显著优于现有方法。
2024-09-28 cs.SE
Where Accountability Lives: Mapping Human Responsibility to Workflow Artifacts in Agentic Software Development
School of Architecture, Computing and Engineering, University of East London（伦敦东大学建筑、计算与工程学院）；School of Electronics, Electrical Engineering and Computer Science, Queen’s University Belfast（贝尔法斯特女王大学电子、电气工程与计算机科学学院）
该研究分析智能体软件开发中责任归属的矛盾，替换验证分类法，发现责任归属方向相反，指出智能体工具未造成责任差距，相关数据已公开。
2026-08-18 cs.SE
Dependency Dilemmas: A Comparative Study of Independent and Dependent Artifacts in Maven Central Ecosystem
针对Maven Central生态系统中独立构件未被探索的问题，本研究通过分析65万余个构件，揭示了独立构件的重要性、优势及可维护性问题，为开发和维护提供了参考。
2025-04-16 cs.SE
Boundary Objects and their Use in Agile Systems Engineering
敏捷方法越来越多地被引入汽车公司，试图在系统开发中变得更加高效和灵活。敏捷实践的采用影响了利益相关者之间的沟通，但也使公司重新思考工件和文档（如需求，安全合规文档和架构模型）的管理。从业者的目标是减少不相关的文档，但面临着缺乏指导来确定需要什么工件以及应该如何管理它们。本文介绍了工件，挑战，指导方针，并在汽车系统工程工件的持续管理实践的基础上，对该主题的理论和经验的理解。与来自六家汽车公司的53名从业者合作，我们进行了一项设计科学研究，包括访谈，问卷调查，焦点小组和系统工程工具的实际数据分析。该指南建议区分在公司中不同参与者之间共享的工件（边界对象）和在团队中使用的工件（本地相关工件）。我们提出了一种分析方法来确定边界对象和三种做法来管理系统工程工件在工业中。
2019-04-27 cs.SE
Linking Sketches and Diagrams to Source Code Artifacts
最近的研究表明，草图和图表在软件开发人员的日常工作中起着重要的作用。如果这些可视化工件被存档，它们通常与它们记录的源代码分离，因为没有足够的工具支持来帮助开发人员捕获、存档和检索与某些源代码工件相关的草图。本文介绍了SketchLink，一个工具，旨在增加软件开发过程中创建的草图和图表的价值，支持开发人员在这些任务。我们的原型实现提供了一个Web应用程序，该应用程序采用智能手机和平板电脑的摄像头来捕获模拟草图，但也可以在台式计算机上用于上传，例如，计算机生成的图表。我们还为Java IDE实现了一个插件，该插件将链接嵌入Javadoc注释中，并在源代码编辑器中将其可视化为图形图标。
2017-06-29 cs.SE
Mining for Cost Awareness in the Infrastructure as Code Artifacts of Cloud-based Applications: an Exploratory Study
本研究通过挖掘云应用的开源仓库，实证发现开发者不仅关注部署成本，还采取多种措施降低成本，并提出了未来研究方向。
2024-04-11 cs.SE
Diagrammatic Formalism for Complex Systems: More than One Way to Eventize a Railcar System
本文是在软件工程和系统工程，两个密切交织的学科交叉。本文的一个主要主题是整体概念化的系统，以及与软件系统的基本关注。在软件开发生存周期中，在将需求转换为设计工件然后转换为实现方面仍然存在挑战（例如，编码），然后验证结果。从我们的角度来看，软件工程需要一个面向统一建模的集成范例。存在许多方法、语言和工具来促进系统开发过程。本文是对项目开发的一次冒险。为了集中材料，我们集中在哈雷尔的小说（和经典）的开发环境，它集成了一个基于工程的面向对象和状态图，通过开发一个轨道车系统。有轨车系统被用作将需求转换为设计工件，然后转换为实现，然后验证结果的详细示例。该项目是作为一个单一的集成建模工作与场景和状态图的开发进行对比。该方案的结果是通过对各种软件项目开发方法的实验和对比，丰富了对软件项目开发方法的理解。
2021-03-04 cs.SE
Generating Domain-Specific Transformation Languages for Component & Connector Architecture Descriptions
基于构件的软件工程（CBSE）将复杂的系统分解为可重用的组件。模型驱动工程（MDE）旨在通过将抽象模型提升为主要开发工件来从复杂性中抽象出来。构件和连接器体系结构描述语言结合了CBSE和MDE，将软件系统描述为构件模型的层次结构。使用模型作为开发工件伴随着对这些模型的演化、维护和重构的需求，这可以通过模型转换来实现。领域特定的转换语言（DSTL）是为特定的建模语言定制的，因为建模语言的具体语法用于描述转换。为了自动化的ADL的DSTL的开发，我们提出了一个框架，系统地从特定领域的C&C语言语法派生这样的语言。这些DSTL使得能够在底层ADL的词汇表中简明地描述这样的模型转换。这些特定领域的转换是更好地理解ADL专家比通用的转换。
2015-10-30 cs.SE
Towards auto-completion on software requirements statements
随着软件系统变得越来越复杂，现代软件开发需要更多地关注人类的观点，并积极参与开发团队的需求获取任务。在这种情况下，不完整或模糊的需求描述并不能指导好的软件产品的开发。我们假设文本自动完成功能提高了软件需求工件的质量。我们提出了这项研究的动机，相关的工作，我们的方法和未来的研究工作。
2021-06-25 cs.SE
FLOW Mapping: Planning and Managing Communication in Distributed Teams
分布式软件开发比协同定位软件开发更困难。其中一个主要原因是，在分布式环境中通信更加困难。已定义的过程和工件有所帮助，但不能涵盖所有信息需求。不传达重要的项目信息、决策和理由可能会导致重复或额外的工作、延误甚至项目失败。从信息流的角度规划和管理分布式项目有助于从一开始就促进可用的沟通渠道-超越为给定开发过程定义的文档和工件。在本文中，我们提出了流映射，一个系统的方法来规划和管理分布式项目中的信息流。我们证明了我们的方法的可行性，在分布式敏捷教室项目的案例研究。流程图足以计划沟通和衡量沟通策略的一致性。我们还讨论了我们的方法的成本和影响。
2021-04-09 cs.SE
Advancing Trace Recovery Evaluation - Applied Information Retrieval in a Software Engineering Context
软件系统的成功开发涉及软件工件之间的有效导航。结构化信息的一种实践方法是在工件之间建立跟踪链接，这也是几个开发标准所强制执行的实践。不幸的是，在不断发展的系统中手动维护跟踪链接是一项繁琐的任务。为了解决这个问题，一些研究人员提出了治疗的捕获和恢复跟踪链接的信息检索（IR）的问题。该工作包含对基于IR的痕量回收的先前评价的系统性文献综述（SLR）。我们发现，大多数以前的评估都是以技术为导向的，在“IR评估的洞穴”中进行，使用小数据集作为实验输入。此外，源于学生项目的软件工件经常被用于评估。我们在可追溯性研究人员中进行了一项调查，发现大多数人认为学生的工件只能部分代表工业同行。我们的研究结果需要更多的案例研究，以评估基于IR的痕量恢复在工业环境的全部复杂性。此外，本论文有助于在两个实验与工业软件工件的IR为基础的痕迹恢复的经验证据的身体。以技术为导向的实验突出了数据集之间的明显依赖性和基于IR的痕迹恢复的准确性，与SLR的发现一致。以人为本的实验研究了不同质量水平的工具输出如何影响工程师的跟踪精度。最后，我们提出了如何在IR研究的一般领域的工具和方法进行评估，并提出了一个分类的评估上下文为基础的跟踪恢复。
2016-02-24 cs.SE
A Model-Based Approach to Impact Analysis Using Model Differencing
影响分析关注的是识别变更的后果，因此是软件演化的一项重要活动。在基于模型的软件开发中，模型是核心工件，通常用于生成软件系统的基本部分。因此，对模型的更改可以实质上影响软件系统的不同工件。在本文中，我们提出了一个基于模型的方法来影响分析，其中明确的影响规则可以指定在一个特定领域的语言（DSL）。这些影响规则定义了指定的UML类图变更对软件工件的影响，以及相关活动（如数据演化）的需求。UML类图的变化是使用模型差异自动识别的。使用显式影响规则的优点是，它们可以使关于产品的知识形式化。通过明确地定义这些知识，可以创建一个清单，其中包含管理演化（可能）所需的开发步骤的提示。为了验证我们的方法的可行性，我们提供了一个案例研究的结果。
2014-06-26 cs.SE
Personalized Assessments from Personal Artifacts
Carnegie Mellon University（卡内基梅隆大学）
针对人工智能编码代理发展下学生和从业者对自身代码理解存疑的问题，开发个性化探测谜题（$p^3$）方法，经云计算课程测试，该方法能识别理解差距，谜题自动生成、耗时短，后续要关联结果与代码理解并嵌入审查流程。
2026-07-21 cs.SE
Knowledge-Guided Multi-Agent Framework for Automated Requirements Development: A Vision
Chongqing University of Posts and Telecommunications（重庆邮电大学）；Peking University（北京大学）；Nanyang Technological University（南洋理工大学）
本文提出知识引导的多智能体框架KGMAF，通过设计六个专门化智能体和制品池实现自动化需求开发，弥补了现有SE系统忽视需求任务复杂性的空白，并展望了其在LLM时代的研究潜力。
2025-06-27 cs.AI cs.SE
Data stream mining for predicting software build outcomes using source code metrics
软件开发项目涉及使用各种工具来产生软件工件。软件仓库，如源代码控制系统，已经成为一个重点的紧急研究，因为他们是一个丰富的信息源，有关软件开发项目。为了更深入地了解发展进程，挖掘这种储存库的做法越来越普遍。
2016-04-19 cs.SE
G-Issue: Analyzing Lifetime and Evolution of Issue-related Artifacts from Open Source Repositories
University of Texas at El Paso（德克萨斯大学埃尔帕索分校）
提出G-Issue工具用于挖掘问题相关工件，通过对比实验和演化分析，发现其挖掘速度快但内存消耗大，并基于问题生命周期和演化可辅助优先级排序。
2026-06-23 cs.SE
A Needle in a Haystack: Intent-driven Reusable Artifacts Recommendation with LLMs
本文提出 TreeRec 框架，通过语义抽象组织 artifacts 成层次结构树，提升 LLMs 在意图驱动推荐中的性能和效率。
2025-11-23 cs.SE
The Software Heritage Open Science Ecosystem
本文介绍 Software Heritage 这一最大的公共源代码存档库，其通过 Merkle 图支持软件实证研究，并确保科研软件的可获取性与完整性，促进可复现研究。
2023-10-16 cs.SE
Treat societally impactful scientific insights as open-source software artifacts
该立场论文提出科学洞见可视为类似开源软件的协作制品，明确开放科学需求与软件工程概念的共通性，呼吁软件工程界推动科研向更开放可问责的方向变革。
2023-02-11 cs.SE
MCPGen: Benchmarking LLMs on Executable MCPWorkflow Development
Shanghai Jiao Tong University（上海交通大学）
本研究提出MCPGen基准，测试LLM生成可执行MCP工作流的能力，发现跨层集成是主要瓶颈，端到端执行成功率最高仅57%。
2026-09-22 cs.AI cs.SE
Assessing test artifact quality -- A tertiary study
本文通过系统文献综述分析了49项关于软件测试产物质量的二次研究，提出了一个基于文献和ISO/IEC 25010:2011的测试用例/套件质量综合模型，以支持实践中的质量评估与改进。
2024-02-14 cs.SE
Spec-Driven Development:From Code to Contract in the Age of AI Coding Assistants
本文探讨了在AI编码助手时代基于规范的开发方法，通过规范优先的哲学和不同领域的案例研究，提供了一种新的软件开发思路和实践框架。
2026-01-30 cs.AI cs.SE
Prompts as Software Engineering Artifacts: A Research Agenda and Preliminary Findings
本文提出将提示词作为软件工程制品的研究议程，并通过74名专业人员的调查揭示当前提示词使用多为临时试错、缺乏复用与标准化，为系统化提示词管理提供实证基础。
2025-09-22 cs.SE
Assessing User Interface Design Artifacts: A Tool-Supported Behavior-Based Approach
行为驱动开发（BDD）在过去几年中已经成为一种强大的方法，通过故事和场景来指定可测试和可执行的用户需求。在外部测试框架的支持下，BDD故事可以用于自动评估功能齐全的软件系统的行为。本文描述了一个工具集，扩展BDD的目的是提供自动化评估也为用户界面设计工件，以确保他们的一致性，从一个软件项目开始的用户需求。该方法已被评估利用以前指定的用户需求的Web系统预订商务旅行。这样的需求产生了一组BDD故事，这些故事已经被精炼并用于自动评估任务模型、图形用户界面（GUI）原型和系统的最终GUI的一致性。结果表明，我们的方法是能够识别不同类型的不一致的一组分析工件，并始终保持它们之间的语义痕迹。
2022-09-13 cs.HC cs.SE
Shift-Up: A Framework for Software Engineering Guardrails in AI-native Software Development -- Initial Findings
University of Jyväskylä（于韦斯屈莱大学）
本文提出Shift-Up框架，通过重新诠释传统软件工程实践作为结构化防护机制，以稳定AI生成行为并减少实现漂移，提升AI辅助开发的可控性。
2026-04-22 cs.AI cs.SE
Collective Knowledge: organizing research projects as a database of reusable components and portable workflows with common APIs
cTuning foundation（cTuning 基金会）；cKnowledge SAS（cKnowledge 公司）
本文提供了集体知识框架（CK或cKnowledge）的动机和概述。CK的概念是将研究项目分解为可重用的组件，这些组件封装了研究工件，并为相关工件提供统一的应用程序编程接口（API）、命令行接口（CLI）、Meta描述和公共自动化操作。CK框架用于组织和管理研究项目，作为这些组件的数据库。受USB“即插即用”硬件方法的启发，CK还帮助组装便携式工作流程，可以自动插入来自不同用户和供应商的兼容组件（模型、数据集、框架、编译器、工具）。此类工作流程可以使用带有软件检测插件的通用CK程序管道和自动安装丢失的包，以统一的方式在不同的平台和环境上构建和运行算法。本文介绍了一些工业项目，在这些项目中，模块化CK方法得到了成功验证，以便在速度，准确性，能源，大小和各种成本方面自动对机器学习（ML）和人工智能（AI）的高效软件和硬件进行基准测试，自动调整和协同设计。CK框架还有助于在几个计算机科学会议上自动化工件评估过程，并使其更容易复制，比较和重用已发表论文中的研究技术，将其部署在生产中，并自动使其适应不断变化的数据集，模型和系统。长期目标是通过连接研究人员和从业人员来加速创新，以便在https://cKnowledge.io上以通用，便携和可复制的格式共享和重用他们所有的知识，最佳实践，工件，工作流程和实验结果。
2021-01-30 cs.LG cs.SE
What are the Practices for Secret Management in Software Artifacts?
在整个2021年，GitGuardian对公共GitHub存储库的监测显示，与2020年相比，暴露的秘密（数据库凭据，API密钥和其他凭据）数量增加了两倍，累积了超过600万个秘密。系统地推导出管理秘密的实践可以帮助安全开发的从业者。我们的论文的目标是帮助从业人员通过识别软件工件中的秘密管理实践，通过系统的推导在互联网工件中传播的做法，以避免暴露的秘密。我们对互联网人工制品进行灰色文献审查，如博客文章和问答帖子。我们确定了24种做法，分为六个类别，包括开发人员和组织的做法。我们的研究结果表明，使用本地环境变量和外部秘密管理服务是最推荐的做法，以移动秘密的源代码和安全地存储秘密。我们还观察到，使用版本控制系统扫描工具和采用短期秘密是最推荐的做法，以避免意外提交秘密和限制秘密暴露，分别。
2022-08-24 cs.CR cs.SE
Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families
Università degli Studi di Milano（米兰大学）
本文提出Typelang等域特定语言，用于模块化、可组合和可重用的类型系统实现，通过模块化语言服务器生成流程和变体导向编程范式，简化语言家族的编辑支持，减少93.48%的类型系统实现字符数。
2025-09-18 cs.PL cs.SE
From Prompt to Process: a Process Taxonomy and Comparative Assessment of Frameworks Supporting AI Software Development Agents
Federal Institute of Goias（戈亚斯联邦理工学院）
提出六维流程分类法，对六个AI软件开发框架进行评分比较，揭示流程深度与可移植性之间的结构性权衡。
2026-06-03 cs.AI cs.SE
Improving the Effectiveness of Traceability Link Recovery using Hierarchical Bayesian Networks
William & Mary（威廉与玛丽学院）；Cisco Advanced Security Research Group（思科高级安全研究组）；Cisco Security and Trust Engineering（思科安全与信任工程部）
可追溯性是现代软件开发过程的基本组成部分，有助于确保程序正常运行和安全。由于手动建立跟踪链接的成本很高，研究人员已经开发出自动化的方法，使用相似性度量来绘制文本软件工件之间的关系。然而，这种技术的有效性往往是有限的，因为它们只利用单一的测量工件相似性，不能同时建模（隐式和显式）的各种开发工件的组之间的关系。在本文中，我们说明了如何通过使用量身定制的概率模型来克服这些限制。为此，我们设计并实现了一个层次化的ProObjectiveModel for SoftwarE Traceability（彗星），它能够推断出候选跟踪链接。Comet能够通过结合文本相似性的多种测量的互补观察能力来建模工件之间的关系。此外，我们的模型可以从整体上整合来自不同来源的信息，包括开发人员的反馈和软件工件组之间的传递（通常是隐式的）关系，以提高推理的准确性。我们对Comet进行了全面的实证评估，说明了在最佳情况下$\approx$ 14%的一组最佳配置基线上的改进，以及在所有受试者中$\approx$ 5%的平均精度。Comet在实践中的相对有效性可能更高，因为通常不可能进行最佳配置。最后，我们在对使用原型Comet Jenkins插件的Cisco Systems开发人员的调查中说明了Comet的实用性潜力。
2022-04-11 cs.AI cs.SE
A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
本研究提出支持可配置迹语义的Tarski工具，可自动推导迹并检查一致性，已在汽车领域三个工业案例中验证有效。
2024-03-09 cs.PL cs.SE
Generating Software for Well-Understood Domains
当前的软件开发通常是以代码为中心的，并且由于各种背景因素（例如需要来自许多个人买家的新收入流），旨在短期交付。我们感兴趣的是不同力量驱动开发的软件。\textbf{Well understood domains}和\textbf{long-lived software}提供了一种这样的上下文。一个重要的观察是，目前手写的软件工件包含相当多的重复。通过使用特定领域的语言和生成技术，我们可以捕获这些软件的许多工件的内容。假设一个适当的领域知识的编纂，我们发现，所产生的去重复的源更短，更接近域。我们的原型Drasil表明了对可追溯性和变更管理的改进。我们也希望这可以导致这些力量发挥作用的软件的长期生产力提高。
2023-03-10 cs.PL cs.SE
Towards Viewpoint-centric Artifact-based Regulatory Requirements Engineering for Compliance by Design
Blekinge Institute of Technology（布莱金厄理工学院）；fortiss GmbH（fortiss有限公司）
本文提出了一种面向视角导向的基于artifact的监管要求工程方法，旨在通过整合合规性以实现设计中的合法合规。
2026-03-10 cs.CY cs.SE
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
