Identifying Potential Risks and Benefits of Using Cloud in Distributed Software Development
业界在分布式软件开发（DSD）环境中越来越多地采用基于云的基础设施。它的支持者声称它的几个好处包括降低成本，提高速度和提高软件开发的生产力。然而，经验性评估仍处于审查基于云的基础设施的好处和风险的初期阶段。本文的目的是确定在赫尔辛基和马德里的团队进行的DSD项目中使用云的潜在好处和风险。基于在赫尔辛基和马德里研究中心进行的焦点小组进行跨病例定性分析。与会者的意见被用来补充分析。分析结果表明，使用云计算的主要好处是快速开发、持续集成、节省成本、代码共享和更快的加速。项目确定的主要风险是依赖关系、无法访问云、代码承诺和集成、技术债务和额外的支持成本。结果显示，如果没有仔细规划和设置这样的环境，那么在DSD项目中使用云计算的好处可能会被与之相关的风险所掩盖。
2013-10-24 cs.DC cs.SE
Model Driven Web Application Development With Agile Practices
模型驱动开发是一种有效的方法，因为它的好处，如代码转换，提高生产力和减少人为错误的可能性。同时，敏捷软件开发通过使用迭代法来提高软件的灵活性和客户满意度。这两种开发方法能否结合起来有效地开发Web应用程序？这种方法有哪些挑战和好处？在本文中，我们回答这两个关键问题，结合模型驱动开发和敏捷软件开发的结果，不仅在快速开发和易于用户界面设计，而且有效的作业跟踪。我们还定义了一个敏捷的Web应用程序的实现研究，以支持我们给这两个关键问题的答案基于模型的方法。
2016-10-11 cs.SE
Report From The Trenches: A Case Study In Modernizing Software Development Practices
软件开发公司成功的一个因素是他们快速交付高质量产品的能力。为此，他们需要改进他们的软件开发实践。我们与一家中型公司合作，使其开发实践现代化。该公司介绍了敏捷开发中推荐的几种实践。如果这些实践的好处被很好地记录下来，那么这些更改对开发人员的影响就不那么为人所知了。我们在COVID-19爆发之前和期间跟进这一现代化。本文对这些做法的好处和缺点以及COVID-19对公司员工的影响进行了实证研究。其中一个结论是，过时的技术造成了更多的困难，使技术本身及其鼓励的发展做法适应现代标准。
2021-09-12 cs.SE
From Complexity Measurement to Holistic Quality Evaluation for Automotive Software Development
近年来，软件在汽车领域的作用和重要性发生了巨大变化。能够系统地评估和管理软件质量变得更加重要。然而，在实践中，我们仍然发现一个很大程度上静态的方法来衡量软件质量的基础上预定义的复杂性度量与静态阈值来满足。我们建议使用一个更灵活的框架，它系统地根据开发项目的目标和背景导出度量和评估规则。
2021-10-27 cs.SE
Safety-Critical Systems and Agile Development: A Mapping Study
在过去的几十年里，敏捷方法对软件开发的方式产生了巨大的影响。在许多情况下，这带来了显著的好处，例如向客户交付软件的质量和速度。然而，安全关键型系统已经被广泛地从敏捷方法中受益。因此，包括安全关键方面的产品面临着这样一种情况，即安全关键部件的开发可以通过敏捷方法显著限制整个产品的潜在加速，但也包括非安全关键部件。对于此类产品，以敏捷方式开发安全关键软件的能力将产生竞争优势。为了使未来的研究在这一重要领域，我们在本文中提出了一个映射的实践现状的基础上{混合方法的方法}。从与来自瑞典六家大型产品开发公司的专家的研讨会开始，我们开发了一种用于分析的镜头。然后，我们提出了一个系统的映射研究安全关键系统和敏捷开发通过这个镜头，以映射潜在的好处，挑战和解决方案候选人，以指导未来的研究。
2018-08-03 cs.SE
Automatically Tailoring Static Analysis to Custom Usage Scenarios
近年来，在静态分析仪的开发和工业应用方面取得了重大进展。这样的分析仪通常提供大量（如果不是巨大的话）可配置选项来控制分析的精度和性能。在软件开发生存周期中集成静态分析器的一个主要障碍是将它们的选项调优到自定义使用场景，例如特定的代码库或某些资源约束。在本文中，我们提出了一种技术，自动定制的静态分析器，特别是一个抽象的解释器，分析和任何给定的资源约束下的代码。我们在一个名为TAILOR的框架中实现了这种技术，我们用它来对现实世界的基准进行广泛的评估。我们的实验表明，由TAILOR生成的配置远远优于默认的分析选项，根据分析的代码而显着变化，并且大多数仍然适合于几个后续的代码版本。
2020-09-30 cs.SE
The Rise of Disappearing Frameworks in Web Development
本文介绍Web开发领域新兴的消失型Web框架，指出其因应Web应用规模扩大带来的技术挑战而生，打破传统框架的设计公理，兼具早期Web和静态站点的优势。
2023-06-15 cs.SE
Static Analysis of Infrastructure as Code: a Survey
在DevOps中越来越多地使用基础设施即代码（IaC），这带来了部署操作的速度和可靠性方面的好处，但也带来了软件系统典型的基础设施挑战。IaC脚本可能包含导致部署的基础设施中的安全性和可靠性问题的缺陷：需要检测和预防它们的技术。本文通过对IaC的静态分析技术的文献回顾，分析和综述了这方面的研究现状。我们描述了分析技术，缺陷类别和平台的工具在文献中。
2022-06-21 cs.SE
The Benefits of Model-Driven Development in Institutional Repositories - Los Beneficios del Desarrollo Dirigido por Modelos en los Repositorios Institucionales
机构知识库已并入科学和学术领域的机构，如现有开放获取知识库的目录和以不同方式（如注册用户自行存档和图书管理员编目）每天存入的文章所示。IR系统是基于各种概念模型，所以在本文中的书目调查模型驱动开发（MDD）的系统和应用程序的RI，以暴露MDD在IR中应用的好处。MDD是一种范式，用于构建软件，分配一个中心的角色模型和活动下，从最抽象的模型，以具体的，这是通过连续的转换。该范例提供了一个框架，允许感兴趣的各方分享他们的观点，并直接操纵该域的实体的表示。因此，这些好处是按在场的行为者，即开发人员、企业所有者和领域专家分组的。总之，这些好处有助于更正式的软件实施，从而巩固了此类系统，其中主要受益者是通过提供服务的最终用户
2012-11-14 cs.DL cs.SE
An Exploration of Agile Methods in the Automotive Industry: Benefits, Challenges and Opportunities
本文通过文献综述和案例研究，探讨了汽车行业采用敏捷方法的优势（如协作改善、上市加快）与挑战（如安全合规、文化阻力），旨在理解其对汽车软件开发未来的影响。
2024-09-19 cs.SE
Concrete uses of XML in software development and data analysis
XML正在成为数据描述和交换的工业标准。尽管如此，关于这项技术如何或是否在高能物理软件开发和数据分析中有用仍然存在一些问题。本文旨在回答这些问题，通过演示如何使用XML在IceCube软件开发系统，数据处理和分析。本文首先介绍了构成XML技术的概念和工具。然后，它继续讨论如何使用这些概念和工具来加速IceCube中的软件开发的具体例子，以及在IceCube的数据处理和分析链中使用XML的好处。本文的总体目标是表明XML确实为高能物理软件开发和数据分析带来了许多好处。
2003-06-11 cs.SE
Quantitatively Assessing the Benefits of Model-driven Development in Agent-based Modeling and Simulation
Universidade do Estado de Santa Catarina (UDESC)（圣卡塔琳娜州立大学（UDESC））；Universidade Federal do Rio Grande do Sul (UFRGS)（南里奥格兰德联邦大学（UFRGS））
基于代理的建模与仿真（ABMS）范式已被用于分析，再现和预测与许多应用领域相关的现象。虽然有许多基于代理的平台支持仿真开发，但它们依赖于需要广泛编程知识的程序设计语言。模型驱动开发（MDD）已经被探索以通过高级建模语言来促进仿真建模，所述高级建模语言提供隐藏计算复杂性的可重用构建块和代码生成。然而，关于ABMS的MDD方法如何有助于提高开发生产力和质量的知识仍然有限。因此，在本文中，我们提出了一个实证研究，定量比较MDD和ABMS平台的使用，主要是在努力和开发人员的错误。我们的评估是使用MDD4ABMS和NetLogo进行的，MDD4ABMS是一种MDD方法，具有两个应用领域的核心和扩展，其中一个是为本研究开发的，NetLogo是一个广泛使用的平台。所获得的结果表明，MDD4ABMS需要更少的努力来开发类似（有时更好）的设计质量比NetLogo的模拟，给证据的好处，MDD可以提供ABMS。
2020-06-15 cs.AI cs.SE
Naturalistic Static Program Analysis
静态程序分析开发是一项重要且耗时的任务。我们提出了一个框架，通过它开发人员可以定义静态程序分析在自然语言。我们展示了这个框架的应用程序，以确定密码学在Java程序中的误用，我们讨论了它如何促进静态程序分析开发人员。
2023-01-12 cs.CR cs.PL cs.SE
The Case for HTML First Web Development
Aalto University（阿尔托大学）
本文主张HTML优先的网页开发方法，强调在可能的情况下优先使用HTML，结合超媒体和服务器端逻辑，以提高开发效率和维护性。
2026-02-19 cs.SE
Towards Modular Machine Learning Solution Development: Benefits and Trade-offs
University of Georgia（佐治亚大学）
机器学习技术已经在各个领域展示了巨大的能力。他们在现代企业的成功中发挥着关键作用。然而，采用机器学习技术有很多未触及的潜力。开发解决独特业务问题的定制机器学习解决方案的成本是广泛采用机器学习技术的主要障碍。我们认识到，当今机器学习应用中普遍存在的整体性阻碍了高效且经济的定制机器学习解决方案开发。在这项工作中，我们探讨了模块化机器学习解决方案的好处，并讨论了模块化机器学习解决方案如何克服单片机器学习解决方案的一些主要解决方案工程限制。我们通过三个深度学习问题来分析模块化和单片机器学习解决方案之间的权衡;一个基于文本，两个基于图像。我们的实验结果表明，模块化机器学习解决方案具有很好的潜力，可以获得模块化的解决方案工程优势，同时以单片机器学习解决方案不允许的方式获得性能和数据优势。
2023-01-23 cs.LG cs.SE
QFL: Data-Driven Feedback Loop to Manage Quality in Agile Development
背景：质量需求（QR）描述了期望的系统质量，在软件项目的成功中起着重要的作用。在敏捷软件开发（ASD）的背景下，主要目标是快速交付功能，QR通常定义不清，并且在开发过程中没有很好地解决。软件分析工具通过度量与质量相关的软件方面来帮助控制质量，以支持QR管理过程中的决策者。目的：本研究的目标是探索集成一个具体的软件分析工具，Q-Rapids工具，以评估软件质量和支持QR管理过程的好处。方法：在技术转让项目的背景下，Softeam公司在其开发过程中集成了Q-Rapids工具。我们举办了一系列研讨会，邀请了Modelio产品开发部门的Softeam成员参加。结果如下：我们提出的质量反馈环（QFL）过程中集成在软件开发过程中，以控制完整的QR生命周期，从启发到验证。由于在Softeam中实施了QFL，Modelio的团队成员强调了将数据分析工具与项目规划工具集成的好处，以及项目经理可以控制整个过程以做出最终决策的事实。结论：从业者可以从软件分析工具的集成中受益，作为其软件开发工具链的一部分，以控制软件质量。QFL的实施提高了组织的质量，软件分析和项目规划工具的集成也改善了团队之间的沟通。
2021-02-11 cs.SE
The Impact of COVID-19 and Remote Work on Software Development in Thailand
本文通过调查194名泰国软件开发者，研究新冠疫情及远程办公对泰国软件开发的影响，发现远程办公对开发者生产力和福祉无显著影响，但存在独特差异。
2025-11-08 cs.SE
Interactive Static Software Performance Analysis in the IDE
在开发过程中检测由于次优代码导致的性能问题可能是一项艰巨的任务，特别是在部署后注意到性能下降后进行本地化时。静态分析有可能为开发人员提供有关性能问题的早期反馈，而不必运行具有昂贵（且通常不可用）性能测试的分析器。我们开发了一个VSCode工具，它通过代码注释和装饰（在上下文中显示复杂性分析结果）以及显示细节和概述的侧面板视图（使结果具有可解释性）集成了来自Infer的静态性能分析结果。此外，我们设计的系统具有交互性，以便在发生代码更改时能够更好地响应。我们通过测量静态性能分析集成在开发工作流中引入的开销来评估我们的工具的有效性。此外，我们报告了一个案例研究，说明了我们的系统如何在ElasticSearch开源项目中的一个真实性能错误的背景下用于推理软件性能。演示视频：https://www.youtube.com/watch? v=-GqPb_YZMOs存储库：https://github.com/ipa-lab/vscode-infer-performance
2021-05-04 cs.SE
Automated Vulnerability Injection in Solidity Smart Contracts: A Mutation-Based Approach for Benchmark Development
本研究提出基于突变注入的MuSe工具，自动向Solidity智能合约注入六种漏洞以生成基准，并用Slither验证，发现注入率因漏洞而异且静态分析工具检测不全，凸显了改进检测评估的需求。
2025-04-22 cs.SE
Conceptual Modeling Founded on the Stoic Ontology: Reality with Dynamic Existence and Static Subsistence
根据软件工程社区的说法，越来越多的人认识到，需要一种软件开发理论来整合当前无数流行的方法，其中一些方法是基于对立的观点。概念建模（CM）可以为这种理论做出贡献。CM定义了基本的概念来创建现实的表示，以实现本体上合理的软件行为，其特征是真实的现实和概念清晰。在这种情况下，CM是建立在关于世界的理论上的，这些理论用于表示给定的域。本体已经作为需求分析、实现规范和软件体系结构的工具进入CM。本文通过建立现实和建模思维机器（TM）之间的映射，建立现实和CM之间的直接联系。具体来说，斯多葛本体论用于定义现实中TM事物和行为的存在。这样的发展将有利于CM，除了证明哲学中的经典概念可以应用于现代研究领域。TM模型包括静态和动态规格。动态级别涉及可以映射到现实的基于时间的事件。这个问题涉及无时间静态描述的性质，它提供了事件中的动作发生的区域;没有它们，动态描述就会崩溃。斯多葛学派想出了一个绝妙的办法：把假定的现实作为一个比存在更广泛的范畴。现实是由存在的事物和存在的事物组成的。在这种情况下，动态TM描述是存在的，而动态描述的静态映射部分是存在的。我们应用这样的本体的合同工作流的例子。这一结果似乎为CM开辟了一条新的途径，可以增强软件和系统开发的理论基础。
2022-12-10 cs.SE
A Decision Model for Supporting Task Allocation Processes in Global Software Development
今天，软件密集型系统越来越多地以全球分布式方式开发。然而，全球发展在带来好处的同时，也面临着一系列风险和问题。分布式软件开发的成功项目管理的一个关键因素是将任务分配给站点，因为这被认为对收益和风险有重大影响。我们介绍了一个模型，旨在改善全球分布的项目管理过程中，系统地考虑多个标准的任务分配的决策支持。在文献研究中确定了标准和因果关系，并在定性访谈研究中进行了细化。该模型使用分布式系统和统计建模的现有方法。本文概述了问题和相关工作，介绍了模型的经验和理论基础，并展示了模型在示例场景中的使用。
2013-12-11 cs.SE
UML Artifacts Reuse: State of the Art
重复使用软件的好处包括加速开发、降低成本、降低风险和有效利用专家。在软件开发的初始阶段重用软件工件增加了重用的好处，因为它允许随后重用从早期工件派生的后期工件。UML是软件开发人员在软件开发的初始阶段（如需求工程、架构和详细设计）使用的事实上的建模语言。本调查分析了以前的工作UML工件重用。分析考虑四个方面：检索方法，工件支持，工具支持和实验进行。作为分析的结果，还提供了对UML工件重用的未来工作的一些建议
2014-02-02 cs.SE
Accurate Energy Modelling on the Cortex-M0 Processor for Profiling and Static Analysis
能源建模可以实现能源感知软件开发，并帮助开发人员满足应用程序的能源预算。虽然存在许多嵌入式处理器的能量模型，但大多数都不考虑处理器特定的配置，也不适合静态能耗估计。本文介绍了一组针对Arm Cortex-M0处理器的综合能源模型，可使用基于剖析或静态分析的能耗估计来支持边缘计算应用程序的能源感知开发。我们使用一个商业上有代表性的物理平台与一个自定义修改的指令集模拟器，以获得用于生成模型的物理数据和系统状态标记。这些模型考虑了不同的处理器配置，这些配置都对边缘计算应用程序的执行时间和能耗产生重大影响。与针对非常有限的应用程序的现有工作不同，所有开发的模型都是使用来自各种新兴物联网应用领域的非常广泛的基准生成和验证的，包括机器学习，并且预测误差小于5%。
2023-01-30 cs.SE
A Static Analysis Platform for Investigating Security Trends in Repositories
提出一个集成多种静态分析工具的分析平台，支持基于Git的代码仓库跨版本历史持续监控警告，并通过仪表板展示安全趋势与热点，同时可生成适用于机器学习的大规模安全警报数据库。
2023-04-04 cs.SE
A Risk-driven Model for Work Allocation in Global Software Development Projects
在全球范围内分布软件开发项目的风险和潜在收益在很大程度上取决于如何将工作分配到不同的开发站点和地区。现有的任务分配方法很可能忽略了考虑多种标准的相关性以及任务分配对风险和潜在效益的影响。为了评估特定工作分配产生的风险，并利用组织特定的经验，我们开发了一个可定制的风险驱动模型。它包括两个主要步骤：建议一套任务分配方案的基础上，项目和现场的具体特点，并分析它与可能的项目风险所产生的工作分配。为了评估该模型，我们在一家跨国IT公司进行了一系列半结构化访谈。评价结果表明，该模型的建议大多符合回顾性意见所表达的参与经验丰富的管理人员。
2013-12-09 cs.SE
Combining Code Embedding with Static Analysis for Function-Call Completion
代码完成是集成开发环境（IDE）的一个重要特性。它允许开发人员更快地生成代码，特别是那些不完全熟悉API和其他代码的新手。以前关于代码完成的工作主要利用程序设计语言的静态类型系统或正在开发的项目或使用公共API的其他项目的代码历史。在这项工作中，我们提出了一种新的方法来改善当前的函数调用完成工具，通过学习独立的代码库，使用众所周知的自然语言处理模型，可以学习向量表示的源代码（代码嵌入）。我们的模型不是基于特定项目的历史数据进行训练的。相反，我们的方法允许学习高级概念及其在数千个项目中的关系。因此，所得到的系统能够提供不特定于特定项目或API的一般建议。此外，通过考虑完成调用的上下文，我们的方法建议与该上下文相关的函数调用。我们在一组培训期间看不到的开源项目上评估了我们的方法。结果表明，使用经过训练的模型以及基于静态类型分析的代码建议插件可以显著提高完成建议的正确性。
2020-10-31 cs.SE
Vulnerabilities Mapping based on OWASP-SANS: a Survey for Static Application Security Testing (SAST)
为安全的应用程序开发提供适当的框架对于应用程序开发团队将安全性集成到其开发生存周期中具有真正的价值，特别是当移动或Web应用程序越过扫描阶段并越来越关注基于静态应用程序安全测试（SAST）的补救或缓解阶段时。据作者所知，行业标准的开放式Web应用程序安全项目（OWASP）前10个漏洞和CWE/SANS前25个最危险的软件错误第一次在一个矩阵中与Checkmarx漏洞查询同步，产生一个应用程序安全框架，帮助开发团队审查和解决代码漏洞，最大限度地减少静态扫描和渗透测试中发现的误报，目标是提高调查结果的准确性。以一个概念验证的移动恶意软件检测应用程序为例进行了漏洞扫描的案例研究。通过Checkmarx漏洞查询映射OWASP/SANS，证明了漏洞和漏洞的缓解与提高的效率。
2020-07-03 cs.CR cs.SE
Multiparty Session Type-safe Web Development with Static Linearity
现代Web应用程序现在可以在浏览器内提供类似桌面的体验，这要归功于WebSockets等技术，这些技术可以在浏览器和服务器之间实现低延迟双工通信。虽然这些进步对用户体验来说是巨大的，但它们代表了Web开发人员的新责任，他们现在需要管理和验证应用程序中更复杂和可能有状态的交互的正确性。在本文中，我们提出了一种技术，用于开发交互式Web应用程序，静态保证通信遵循给定的协议。首先，用Scribble协议语言描述全局交互协议--基于多方会话类型。Scribble协议被检查为格式良好，然后每个角色被投射到一个有限状态机，从角色的角度表示通信的结构。我们使用源代码生成和一种新的类型级编码的FSM使用多参数类型类，以利用类型系统的目标语言，并保证只有程序的通信协议将类型检查。我们的工作目标是PureScript --一种编译为JavaScript的函数式语言--它具有足够的表达能力来提供静态线性保证。我们证明了我们的方法的有效性，通过基于Web的战舰游戏，通过WebSocket连接进行通信。
2019-04-02 cs.PL cs.SE
Characterizing The Influence of Continuous Integration. Empirical Results from 250+ Open Source and Proprietary Projects
持续集成（CI）工具通过在提交代码更改时自动编译、构建和执行测试用例来集成代码更改。CI工具的使用越来越受欢迎，但专有项目如何获得CI的好处仍然是未知的。为了研究CI对软件开发的影响，我们分析了150个开源软件（OSS）项目和123个专有项目。对于OSS项目，我们观察到采用CI后的预期收益，例如，在bug和问题解决方面的改进。然而，对于专有项目，我们不能做出类似的观察。我们的研究结果表明，只有采用CI可能不足以改善软件开发过程。如果实践者有效地使用CI的反馈机制，通过应用频繁提交的实践，CI可以有效地用于软件开发。对于我们的专有项目，我们观察到实践者提交的频率较低，因此不能有效地使用CI来获得对提交的代码更改的反馈。根据我们的研究结果，我们建议行业从业者采用CI的最佳实践，以获得CI工具的好处，例如，频繁提交。
2018-09-14 cs.SE
RefFilter: Improving Semantic Conflict Detection via Refactoring-Aware Static Analysis
针对协作软件开发中语义冲突检测误报率高的问题，提出感知重构的工具RefFilter，通过自动识别并剔除行为保持的代码重构降低误报，实验验证其精度提升显著，可有效优化合并支持。
2025-10-02 cs.SE
Static Analyzers and Potential Future Research Directions for Scala: An Overview
静态分析器是现代程序员不可缺少的工具集。这使程序员能够在开发周期的实现阶段检测当前代码库中可能存在的错误和安全缺陷，而不是依赖于独立的测试阶段。静态分析器通常突出“静态”源代码中可能存在的缺陷，因此不需要编译或执行源代码。近年来，Scala程序设计语言在各个行业得到了广泛的采用。随着这种工具的广泛采用，本文概述了Scala程序设计语言的静态分析工具，包括商业和开源工具。本文详细讨论了这些工具可以检测的缺陷类型，这些工具的局限性，并提供了潜在的研究方向，可以改善Scala程序设计语言的静态分析器的现状。
2019-05-12 cs.SE
Data Leakage in Notebooks: Static Detection and Better Processes
用机器学习来训练和评估模型的数据科学管道可能像任何其他代码一样包含错误。训练数据和测试数据之间的泄漏可能会导致在离线评估期间高估模型的准确性，从而可能导致在生产中部署低质量的模型。这种泄漏很容易因错误或遵循不良实践而发生，但手动检测可能是繁琐且具有挑战性的。我们开发了一种静态分析方法来检测数据科学代码中常见的数据泄漏形式。我们的评估表明，我们的分析可以准确地检测到数据泄漏，并且这种泄漏在超过100，000个分析的公共笔记本中普遍存在。我们讨论了我们的静态分析方法如何帮助从业者和教育工作者，以及如何将泄漏预防设计到开发过程中。
2022-09-07 cs.SE
Automated Software Testing Starting from Static Analysis: Current State of the Art
复杂软件的大规模生产使得人工测试其安全漏洞变得不可能。自动化安全测试工具有各种各样的风格，在软件开发的各个阶段发挥作用，并针对不同类别的软件漏洞。我们有大量的自动化工具可供选择，这很好，但问题是它们的采用和认可并不突出。本研究的目的是探索现有技术的可能性，同时也通过探索安全测试工具和相关技术的未来来拓宽视野。
2023-01-15 cs.SE
Implications of Edge Computing for Static Site Generation
本文探讨了边缘计算对静态站点生成（SSG）的影响，提出利用边缘计算在静态背景上创建动态站点以扩展SSG的实用性。
2023-09-08 cs.DC cs.HC cs.PF
Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
该综述针对静态分析领域缺乏对中间表示（IR）价值系统性分析的问题，从IR视角梳理现代静态分析框架的核心目标与潜在方案，为从业者提供参考并指明研究方向。
2024-05-21 cs.PL cs.SE
Containerization of a polyglot microservice application using Docker and Kubernetes
本项目探究容器化技术的优势，提出构建Java、Python、JavaScript多语言微服务应用，经Docker容器化后部署到Kubernetes，评估分布式服务发现与自动扩缩容并对比性能，为软件开发团队提供参考。
2023-04-30 cs.PF cs.SE
Automating Static Code Analysis Through CI/CD Pipeline Integration
Gianforte School of Computing Montana State University（蒙大拿州立大学吉安福特计算学院）；Pacific Northwest National Laboratory Idaho National Laboratory（太平洋西北国家实验室爱达荷国家实验室）
本文提出一种自动化流程，将SAST工具输出聚合后集成到问题跟踪软件，在GitLab环境中用SonarQube实现，可提升软件开发安全态势，获开发人员积极反馈。
2026-09-02 cs.CR cs.SE
Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering
在软件产品线工程（Software Product Line Engineering，SPLE）中，类似系统的组合是从一组共享的软件资产开发的。SPLE声称的好处包括减少组合规模、软件开发成本和生产时间，以及提高交付系统的质量。然而，尽管有这些好处，SPLE仍处于早期采用阶段。我们相信，为SPLE活动提供更好支持的自动化方法、工具和技术可以进一步促进其在实践中的采用，并增加其效益。为了促进这一领域的工作，FMSPLE'16研讨会重点关注自动化分析和形式化方法，这可以（1）进一步提高开发生产力，减少与SPLE工件管理相关的维护成本，（2）为交付系统的正确性和质量提供可靠的保证。
2016-03-28 cs.FL cs.SE
Six Years of Shiny in Research -- Collaborative Development of Web Tools in R
研究出版物中使用的光泽。从这个流行的R Web应用程序框架的出现到2018年，它已被用于许多不同的研究领域。虽然可以证明，Shiny应用程序的复杂性受到后台架构的限制，并且对于新手应用程序开发人员来说存在真正的安全问题，但协作的好处值得更广泛的研究社区关注。Shiny简化了不同专业用户的复杂方法的使用，并达到了适合最终用户的熟练程度。这使得不同的用户社区能够利用尖端的方法进行有效的交互。所审查的文献表明，可以将复杂的方法付诸实践，而不需要投资于专业培训。看来，Shiny在数据分析人员和其他学科人员之间的沟通中开辟了并行的好处，从而可能通过这项技术丰富研究。
2021-01-11 cs.SE stat.CO
Augmenting Large Language Models with Static Code Analysis for Automated Code Quality Improvements
Faculty of Engineering（工程学院）；Applied Science Ontario Tech University（应用科学奥瑞冈科技大学）
本研究将大语言模型与静态代码分析、检索增强生成结合，配套定制代码比对工具缓解幻觉问题，实现自动化代码问题检测与修订，有效提升代码质量、简化开发流程并降低资源消耗。
2025-06-12 cs.AI cs.SE
Benefits of Semantics on Web Service Composition from a Complex Network Perspective
Galatasaray University（加拉塔萨雷大学）；University of Corsica（科西嘉大学）
公开可用的Web服务（WS）的数量不断增长，与此同时，我们正在目睹语义相关的Web技术的快速发展。语义Web和WS的交叉点允许语义WS的发展。在这项工作中，我们采用了一个复杂的网络的角度来进行比较分析的句法和语义的方法来描述WS。从一个公开的WS描述的集合，我们提取句法和语义WS交互网络。我们利用复杂网络领域的工具来分析它们并确定它们的属性。我们发现WS交互网络表现出一些在现实世界的网络中观察到的典型特征，如短的平均节点之间的距离和社区结构。通过比较句法和语义网络，通过他们的属性，我们表明语义WS描述中的引入应改善的组成过程。
2013-05-01 cs.AI cs.SE cs.SI
Safe-DS: A Domain Specific Language to Make Data Science Safe
University of Bonn（波恩大学）
本文提出一种用于数据科学的领域特定语言Safe-DS，通过静态类型检查捕获常规及数据操作等错误，并集成Python库与图形表示，使DS开发更安全、高效且可靠。
2023-04-07 cs.LG cs.PL cs.SE
