Towards Human-Bot Collaborative Software Architecting with ChatGPT
Lancaster University Leipzig（兰卡斯特大学莱比锡校区）；University of Jyväskylä（于韦斯屈莱大学）；Wuhan University（武汉大学）；University of Southern Queensland（南昆士兰大学）
构建软件密集型系统可能是一个复杂的过程。它处理统一涉众的观点、设计者的智慧、基于工具的自动化、模式驱动的重用等令人生畏的任务，以勾画出指导软件实现和评估的蓝图。尽管以架构为中心的软件工程（ACSE）有很多好处，但它也面临着许多挑战。ACSE挑战可能源于缺乏标准化流程、社会技术限制和缺乏人类专业知识等，这些都可能阻碍现有和新兴软件类别的开发（例如，物联网、区块链、量子系统）。在大语言模型上训练的软件开发机器人（DevBots）可以帮助协同架构师的知识与人工智能决策支持，以实现人机协作ACSE中的快速架构。ChatGPT是一种支持这种协作的新兴解决方案，这是一种颠覆性技术，主要不是为软件工程引入的，而是能够基于自然语言处理阐明和细化架构工件。我们详细介绍了一个案例研究，涉及一个新手软件架构师和ChatGPT的架构分析，合成和评估服务驱动的软件应用程序之间的合作。初步结果表明，ChatGPT可以模仿架构师的角色，以支持并经常领导ACSE，但是，它需要人为的监督和决策支持的协作架构。未来的研究重点是利用关于建筑师生产力的经验证据，并利用ChatGPT探索建筑的社会技术方面，以应对ACSE的新兴和未来挑战。
2023-02-26 cs.AI cs.SE
Unleashing the Potential of Large Language Models: A Blueprint for Real-Time, Enterprise-Ready Deployments
针对实时受监管场景中大语言模型的问题，提出基于模式的LLMOps架构，整合多模块并实现四项模式化贡献，优化权衡同时支持高风险领域的可审计与回滚部署。
2026-08-04 cs.AI cs.CL cs.IR
Architectural Blueprints: The 4+1 View Model of Software Architecture
本文提出了一个模型，用于描述软件密集型系统的体系结构，基于多个并发视图的使用。这种多视图的使用允许单独解决架构的各个利益相关者的关注点：最终用户，开发人员，系统工程师，项目经理等，并分别处理功能和非功能需求。我们描述了这五个视图中的每一个，并给出了一个表示法。这些视图是使用以架构为中心的、基于XML的、迭代的开发过程设计的。
2020-06-08 cs.SE
Toward an Architectural Blueprint to Observe Sustainability in and by Software Systems
Vrije Universiteit Amsterdam（阿姆斯特丹自由大学）
本文提出一种架构蓝图和部署代码，用于在软件系统中添加可观察性，特别包括测量软件能耗，以帮助定义必要组件并示例展示可观察性添加。
2026-04-10 cs.SE
Separating Intelligence from Execution: A Workflow Engine for the Model Context Protocol
Infosys
本文提出一种MCP原生编排层，将智能决策与执行分离，通过工作流蓝图减少token消耗，提升执行效率。
2026-03-13 cs.AI cs.DC cs.SE
Bringing AI into the Classroom: A Structured Approach for Integrating AI into Software Engineering Education
Johannes Kepler University Linz（约翰内斯·开普林茨大学）；University of Innsbruck（因斯布鲁克大学）
本文提出AI-Blueprints概念，为将AI整合到计算机科学课程提供结构化方法，通过访谈验证并规划未来研究。
2026-03-09 cs.CY cs.SE
RAG-Stack: Co-Optimizing RAG Quality and Performance From the Vector Database Perspective
Systems Group, ETH Zurich（苏黎世联邦理工学院系统组）
本文提出RAG-Stack，一个包含中间表示、成本模型和计划探索算法的三支柱蓝图，用于从向量数据库视角协同优化RAG系统的质量与性能。
2025-10-23 cs.AI cs.DB
Lost in Code Generation: Reimagining the Role of Software Models in AI-driven Software Engineering
TU Wien（维也纳工业大学）
该研究针对AI生成软件存在的缺陷，提出从AI生成系统中恢复软件模型，区分智能体与人类反思循环，将软件模型作为连接现有软件工程与AI驱动开发的桥梁，拓展了软件模型的作用。
2026-08-28 cs.SE
A Grey Literature Review of AI-Native Applications
Nanjing University（南京大学）；Nanjing University of Science and Technology（南京理工大学）
该研究通过灰色文献综述，整合多方见解，识别出人工智能原生应用的定义特征、关键质量属性与典型技术栈等，揭示其核心支柱，为全面理解该应用提供了系统认识，还首次提出双层工程蓝图。
2026-07-22 cs.SE
Validating ETCS Data with the B Mathematical Language: An Industrial Pipeline and a Blueprint for LLM Integration
CLEARSY（克莱尔西）
本文报告CLEARSY公司ValidAItion项目进展，将ERTMS操作模拟器与CLEARSY数据求解器桥接，用B语言验证ETCS数据，Claude生成规则库，工具链与人工审核裁决，形式化规则为事实来源，大模型为受管控助手。
2026-07-30 cs.SE
A Methodology for Evaluating RAG Systems: A Case Study On Configuration Dependency Validation
针对缺乏普遍接受的RAG评估方法论的问题，提出首个严谨可靠的评估方法论蓝图，并在配置依赖验证任务中证明其适用性，同时开发出在该领域准确率最高的RAG系统。
2024-10-11 cs.IR cs.SE
MAAD: Automate Software Architecture Design through Knowledge-Driven Multi-Agent Collaboration
School of Computer Science, Wuhan University（武汉大学计算机学院）；Nanyang Technological University（南洋理工大学）
针对软件架构设计依赖人工、方案有限的问题，提出知识驱动的多智能体框架MAAD，通过四类智能体协作生成带质量属性评估的架构蓝图，实验验证其优于现有基线且具备工业实用性，同时发现GPT-4o适配效果最佳。
2025-07-28 cs.AI cs.SE
Explanations in Everyday Software Systems: Towards a Taxonomy for Explainability Needs
本文针对日常软件系统日益复杂不透明的问题，通过对84名参与者的在线调查识别并分类了315项可解释性需求，提出了一种适用于日常软件系统的可解释性需求分类法，并概述了不同类型软件系统间解释需求的差异。
2024-04-25 cs.SE
End-of-Life of Software How is it Defined and Managed?
新软件和算法的快速发展，在大量可用数据的推动下，使软件产品的保质期大大缩短。据粗略估计，每天开发的新软件项目超过40，000个，因此，放弃旧软件并获得满足迅速变化的需求和要求的新软件变得越来越快，成本也越来越低。被抛弃的软件会发生什么，以及“一次性”文化会产生什么后果（Cooper，2005）仍然是悬而未决的问题。本文将探讨系统工程的概念，软件的生命周期结束，它将突出现有的软件工程实践中的差距，它将提出的例子，已被遗弃的软件，试图退役，它将探讨废弃的软件文物的影响。还详细介绍了解决已查明的研究差距的拟议前进道路。
2022-04-08 cs.AI cs.SE
Software system rationalisation: How to get better outcomes through stronger user engagement
随着企业变得越来越大，越来越成熟，他们现在不可避免地增加了越来越多的软件系统。这种资产扩张不仅导致企业的复杂性和费用增加，而且还导致业务流程的碎片化、不一致和孤立。由于平台合理化和系统退役从来不会自发发生，因此企业的一个长期问题就变成了如何简化他们的企业软件平台。最近，Curlew研究人员参与了一个大型全球生命科学公司的软件合理化计划，本文介绍了一种退役的方法，我们开发的一部分，该项目，我们认为可以更广泛地使用，以帮助客观更以用户为中心的系统合理化。该方法源自Noriaki Kano等人开发的模型，以帮助确定客户满意度和忠诚度，以及新的附加功能，功能或“产品”的优先级，例如在寻求增强软件应用程序时。Curlew-Kano方法使用合理化的蓝图流程，使每个应用程序能够有效客观地分为四个类别之一-保留;审查;删除;研究-从而使企业能够快速识别和优先考虑那些需要进一步调查的系统，作为退役活动的一部分。与其他应用合理化方法相比，Curlew-Kano方法的关键区别在于用户基本上参与了更适合合理化和可能退役的系统的识别。在我们看来，让用户更充分地参与系统合理化会为企业带来更好的结果。
2022-10-01 cs.GL cs.SE
Critical Aspects of Modern Open Source SoftwareTechnology to Support Emerging Demands
软件在我们的日常生活中已经获得了巨大的重要性，并且正在处理当今技术世界的各个方面。软件的概念在最初的阶段是由一个非常精确的少数个人实现的，现在它无处不在，无论是个人生活还是组织。财力雄厚的组织和能够购买技术时代这一慷慨的人可以有效地满足他们的愿望。可以肯定的是，这不是一个普遍的情况下，一个是财政雄厚，可以轻松地负担所需的软件。有许多用户不能这样做。开源软件为这些用户提供了一条出路，它为他们提供了与同等软件相同的设施和功能，而不考虑任何财务压力.因此，经济拮据的个人或组织可以利用开源软件来实现他们想要的任务。在这篇研究论文中，通过对Ubuntu作为一种新兴的高质量开源现代操作系统与众所周知的Microsoft Windows操作系统进行简要比较，对开源软件进行了分析
2011-09-01 cs.SE
Every Maintenance Has Its Exemplar: The Future of Software Maintenance through Migration
The State Key Laboratory of Blockchain and Data Security, Zhejiang University（浙江大学区块链与数据安全国家重点实验室）
本文提出首个系统研究议程，探讨基于迁移的软件维护方法，旨在通过迁移技术提升自动化维护效率并解决关键挑战。
2026-02-15 cs.SE
Deleting Code Without Losing Knowledge: Regenerative Software for Python Libraries
本研究将Fowler的7种原语应用于安全关键型Python库spotforecast2-safe，通过开源工具spotregen实现再生式软件，解决代码删除不丢失知识的问题，实验推动转向本地模型架构。
2026-10-14 cs.AI cs.SE
Using CognitIDE to Capture Developers' Cognitive Load via Physiological Activity During Everyday Software Development Tasks
本文提出使用基于 IntelliJ 的插件 CognitIDE，在开发者执行日常软件开发任务时收集、映射并可视化其生理活动数据，以无干扰地捕获认知负荷，实验证明该插件能有效支持长达一小时的数据收集并反映任务期间的认知负荷变化。
2025-03-05 cs.SE
A Hybrid Approach for EMF Code Generation:Code Templates Meet Large Language Models
University of Science and Technology Beijing（北京科技大学）；Beijing Institute of mechanical and Electrical Engineering（北京机电工程研究所）
本文提出iEcoreGen，结合EMF和LLM，通过模板生成初始代码并利用LLM完善方法，提升代码生成效率与准确性。
2025-12-05 cs.SE
Programming the Universe: The First Commandment of Software Engineering for all Varieties of Information Systems
自从计算机和程序出现以来，软件开发的过程和结果一直是一个充满问题和失败的雷区，因为软件及其开发的复杂性和复杂性在半个世纪内增加了一千倍。多年来，出现了一些理论、法律、最佳做法、宣言和方法，取得了不同程度的成功。我们作为软件工程师处理复杂和大规模系统的经验表明，这些指导方针局限于以前定义的范围，而且往往是狭窄的范围。够了如今，几乎每家公司都在从事软件和服务业务，一切都是软件或由软件管理。那么，是时候重新定义支配我们宇宙的定律了。在这种情况下，我们讨论并提出了一套普遍的法律，使我们提出的第一诫软件工程的所有品种的信息系统。
2020-07-16 cs.SE
ExaWorks Software Development Kit: A Robust and Scalable Collection of Interoperable Workflow Technologies
为解决高性能计算平台上异构科学工作流软件选择困难的问题，本文开发了ExaWorks SDK，这是一个遵循最佳实践、专门用于HPC平台的工作流技术集合，并详细介绍了其策划、集成、测试、文档等经验，为支持百亿亿次级平台提供了蓝图。
2024-07-23 cs.DC cs.SE
Significance of Quality Metrics in Software Development Process
近年来，软件已成为从简单的办公自动化到空间技术和电子邮件到电子商务的每个部分不可或缺的一部分。软件体系结构的演化一直是研究人员解决具有众多特定领域需求的复杂系统的一个开放性问题。一个系统的成功是基于每个开发阶段的质量结果与适当的测量技术。过程、产品和参与开发过程的人员（P3）的度量，作为反映公司成熟度水平的质量指标。已经定义并实践了几个过程度量来度量软件可交付成果，包括通过维护进行的需求分析。每个阶段的质量控制对于提高里程碑的质量以及最终产品的质量都有其自身的意义。本文强调了软件质量度量的重要性，其次是在软件开发的主要阶段，即需求，设计和实施。因此，本文旨在提高对现有指标的认识，并导致对它们的增强，以反映公司在市场上的可持续性的持续过程改进。
2012-07-03 cs.SE
The Utility and Practicality of Quantifying Software Reliability
我们认为，量化软件的可靠性是很重要的，在证明系统级的风险是尽可能低的合理可行（ALARP）。此外，我们证明，这种量化是可能的，在至少一个有意义的情况下。然而，这不可能在每一种情况下都切实可行。这意味着它不太可能作为一个明确的目标列入标准。因此，对于那些软件可靠性可以量化的情况，仅仅遵循标准可能会导致错过降低风险的机会。
2014-05-07 cs.SE
The AI-Native Software Development Lifecycle: A Theoretical and Practical New Methodology
本文提出一种完全AI原生的软件开发生命周期新方法论，并引入V-Bounce模型，利用AI大幅减少实施阶段耗时，将人类角色从主要实施者转变为验证者和确认者，AI充当实施引擎。
2024-08-27 cs.SE
Visualizing source code in 3D Maya software
本文通过对三维形体的代码总结，为程序员阐明了三维形体的概念，明确了程序员和开发人员、软件工程领域的学者和研究人员以及具有代表性的研究人员对三维形体的认识。通过一个基于Maya脚本的三维绘图程序，它是基于绘图形状和三维立体显示的每一部分代码，例如类、方法、连贯性和同质性，在这些绘图程序中显示清楚和有用。
2016-03-01 cs.SE
Transformation of Python Applications into Function-as-a-Service Deployments
新的云编程和部署模型给软件应用程序工程师带来了挑战，他们正在寻找工具来自动化任何必要的代码调整和转换，但往往是徒劳的。考虑到大多数云应用程序都是用非函数式语言实现的，函数式服务接口是一个特别重要的目标。这些语言中使用最广泛的是Python。这个起始位置需要一种自动化的方法，通过部分自动化的分解将单片Python代码转换为模块化的FaaS单元。因此，本文介绍并评估了Lambada，这是一个Python模块，可以动态分解，转换和部署未修改的Python代码到AWS Lambda函数中。除了工具的形式测量的开源原型实现，本文还提供了一个算法和代码重写规则的描述，作为其他脚本语言转换的蓝图。
2017-05-23 cs.DC cs.SE
How to Compare the Security of Code Written by Humans to LLM-generated Code
Zurich University of Applied Sciences（苏黎世应用科学大学）
提出一个自动化框架，通过静态和动态质量分析，在人类单独、LLM单独和人类-LLM混合条件下进行可重复的“物种公平”比较实验，以评估LLM生成代码相对于人类代码的安全性。
2026-07-01 cs.CR cs.SE
Managed Information: A New Abstraction Mechanism for Handling Information in Software-as-a-Service
信息管理是每个应用程序的一个重要方面。例如，这包括保护用户数据免受违规行为的侵害（如新闻报道的剑桥分析公司收集了5000万Facebook个人资料），遵守数据保护法律法规（如欧盟新的通用数据保护法规），处理大型数据库，以及在软件版本中保留用户数据。今天，每个应用程序都需要自己处理这些问题。在本文中，我们将介绍托管信息（MI），管理额外的功能数据相关的问题，类似于今天的托管内存如何抽象出许多内存相关的问题的抽象机制。MI限制了应用程序对用户数据的访问，反过来又减轻了它们对数据的责任。这是通过将它们托管在受管信息平台（MIP）上并以支持MI的语言实现其逻辑来实现的。作为MI的可行性的证据，我们描述了这样一个平台的设计和实现。为了演示MI，我们描述了一个简单的社交网络应用程序，该应用程序是开源的。
2020-12-31 cs.SE
Code Drones
我们提出并探索了一种称为代码无人机的新范式，其中每个软件工件（如类）都是智能和社交活跃的实体。在这种模式中，人性化的工件带头并编排（社会上，与其他智能软件工件和人类合作）自动化软件工程解决方案，以应对无数的开发和维护挑战，包括API迁移，重用，文档编制，测试，修补和重构。我们讨论了具有社会和智能/认知软件工件，指导自己的自我完善的影响。
2016-02-17 cs.SE
Building Your Own Product Copilot: Challenges, Opportunities, and Needs
本研究通过访谈26名软件工程师，揭示了构建产品副驾驶在工程各环节的痛点与挑战，并借助头脑风暴提出面向软件工程社区的机遇和工具设计方向。
2023-12-21 cs.SE
Predictive Software Measures based on Z Specifications - A Case Study
评估系统的工作量和质量是每个软件项目开始时的关键步骤。有必要有可靠的方法来计算这些措施，并且，如果在开发生命周期中尽可能早地进行计算，那就更好了。考虑到这一点，正式规范的指标进行检查，以查看相关的复杂性和基于质量的代码措施。一个案例研究，基于Z规范及其在ADA中的实现，分析了这些指标作为预测器的实用性。
2012-07-10 cs.SE
A Case for Sustainability and Environment Friendliness in Software Development and Architecture Decisions by Taking Energy-Efficient Design Decisions
针对软件能效长期被忽视的问题，本文基于开发与架构中的常见决策示例进行量化分析，证明节能选择可显著降低能耗并提升软件可持续性。
2023-11-03 cs.SE
Tracking Software Security Topics
Auburn University（奥本大学）；Fulbright University Vietnam（越南富布赖特大学）
针对难以实时跟进软件安全主题的问题，提出了SOSK工具，通过预处理安全报告、提取关键词并基于嵌入向量相似度扩展关键词集，实现有效检索相关报告。
2024-09-27 cs.AI cs.CR cs.IR
Prompt Sapper: LLM-Empowered Software Engineering Infrastructure for AI-Native Services
本文提出 Prompt Sapper，通过 LLM 赋能的 AI 链工程基础设施和人机协同方法，支持以提示为可执行代码的 AI 原生服务开发。
2023-06-04 cs.SE
Reproducible Builds: Increasing the Integrity of Software Supply Chains
虽然可以通过审查自由和开放源码软件（FOSS）的源代码来增加对它的信心，但信任代码并不等同于信任它的可执行副本。这些通常由第三方供应商构建和分发，如果他们的供应链受到损害，就会产生严重的安全后果。在本文中，我们提出了可再现的构建，这种方法可以确定生成的二进制文件是否与其原始源代码相对应。我们首先定义问题，然后深入了解以“可再现”的方式构建真实世界软件的挑战，即每次构建都生成逐位相同的结果。通过Reproducible Builds项目使Debian Linux发行版具有可复制性的经验，我们还描述了可复制性和质量保证（QA）之间的密切关系。
2021-04-13 cs.SE
Unified Control and Data Flow Diagrams Applied to Software Engineering and other Systems
通常情况下，需要了解复杂计算机代码的结构：调用哪些函数以及调用它们的顺序，信息如何在静态变量、输入变量和输出变量之间传递，什么依赖于什么。通常，可执行代码和数据分散在多个文件甚至多个模块中。信息是在变量之间传递的，这些变量经常改变名称。这些错综复杂的关系极大地使代码的开发、维护和重新开发、复杂性分析及其健壮性复杂化。到目前为止，还没有一个工具能够呈现真实的、有用的实际代码图。传统的流程图失败了。提出了克服这些困难的方法。其主要思想是，软件的功能可以通过控制流来描述，控制流本质上是时间流和数据流。这些是不可分割的。第二个想法是遵循非常严格的系统边界和模块、函数、块和运算符以及数据持有者的区别，将它们都显示为子系统，换句话说，通过清晰地表达系统结构，当每段可执行代码和每个变量都有自己的图形表示时。第三个是将时间线定义为与连接的代码块明确分离的实体。时间线允许根据需要尽可能深地显示控制流的嵌套。作为概念验证，相同的方法成功地描述了生产系统。关键词：流程图，UML，软件图，可视化编程，极限编程，极限建模，控制流，数据流。
2016-10-07 cs.SE
Best Practices for Facing the Security Challenges of Internet of Things Devices Focusing on Software Development Life Cycle
本研究针对物联网设备日益增长的安全威胁，提出了聚焦于安全软件开发生命周期的最佳实践指南，旨在提高威胁意识并为保护物联网软件及处理漏洞提供坚实基础。
2024-02-12 cs.SE
How Do Software Professionals Evaluate AI-Generated Code? (Registered Report)
University of Oulu（奥卢大学）；Dalhousie University（达尔豪斯大学）
探讨软件专业人员如何评估人工智能生成的代码，采用建构主义扎根理论研究，通过调查、半结构化及阶梯访谈收集数据，旨在基于专业人员的描述构建评估该类代码的理论。
2026-07-13 cs.SE
General Methodology for developing UML models from UI
近年来，每个学科和每个行业都有自己的产品开发方法。它可以是软件开发、机械、构造、心理学等等，只要需求在一个规程内，这些分界线就能很好地工作。然而，如果项目扩展到多个学科，则必须在这些学科的方法之间创建和协调接口。由于Web服务的分布式特性，性能是Web服务的一个重要质量方面。在软件开发的早期阶段预测Web服务的性能是非常重要的。在工业中，这些应用的原型是在软件开发生存周期（SDLC）的分析阶段开发的。然而，性能模型是从UML模型生成的。从UML模型预测性能的方法是可用的。因此，本文提出了一种从用户界面开发用例模型和活动模型的方法。该方法是说明与亚马逊网站的案例研究。
2012-01-10 cs.SE
When is Good Good Enough? Context Factors for Good Remote Work of Agile Software Development Teams. The Otto Case
2019冠状病毒病大流行给每个人的工作生活带来了多项挑战。世界各地的许多公司都为员工提供了全面的远程工作设置。敏捷软件开发团队受到远程工作的影响，因为敏捷方法将通信和协作置于焦点。软件工程师和开发人员的幸福感和动机会影响他们的绩效，并受到特定环境因素的影响。本文旨在分析识别一个良好的远程工作环境的特定上下文因素。我们在一家德国电子商务公司设计了一个单一的案例研究，并使用游戏化方法进行了一项实验，其中包括八个半结构化访谈。我们的研究结果表明，敏捷软件开发团队成员的健康。此外，大多数团队成员都重视游戏化方法，将更多精力放在体育活动和健康福祉上。我们讨论了几个实际影响，并为其他团队和公司提供建议。
2022-04-11 cs.SE
From Image to UML: First Results of Image Based UML Diagram Generation Using LLMs
本文评估多种 LLM 将 UML 类图图像转换为形式化模型的能力，证明其可纳入模型驱动工程流水线，同时指出局限并强调人机协同。
2024-06-18 cs.SE
What do we know about software development in startups?
本研究探讨初创公司软件开发背景，识别常见实践，以应对其高失败率与快速变化领域的挑战。
2023-07-24 cs.SE
Drag and Drop: Influences on the Design of Reusable Software Components
构件是构建大型软件的基本单位。组件是Java中基本的用户界面对象。在java应用程序中，你在显示屏上看到的一切都是组件。允许用户将组件从界面拖放到应用程序中的能力几乎是现代商业用户界面的一个要求。CBD方法带来了高组件可重用性和易维护性，并缩短了上市时间。本文描述了通过拖放机制为构件复用过程提供功能的构件库及其对可复用构件的影响
2011-03-08 cs.SE
The End of Code Review: Coding Agents Supersede Human Inspection
KTH Royal Institute of Technology（皇家理工学院）
本文论证基于大型语言模型的编码代理已超越传统人工代码审查的能力阈值，能以更低成本、更高吞吐量实现审查目标，并指出人工审查与AI协作的路径不可持续。
2026-06-12 cs.SE
An Evidence-based Roadmap for IoT Software Systems Engineering
背景：物联网（IoT）带来了对日常物品中包含软件的期望。然而，它具有挑战性，需要涉及不同领域的多学科技术知识，这些知识应该结合起来，以实现物联网软件系统工程。目标：为物联网开发提供基于证据的路线图，以支持开发人员指定，设计和实施物联网系统。方法：基于实验研究的迭代方法，以获取定义物联网路线图的证据。接下来，系统工程知识体系生存周期用于组织路线图并为物联网软件系统工程设置时间维度。结果：研究揭示了影响物联网发展的七个物联网方面。物联网路线图包括117个项目，分为29个类别，代表每个方面的不同关注点。此外，进行了一项实验研究，观察一个医疗物联网项目的真实案例，表明路线图的适用性。结论：物联网路线图可以成为帮助物联网软件系统工程的可行工具，因为它可以（a）支持研究人员和从业人员理解和描述物联网，以及（b）提供一个清单，以确定工程物联网软件系统的适用建议。
2023-03-14 cs.SE
Sourcerer's Apprentice and the study of code snippet migration
在万维网上，不仅网页是连接的，源代码也是。软件开发正变得越来越容易为每个人所用，而软件的许可证仍然很复杂。我们需要知道软件许可证在其重用和发展过程中是否得到了正确的维护。这激发了Sourcer's Apprentice的开发，这是一个帮助跟踪克隆重新授权的网络服务，因为软件通常使用软件许可证来描述其软件的使用和改编方式。但大多数开发人员不具备解决许可证冲突的法律专业知识。在本文中，我们让Apprentice进行了实证研究，证明StackOverflow代码和Python模块以及Python文档之间存在大量共享，这违反了原始Python模块和文档的许可：通过StackOverflow共享的软件片段经常被不正确地重新许可到CC-BY-SA 3.0，而没有保持适当的属性。我们发现，StackOverflow上的许多片段被StackOverflow用户不适当地重新授权，危及重用StackOverflow片段的公司和开发人员构建的软件的状态。
2018-07-31 cs.SE
Choosing Coding-Agent Benchmarks for Practice: Lessons from Task Demands and Agent Behaviour
Queen’s University（女王大学）
该研究提出SNC轮廓表征编码任务需求，发现基准测试类别标签不可靠，智能体行为可揭示黄金方案未体现的需求，任务需求与成功相关且成功行为具家族特异性。
2026-10-28 cs.CL cs.SE
CHASE: LLM Agents for Dissecting Malicious PyPI Packages
Waseda University（早稻田大学）；RIKEN AIP（理化学研究所人工智能研究中心）；NICT（日本信息通信研究机构）
CHASE通过多代理架构提升恶意PyPI包检测的可靠性，实现高召回率与低误报率。
2026-01-11 cs.CR cs.SE
Reduce, Reuse, Recycle: Building Greener Sustainable Software
针对软件开发中常被忽视的能耗问题，本文分析基础软件操作的能源影响，证明通过能源意识的编程决策可实现显著节能并推动绿色可持续软件。
2023-11-03 cs.PF cs.SE
An Open Framework for Extensible Multi-Stage Bioinformatics Software
在研究实验室中，通常需要在给定的生物信息学工作流程的每一步定制软件，但传统上很难同时获得高度的可定制性和良好的性能。对性能敏感的工具通常是高度单一的，这可能会使研究变得困难。我们提出了一套新的软件开发原则和生物信息学框架，弗里德里希，这是目前在早期的发展。Friedrich应用程序支持早期实验和后期批处理，因为它们同时允许良好的性能和高度的灵活性和可定制性。这些好处在很大程度上是通过将Friedrich建立在多范式程序设计语言Scala之上而获得的。我们提出了一个案例研究的形式，一个基本的基因组组装和它的扩展与新的功能。我们的架构有可能大大提高生物信息学软件开发人员和研究人员的整体生产力。
2012-08-22 cs.SE q-bio.GN
Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
PLACES 2017（全称：并行和通信中心软件的程序设计语言方法）是PLACES研讨会系列的第十版。自2008年第一届PLACES加入DisCoTec之后，自2009年以来，该研讨会每年都是ETAPS的一部分，现在是ETAPS卫星活动的一部分。PLACES 2017于4月29日在瑞典乌普萨拉举行。开办这一系列讲习班是为了促进新的程序设计语言思想应用于为并行和通信是内在方面的系统开发软件这一日益重要的问题。这包括用于多核系统和大规模分布式和/或面向服务的系统的软件。PLACES的范围包括新的程序设计语言特性、全新的程序设计语言设计、新的类型系统、新的语义方法、新的程序分析技术和新的实现机制。本卷包括被接受在讲习班上提出的论文。
2017-04-08 cs.DC cs.PL cs.SE
Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
PLACES 2015（全称：面向以并发和通信为中心的软件的程序设计语言方法）是PLACES研讨会系列的第八版。自2008年第一届PLACES加入DisCoTec之后，自2009年以来，该研讨会每年都是ETAPS的一部分，现在是ETAPS卫星活动的一部分。PLACES 2015于4月18日在英国伦敦举行。开办这一系列讲习班是为了促进新的程序设计语言思想应用于为并行和通信是内在方面的系统开发软件这一日益重要的问题。这包括用于多核系统和大规模分布式和/或面向服务的系统的软件。PLACES的范围包括新的程序设计语言特性、全新的程序设计语言设计、新的类型系统、新的语义方法、新的程序分析技术和新的实现机制。这一卷包括在讲习班上提出的文件的修订本。
2016-02-10 cs.DC cs.PL cs.SE
