首页 > 最新文献

Journal of Software-Evolution and Process最新文献

英文 中文
Interest in Working Remotely: What Factors Are at Play? 对远程工作的兴趣:哪些因素在起作用?
IF 1.8 4区 计算机科学 Q3 COMPUTER SCIENCE, SOFTWARE ENGINEERING Pub Date : 2026-02-05 DOI: 10.1002/smr.70084
Eriks Klotins, Darja Smite, Panagiota Chatzipetrou, Anastasiia Tkalich, Nils Brede Moe

In the postpandemic era, attitudes toward remote work appeared to undergo a lasting transformation, with a high degree of location flexibility becoming increasingly common. Yet, in recent years, many organizations have introduced return-to-office (RTO) initiatives aimed at re-establishing traditional workplace dynamics and prioritizing in-person collaboration. These mandates have drawn significant attention and criticism for limiting software developers flexibility, diminishing well-being, and potentially impacting women disproportionally. This study seeks to understand software developers preferences and actual work behaviors in companies that promote in-office presence. Specifically, we investigate whether certain demographic groups, including women, are differentially affected by RTO initiatives. We also explore a range of factors that may influence individual preferences for remote or on-site work, beyond gender-based assumptions. We report findings from a survey conducted in two large Scandinavian companies engaged in the development of software-intensive systems and services. Data analysis includes descriptive statistics, contingency tables along with post hoc tests, chi-square test of association, and Cramér's V$$ V $$ for effect sizes. Our findings reveal that gender differences among software developers in both industrial cases are minimal and statistically insignificant. Instead, other variables—such as the degree of collaborative work, commute time, and responsibility to support teammates—demonstrate a stronger association with both actual and preferred office attendance. Our results challenge common narratives around gendered responses to RTO mandates, suggesting that other contextual and task-related factors may play a more decisive role. While the impact of RTO initiatives should not be dismissed, our findings indicate that a deeper understanding of work dynamics—particularly around collaboration intensity and commuting burden—is essential to designing equitable and effective work policies. Finally, our findings imply that organizational recommendations for work location must go hand in hand with task design.

{"title":"Interest in Working Remotely: What Factors Are at Play?","authors":"Eriks Klotins,&nbsp;Darja Smite,&nbsp;Panagiota Chatzipetrou,&nbsp;Anastasiia Tkalich,&nbsp;Nils Brede Moe","doi":"10.1002/smr.70084","DOIUrl":"https://doi.org/10.1002/smr.70084","url":null,"abstract":"<p>In the postpandemic era, attitudes toward remote work appeared to undergo a lasting transformation, with a high degree of location flexibility becoming increasingly common. Yet, in recent years, many organizations have introduced return-to-office (RTO) initiatives aimed at re-establishing traditional workplace dynamics and prioritizing in-person collaboration. These mandates have drawn significant attention and criticism for limiting software developers flexibility, diminishing well-being, and potentially impacting women disproportionally. This study seeks to understand software developers preferences and actual work behaviors in companies that promote in-office presence. Specifically, we investigate whether certain demographic groups, including women, are differentially affected by RTO initiatives. We also explore a range of factors that may influence individual preferences for remote or on-site work, beyond gender-based assumptions. We report findings from a survey conducted in two large Scandinavian companies engaged in the development of software-intensive systems and services. Data analysis includes descriptive statistics, contingency tables along with post hoc tests, chi-square test of association, and Cramér's <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>V</mi>\u0000 </mrow>\u0000 <annotation>$$ V $$</annotation>\u0000 </semantics></math> for effect sizes. Our findings reveal that gender differences among software developers in both industrial cases are minimal and statistically insignificant. Instead, other variables—such as the degree of collaborative work, commute time, and responsibility to support teammates—demonstrate a stronger association with both actual and preferred office attendance. Our results challenge common narratives around gendered responses to RTO mandates, suggesting that other contextual and task-related factors may play a more decisive role. While the impact of RTO initiatives should not be dismissed, our findings indicate that a deeper understanding of work dynamics—particularly around collaboration intensity and commuting burden—is essential to designing equitable and effective work policies. Finally, our findings imply that organizational recommendations for work location must go hand in hand with task design.</p>","PeriodicalId":48898,"journal":{"name":"Journal of Software-Evolution and Process","volume":"38 2","pages":""},"PeriodicalIF":1.8,"publicationDate":"2026-02-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/smr.70084","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146136104","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
ECLYPSE: A Python Framework for Simulation and Emulation of the Cloud-Edge Continuum 用于模拟和仿真云边缘连续体的Python框架
IF 1.8 4区 计算机科学 Q3 COMPUTER SCIENCE, SOFTWARE ENGINEERING Pub Date : 2026-01-23 DOI: 10.1002/smr.70081
Jacopo Massa, Valerio De Caro, Stefano Forti, Patrizio Dazzi, Davide Bacciu, Antonio Brogi

The Cloud-Edge continuum enhances application performance by bringing computation closer to data sources. However, it presents considerable challenges in managing resources and determining application service placement, as these tasks require analyzing diverse, dynamic environments characterized by fluctuating network conditions. Addressing these challenges calls for tools combining simulation and emulation of Cloud-Edge systems to rigorously assess novel application and resource management strategies. In this paper, we introduce ECLYPSE, a Python-based framework that enables the simulation and emulation of the Cloud-Edge continuum via adaptable resource allocation and service placement models. ECLYPSE features an event-driven architecture for dynamically adapting network configurations and resources. It also supports seamless transitions between simulated and emulated setups, thus enabling the execution of experiments in simulated, emulated, and hybrid settings. In this work, we illustrate and assess ECLYPSE capabilities over three use cases, demonstrating the framework's effectiveness in rapid prototyping across diverse scenarios.

Cloud-Edge连续体通过使计算更接近数据源来提高应用程序性能。然而,它在管理资源和确定应用程序服务位置方面提出了相当大的挑战,因为这些任务需要分析以波动的网络条件为特征的各种动态环境。解决这些挑战需要结合云边缘系统的模拟和仿真的工具,以严格评估新的应用程序和资源管理策略。在本文中,我们介绍了ECLYPSE,这是一个基于python的框架,可以通过可适应的资源分配和服务放置模型来模拟和模拟Cloud-Edge连续体。eclipse具有事件驱动的体系结构,用于动态地调整网络配置和资源。它还支持模拟和仿真设置之间的无缝转换,从而能够在模拟,仿真和混合设置中执行实验。在这项工作中,我们通过三个用例来说明和评估eclipse的功能,演示了该框架在跨不同场景的快速原型制作中的有效性。
{"title":"ECLYPSE: A Python Framework for Simulation and Emulation of the Cloud-Edge Continuum","authors":"Jacopo Massa,&nbsp;Valerio De Caro,&nbsp;Stefano Forti,&nbsp;Patrizio Dazzi,&nbsp;Davide Bacciu,&nbsp;Antonio Brogi","doi":"10.1002/smr.70081","DOIUrl":"https://doi.org/10.1002/smr.70081","url":null,"abstract":"<p>The Cloud-Edge continuum enhances application performance by bringing computation closer to data sources. However, it presents considerable challenges in managing resources and determining application service placement, as these tasks require analyzing diverse, dynamic environments characterized by fluctuating network conditions. Addressing these challenges calls for tools combining simulation and emulation of Cloud-Edge systems to rigorously assess novel application and resource management strategies. In this paper, we introduce <span>ECLYPSE</span>, a Python-based framework that enables the simulation and emulation of the Cloud-Edge continuum via adaptable resource allocation and service placement models. <span>ECLYPSE</span> features an event-driven architecture for dynamically adapting network configurations and resources. It also supports seamless transitions between simulated and emulated setups, thus enabling the execution of experiments in simulated, emulated, and hybrid settings. In this work, we illustrate and assess <span>ECLYPSE</span> capabilities over three use cases, demonstrating the framework's effectiveness in rapid prototyping across diverse scenarios.</p>","PeriodicalId":48898,"journal":{"name":"Journal of Software-Evolution and Process","volume":"38 1","pages":""},"PeriodicalIF":1.8,"publicationDate":"2026-01-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/smr.70081","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146099380","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The Impact of COVID-19 on Open Source Development Activities: A Multi-Method Study COVID-19对开源开发活动的影响:一项多方法研究
IF 1.8 4区 计算机科学 Q3 COMPUTER SCIENCE, SOFTWARE ENGINEERING Pub Date : 2026-01-14 DOI: 10.1002/smr.70082
Márcio Vinicius Okimoto, Edna Dias Canedo, Rodrigo Bonifácio, Uirá Kulesza

The social isolation measures resulting from the COVID-19 outbreak changed work practices in various sectors, especially with the shift to working from home. However, the implications of the pandemic on the maintenance and evolution of open-source software (OSS) still deserve further studies. In this paper, we analyze the effects of COVID-19 on the development activity of OSS and how social isolation changed the productivity of OSS contributors. We conducted a mixed-method study composed of (i) a mining software repositories analysis of 155 popular and active OSS projects on GitHub, selected from an initial dataset of 1500 repositories based on activity thresholds (commits, pull requests, and size), and (ii) a survey with 57 core developers identified using an established literature-based heuristic. The mining study analyzed commits, code churn, pull requests, and pull request latency to assess changes before and after the pandemic, applying statistical tests and a mixed-effects Regression Discontinuity Design. The survey collected self-reported perceptions of productivity and engagement during the pandemic, enabling triangulation with repository activity trends. Our results show that while core developers' productivity remained stable, there was a sustained decline in newcomer participation and a temporary increase in core developer turnover. In the early days of the outbreak, we observed an increase in accepted pull requests, followed by a stabilization of most activity metrics. Some findings are supported by our survey study, whose results indicate that most of our survey respondents consider that COVID-19 did not change their productivity substantially. These findings offer insights into OSS resilience and sustainability in the face of large-scale disruptions, contributing to a broader understanding of the outbreak's impact and providing actionable lessons for managing distributed development in crisis scenarios.

COVID-19疫情导致的社会隔离措施改变了各个部门的工作习惯,特别是转向在家工作。然而,疫情对开源软件(OSS)维护和发展的影响仍值得进一步研究。在本文中,我们分析了COVID-19对OSS开发活动的影响,以及社会隔离如何改变OSS贡献者的生产力。我们进行了一项混合方法研究,包括(i)对GitHub上155个流行和活跃的OSS项目进行挖掘软件存储库分析,这些项目是从1500个存储库的初始数据集中选择的,基于活动阈值(提交、拉取请求和大小),以及(ii)对57名核心开发人员进行调查,使用已建立的基于文献的启发式方法确定。挖掘研究分析了提交、代码流失、拉取请求和拉取请求延迟,应用统计测试和混合效应回归不连续设计来评估疫情前后的变化。该调查收集了大流行期间对生产力和参与度的自我报告,从而能够对储存库活动趋势进行三角测量。我们的研究结果表明,虽然核心开发者的生产力保持稳定,但新来者的参与度持续下降,核心开发者的流动率暂时上升。在疫情爆发的早期,我们观察到接受的拉取请求有所增加,随后大多数活动指标趋于稳定。一些发现得到了我们调查研究的支持,调查结果表明,大多数受访者认为COVID-19并没有实质性地改变他们的生产力。这些发现为面对大规模中断时开放源码软件的弹性和可持续性提供了见解,有助于更广泛地了解疫情的影响,并为在危机情景下管理分布式开发提供了可操作的经验教训。
{"title":"The Impact of COVID-19 on Open Source Development Activities: A Multi-Method Study","authors":"Márcio Vinicius Okimoto,&nbsp;Edna Dias Canedo,&nbsp;Rodrigo Bonifácio,&nbsp;Uirá Kulesza","doi":"10.1002/smr.70082","DOIUrl":"https://doi.org/10.1002/smr.70082","url":null,"abstract":"<p>The social isolation measures resulting from the COVID-19 outbreak changed work practices in various sectors, especially with the shift to working from home. However, the implications of the pandemic on the maintenance and evolution of open-source software (OSS) still deserve further studies. In this paper, we analyze the effects of COVID-19 on the development activity of OSS and how social isolation changed the productivity of OSS contributors. We conducted a mixed-method study composed of (i) a mining software repositories analysis of 155 popular and active OSS projects on GitHub, selected from an initial dataset of 1500 repositories based on activity thresholds (commits, pull requests, and size), and (ii) a survey with 57 core developers identified using an established literature-based heuristic. The mining study analyzed commits, code churn, pull requests, and pull request latency to assess changes before and after the pandemic, applying statistical tests and a mixed-effects Regression Discontinuity Design. The survey collected self-reported perceptions of productivity and engagement during the pandemic, enabling triangulation with repository activity trends. Our results show that while core developers' productivity remained stable, there was a sustained decline in newcomer participation and a temporary increase in core developer turnover. In the early days of the outbreak, we observed an increase in accepted pull requests, followed by a stabilization of most activity metrics. Some findings are supported by our survey study, whose results indicate that most of our survey respondents consider that COVID-19 did not change their productivity substantially. These findings offer insights into OSS resilience and sustainability in the face of large-scale disruptions, contributing to a broader understanding of the outbreak's impact and providing actionable lessons for managing distributed development in crisis scenarios.</p>","PeriodicalId":48898,"journal":{"name":"Journal of Software-Evolution and Process","volume":"38 1","pages":""},"PeriodicalIF":1.8,"publicationDate":"2026-01-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/smr.70082","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146002164","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Function-Guided Extended Latent Dirichlet Allocation Model for Complementary Cloud API Recommendation in Mashup Development Mashup开发中互补云API推荐的功能导向扩展潜在Dirichlet分配模型
IF 1.8 4区 计算机科学 Q3 COMPUTER SCIENCE, SOFTWARE ENGINEERING Pub Date : 2026-01-05 DOI: 10.1002/smr.70078
Zhen Chen, Xiaolong Wang, Denghui Xie, Haonan Liao, Dianlong You, Limin Shen

In the cloud era, cloud application programming interface (API), as the best carrier for service delivery, capability replication, and data output, has become the core element of service-oriented software development. The existing cloud API recommendation methods adhere to a common paradigm: leveraging perceived quality of service and keyword matching to generate high-quality, single-function results, while overlooking the objective needs for function-guided complementary cloud APIs in service-oriented software development. Function-guided complementary cloud API recommendation aims to generate cloud APIs that are frequently co-invoked in conjunction with those API having given function, thereby satisfying the joint interests of developers. To this end, we proposed a function-guided extended latent Dirichlet allocation (ELDA) model for complementary cloud API recommendation. Specifically, we first conduct an analysis of real-world data from the cloud API ecosystems to illustrate both the necessity for complementary cloud API recommendations and the objective existence of a head effect within these APIs. Then we conceptualize the complementary relationship between a function and cloud APIs by treating the function as a document, with the corresponding cloud APIs represented as words within that document. Furthermore, we extend the classic latent Dirichlet allocation model by introducing two additional factors: (1) cloud API popularity and (2) functional sensitivity. These factors are designed to capture head effects within complementary cloud APIs. Additionally, we train both a positive and a negative ELDA model using the respective positive and negative corpus sets obtained. Furthermore, complementary cloud APIs relevant to the targeted function are generated by integrating the results from both the positive and negative ELDA models. Finally, experiments were conducted on two real-world cloud API datasets. The results demonstrate that the performance of ELDA surpasses that of the comparative methods. Sensitivity analysis of hyperparameters and case study findings further validate the effectiveness and practicality of ELDA.

在云时代,云应用编程接口(API)作为服务交付、能力复制和数据输出的最佳载体,成为面向服务的软件开发的核心要素。现有的云API推荐方法遵循一个共同的范式:利用感知服务质量和关键字匹配来生成高质量的单一功能结果,而忽略了面向服务的软件开发中对功能导向的互补云API的客观需求。功能导向的互补云API推荐旨在生成经常与那些具有功能的API一起被共同调用的云API,从而满足开发人员的共同利益。为此,我们提出了一个函数引导的扩展潜在狄利克雷分配(ELDA)模型,用于补充云API推荐。具体来说,我们首先对来自云API生态系统的真实数据进行了分析,以说明补充云API建议的必要性以及这些API中头部效应的客观存在。然后,我们将函数和云api之间的互补关系概念化,方法是将函数视为文档,将相应的云api表示为文档中的单词。此外,我们通过引入两个额外的因素来扩展经典的潜在Dirichlet分配模型:(1)云API的流行程度和(2)功能敏感性。这些因素被设计用来捕捉互补云api中的头部效应。此外,我们使用获得的正负语料库集训练正负ELDA模型。此外,通过整合正ELDA模型和负ELDA模型的结果,生成与目标函数相关的互补云api。最后,在两个真实的云API数据集上进行了实验。结果表明,ELDA的性能优于其他比较方法。超参数敏感性分析和案例研究结果进一步验证了ELDA的有效性和实用性。
{"title":"Function-Guided Extended Latent Dirichlet Allocation Model for Complementary Cloud API Recommendation in Mashup Development","authors":"Zhen Chen,&nbsp;Xiaolong Wang,&nbsp;Denghui Xie,&nbsp;Haonan Liao,&nbsp;Dianlong You,&nbsp;Limin Shen","doi":"10.1002/smr.70078","DOIUrl":"https://doi.org/10.1002/smr.70078","url":null,"abstract":"<div>\u0000 \u0000 <p>In the cloud era, cloud application programming interface (API), as the best carrier for service delivery, capability replication, and data output, has become the core element of service-oriented software development. The existing cloud API recommendation methods adhere to a common paradigm: leveraging perceived quality of service and keyword matching to generate high-quality, single-function results, while overlooking the objective needs for function-guided complementary cloud APIs in service-oriented software development. Function-guided complementary cloud API recommendation aims to generate cloud APIs that are frequently co-invoked in conjunction with those API having given function, thereby satisfying the joint interests of developers. To this end, we proposed a function-guided extended latent Dirichlet allocation (ELDA) model for complementary cloud API recommendation. Specifically, we first conduct an analysis of real-world data from the cloud API ecosystems to illustrate both the necessity for complementary cloud API recommendations and the objective existence of a head effect within these APIs. Then we conceptualize the complementary relationship between a function and cloud APIs by treating the function as a document, with the corresponding cloud APIs represented as words within that document. Furthermore, we extend the classic latent Dirichlet allocation model by introducing two additional factors: (1) cloud API popularity and (2) functional sensitivity. These factors are designed to capture head effects within complementary cloud APIs. Additionally, we train both a positive and a negative ELDA model using the respective positive and negative corpus sets obtained. Furthermore, complementary cloud APIs relevant to the targeted function are generated by integrating the results from both the positive and negative ELDA models. Finally, experiments were conducted on two real-world cloud API datasets. The results demonstrate that the performance of ELDA surpasses that of the comparative methods. Sensitivity analysis of hyperparameters and case study findings further validate the effectiveness and practicality of ELDA.</p>\u0000 </div>","PeriodicalId":48898,"journal":{"name":"Journal of Software-Evolution and Process","volume":"38 1","pages":""},"PeriodicalIF":1.8,"publicationDate":"2026-01-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145963768","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Continuous Deployment Adoption: Insights From a Public Sector Implementation 持续部署采用:来自公共部门实施的见解
IF 1.8 4区 计算机科学 Q3 COMPUTER SCIENCE, SOFTWARE ENGINEERING Pub Date : 2026-01-05 DOI: 10.1002/smr.70080
Aapo Linjama, Tuomas Granlund

Continuous deployment is a significant trend in software development, yet its adoption and potential benefits within the public sector remain under-researched. This paper examines a case study of continuous deployment implementation in a public sector project undertaken by Solita, a software development company, for a client utilizing agile methodologies. The study provides a comprehensive overview of the motivations, benefits, and challenges encountered during continuous deployment adoption. This study contributes to the growing body of knowledge on continuous deployment by providing valuable insights into its application within the public sector context, offering practical recommendations for overcoming challenges and achieving successful implementation.

持续部署是软件开发中的一个重要趋势,但是它在公共部门的采用和潜在的好处仍然没有得到充分的研究。本文研究了一个由软件开发公司Solita为客户采用敏捷方法的公共部门项目中持续部署实现的案例研究。该研究提供了对持续部署采用过程中遇到的动机、好处和挑战的全面概述。本研究为持续部署在公共部门的应用提供了有价值的见解,为克服挑战和实现成功实施提供了切实可行的建议,从而有助于不断增长的持续部署知识体系。
{"title":"Continuous Deployment Adoption: Insights From a Public Sector Implementation","authors":"Aapo Linjama,&nbsp;Tuomas Granlund","doi":"10.1002/smr.70080","DOIUrl":"https://doi.org/10.1002/smr.70080","url":null,"abstract":"<p>Continuous deployment is a significant trend in software development, yet its adoption and potential benefits within the public sector remain under-researched. This paper examines a case study of continuous deployment implementation in a public sector project undertaken by Solita, a software development company, for a client utilizing agile methodologies. The study provides a comprehensive overview of the motivations, benefits, and challenges encountered during continuous deployment adoption. This study contributes to the growing body of knowledge on continuous deployment by providing valuable insights into its application within the public sector context, offering practical recommendations for overcoming challenges and achieving successful implementation.</p>","PeriodicalId":48898,"journal":{"name":"Journal of Software-Evolution and Process","volume":"38 1","pages":""},"PeriodicalIF":1.8,"publicationDate":"2026-01-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/smr.70080","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145963736","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
An Integrated Cybersecurity Framework for Software Development and Risk-Aware Practices in the SDLC SDLC中软件开发和风险意识实践的集成网络安全框架
IF 1.8 4区 计算机科学 Q3 COMPUTER SCIENCE, SOFTWARE ENGINEERING Pub Date : 2025-12-28 DOI: 10.1002/smr.70075
Hussein A. Al Hashimi

Cybersecurity risks are increasing in frequency and complexity, but many organizations struggle to plan and implement adequate protections at all stages of the software development life cycle (SDLC). Security is frequently added at the end of development (afterthought), and making effective use of safeguard space is difficult for IT leaders. The purpose of this study is to produce an all-encompassing framework to adopt and ensure security throughout each phase of the SDLC, from planning through maintenance. The aim is to minimize vulnerabilities and improve the resilience of software by making “security by design” a structure that not only adopts security elegantly as a living document but also is built to be part of the development process. This study adopted a mixed-methods approach. The initial stage of inquiry involved a systematic literature review (SLR) to identify common cybersecurity issues associated with each SDLC phase. The SLR was followed by an empirical survey of 71 software professionals from a variety of organizations. The survey was designed to gather perceived threats, current practices, and challenges associated with software development for survey participants' organizations. The data collected were analyzed and reviewed statistically, through chi-square tests and ANOVA, to profile the variance relative to the size of the organization, geographic region, and experience level of the practitioner. The results noted several high-risk challenges across the SDLC: underfunded security controls, imprecise requirements, insecure architecture, software bugs (i.e., injection vulnerabilities), inadequate testing, misconfigured production environments, and unreliable maintenance. The proposed framework provides cybersecurity mitigation techniques for each stage of the SDLC, such as leveraging security-oriented design patterns, secure coding policies (i.e., input validation and authentication protocols), robust testing (i.e., penetration testing and code review), and continuous monitoring after deployment. The implementation of these measures leads to a significant risk reduction in the overall organizational security posture. The framework is a formalized end-to-end approach to secure software development by embedding security throughout the cycle. Embedding security as a part of the process versus an afterthought at every stage of the cycle creates a risk reduction impact. This integrated approach also provides organizations with the opportunity to foresee and mitigate events earlier in the cycle, along with general compliance mandates (i.e., GDPR, HIPAA, and PCI-DSS), to provide more resilient, trustworthy software systems.

网络安全风险的频率和复杂性都在增加,但是许多组织在软件开发生命周期(SDLC)的所有阶段都在努力计划和实施适当的保护。安全性通常是在开发结束时添加的(事后考虑的),对于IT领导者来说,有效利用安全保障空间是很困难的。本研究的目的是产生一个全面的框架,以采用并确保SDLC的每个阶段(从规划到维护)的安全性。其目的是通过使“设计安全性”成为一种结构,不仅将安全性优雅地作为活文档,而且将其构建为开发过程的一部分,从而将漏洞最小化并提高软件的弹性。本研究采用混合方法。调查的初始阶段包括系统的文献综述(SLR),以确定与每个SDLC阶段相关的常见网络安全问题。SLR之后是对来自不同组织的71名软件专业人员的实证调查。该调查旨在为调查参与者的组织收集与软件开发相关的感知威胁、当前实践和挑战。通过卡方检验和方差分析,对收集到的数据进行分析和统计审查,以描述与组织规模、地理区域和从业人员经验水平相关的方差。结果指出了跨SDLC的几个高风险挑战:资金不足的安全控制、不精确的需求、不安全的体系结构、软件缺陷(即注入漏洞)、不充分的测试、错误配置的生产环境以及不可靠的维护。提议的框架为SDLC的每个阶段提供了网络安全缓解技术,例如利用面向安全的设计模式、安全编码策略(即输入验证和身份验证协议)、健壮测试(即渗透测试和代码审查)以及部署后的持续监控。这些措施的实施可以显著降低整个组织安全态势中的风险。该框架是一种形式化的端到端方法,通过在整个周期中嵌入安全性来确保软件开发的安全。将安全性作为流程的一部分嵌入,而不是在周期的每个阶段都事后考虑,可以降低风险。这种集成的方法还为组织提供了在周期的早期预见和缓解事件的机会,以及一般的合规性要求(即GDPR, HIPAA和PCI-DSS),以提供更具弹性,更值得信赖的软件系统。
{"title":"An Integrated Cybersecurity Framework for Software Development and Risk-Aware Practices in the SDLC","authors":"Hussein A. Al Hashimi","doi":"10.1002/smr.70075","DOIUrl":"https://doi.org/10.1002/smr.70075","url":null,"abstract":"<div>\u0000 \u0000 <p>Cybersecurity risks are increasing in frequency and complexity, but many organizations struggle to plan and implement adequate protections at all stages of the software development life cycle (SDLC). Security is frequently added at the end of development (afterthought), and making effective use of safeguard space is difficult for IT leaders. The purpose of this study is to produce an all-encompassing framework to adopt and ensure security throughout each phase of the SDLC, from planning through maintenance. The aim is to minimize vulnerabilities and improve the resilience of software by making “security by design” a structure that not only adopts security elegantly as a living document but also is built to be part of the development process. This study adopted a mixed-methods approach. The initial stage of inquiry involved a systematic literature review (SLR) to identify common cybersecurity issues associated with each SDLC phase. The SLR was followed by an empirical survey of 71 software professionals from a variety of organizations. The survey was designed to gather perceived threats, current practices, and challenges associated with software development for survey participants' organizations. The data collected were analyzed and reviewed statistically, through chi-square tests and ANOVA, to profile the variance relative to the size of the organization, geographic region, and experience level of the practitioner. The results noted several high-risk challenges across the SDLC: underfunded security controls, imprecise requirements, insecure architecture, software bugs (i.e., injection vulnerabilities), inadequate testing, misconfigured production environments, and unreliable maintenance. The proposed framework provides cybersecurity mitigation techniques for each stage of the SDLC, such as leveraging security-oriented design patterns, secure coding policies (i.e., input validation and authentication protocols), robust testing (i.e., penetration testing and code review), and continuous monitoring after deployment. The implementation of these measures leads to a significant risk reduction in the overall organizational security posture. The framework is a formalized end-to-end approach to secure software development by embedding security throughout the cycle. Embedding security as a part of the process versus an afterthought at every stage of the cycle creates a risk reduction impact. This integrated approach also provides organizations with the opportunity to foresee and mitigate events earlier in the cycle, along with general compliance mandates (i.e., GDPR, HIPAA, and PCI-DSS), to provide more resilient, trustworthy software systems.</p>\u0000 </div>","PeriodicalId":48898,"journal":{"name":"Journal of Software-Evolution and Process","volume":"38 1","pages":""},"PeriodicalIF":1.8,"publicationDate":"2025-12-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145887710","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Exploring the Relationship Between Trait Emotional Intelligence and Performance in the Context of SME Software Engineering 中小企业软件工程背景下特质情商与绩效关系的探讨
IF 1.8 4区 计算机科学 Q3 COMPUTER SCIENCE, SOFTWARE ENGINEERING Pub Date : 2025-12-26 DOI: 10.1002/smr.70076
Ibad Ullah, Nasir Rashid, Sheraz Babar, Naeem Iqbal

In software-based small- and medium-sized enterprises (SMEs), enhancing individual performance (IP) of employees, particularly software engineers, is essential for organizational growth. Rather than relying on general strategies, firms increasingly focus on specific personal and professional factors influencing productivity. Trait emotional intelligence (Trait EI), including key dimensions like motivation, stress tolerance, and optimism, has emerged as a significant predictor of IP. In parallel, digital competence (DComp) has become indispensable due to the rapid evolution of technological systems. Employees with higher digital skills are better equipped to manage digital tools and adapt to innovations, leading to improved efficiency. Additionally, social support (SS) within organizations from supervisors, peers, and team members has been shown to enhance job satisfaction, engagement, and overall output. Despite growing interest, current literature lacks empirical frameworks that integrate these constructs in the SME software sector. This study proposes and validates a conceptual model to investigate the influence of Trait EI on software engineers' IP, with DC and SS serving as mediating factors. The findings offer practical implications for developing emotional and DC within tech-driven SMEs to foster performance and growth.

在以软件为基础的中小型企业(SMEs)中,提高员工(特别是软件工程师)的个人绩效(IP)对组织发展至关重要。企业不再依赖一般战略,而是越来越关注影响生产率的具体个人和专业因素。特质情商(Trait EI),包括动机、压力耐受性和乐观等关键维度,已经成为IP的重要预测指标。与此同时,由于技术系统的快速发展,数字能力(DComp)也变得不可或缺。拥有更高数字技能的员工能够更好地管理数字工具并适应创新,从而提高效率。此外,来自主管、同事和团队成员的组织内社会支持(SS)已被证明可以提高工作满意度、敬业度和整体产出。尽管越来越多的兴趣,目前的文献缺乏经验的框架,整合这些结构在中小企业软件部门。本研究提出并验证了特质EI对软件工程师知识产权影响的概念模型,其中DC和SS作为中介因子。研究结果为在技术驱动型中小企业中发展情感和DC以促进绩效和增长提供了实际意义。
{"title":"Exploring the Relationship Between Trait Emotional Intelligence and Performance in the Context of SME Software Engineering","authors":"Ibad Ullah,&nbsp;Nasir Rashid,&nbsp;Sheraz Babar,&nbsp;Naeem Iqbal","doi":"10.1002/smr.70076","DOIUrl":"https://doi.org/10.1002/smr.70076","url":null,"abstract":"<div>\u0000 \u0000 <p>In software-based small- and medium-sized enterprises (SMEs), enhancing individual performance (IP) of employees, particularly software engineers, is essential for organizational growth. Rather than relying on general strategies, firms increasingly focus on specific personal and professional factors influencing productivity. Trait emotional intelligence (Trait EI), including key dimensions like motivation, stress tolerance, and optimism, has emerged as a significant predictor of IP. In parallel, digital competence (DComp) has become indispensable due to the rapid evolution of technological systems. Employees with higher digital skills are better equipped to manage digital tools and adapt to innovations, leading to improved efficiency. Additionally, social support (SS) within organizations from supervisors, peers, and team members has been shown to enhance job satisfaction, engagement, and overall output. Despite growing interest, current literature lacks empirical frameworks that integrate these constructs in the SME software sector. This study proposes and validates a conceptual model to investigate the influence of Trait EI on software engineers' IP, with DC and SS serving as mediating factors. The findings offer practical implications for developing emotional and DC within tech-driven SMEs to foster performance and growth.</p>\u0000 </div>","PeriodicalId":48898,"journal":{"name":"Journal of Software-Evolution and Process","volume":"38 1","pages":""},"PeriodicalIF":1.8,"publicationDate":"2025-12-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145887582","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
PathCovAVTest: Testing for Violations of Autonomous Driving Systems Based on Path Coverage of Traffic Regulation Scenarios PathCovAVTest:基于交通管制场景路径覆盖的自动驾驶系统违规测试
IF 1.8 4区 计算机科学 Q3 COMPUTER SCIENCE, SOFTWARE ENGINEERING Pub Date : 2025-12-22 DOI: 10.1002/smr.70066
Chunyan Xia, Song Huang, Yuchen Xia, Qiang Sun, Meishu Luo, Ziyi Zhao

Autonomous vehicles play a crucial role in alleviating traffic congestion and eliminating traffic accidents. To ensure the safety and reliability of autonomous driving systems, comprehensive testing must be conducted before their deployment on public roads. Currently, testing methods primarily focus on simple scenarios involving safety violations, generating test cases based on traffic accident and traffic regulation violation scenarios. However, under complex traffic environments and driving conditions, the automatic generation of traffic regulation violation test cases to identify regulatory violations by autonomous vehicles remains insufficiently explored. In response, we propose a method for testing violations by autonomous vehicles—PathCovAVTest—which generates violation scenarios through traffic regulation scenario models to evaluate both safety violations and traffic regulation violations of the autonomous driving system. First, we design a fitness function for a genetic algorithm based on a Petri net–based traffic regulation scenario model. This function considers the safety of collisions between autonomous vehicles and other traffic participants, as well as the similarity between vehicle trajectory paths and path state sequences. The evolutionary process then produces test cases that represent traffic regulations, aimed at uncovering violations by autonomous vehicles. Simulation experiments conducted on Baidu Apollo, an industrial-grade platform, demonstrate that PathCovAVTest can effectively identify 16 types of violations committed by autonomous vehicles. Furthermore, compared with baseline methods, PathCovAVTest detects more traffic regulation violations by autonomous driving systems and improves the efficiency of generating unique violation scenarios.

自动驾驶汽车在缓解交通拥堵和消除交通事故方面发挥着至关重要的作用。为了确保自动驾驶系统的安全性和可靠性,在公共道路上部署之前必须进行全面的测试。目前,测试方法主要集中在涉及安全违规的简单场景,基于交通事故和交通规则违规场景生成测试用例。然而,在复杂的交通环境和驾驶条件下,自动生成交通违章测试用例来识别自动驾驶汽车的违章行为的探索还不够充分。为此,我们提出了一种自动驾驶车辆违章测试方法——pathcovavtest,该方法通过交通规则场景模型生成违章场景,对自动驾驶系统的安全违章和交通规则违章进行评估。首先,基于Petri网的交通管制场景模型,设计了遗传算法的适应度函数。该函数考虑了自动驾驶车辆与其他交通参与者碰撞的安全性,以及车辆轨迹路径和路径状态序列之间的相似性。然后,进化过程产生代表交通法规的测试用例,旨在发现自动驾驶汽车的违规行为。在工业级平台b百度Apollo上进行的仿真实验表明,PathCovAVTest可以有效识别16种自动驾驶汽车的违规行为。此外,与基线方法相比,PathCovAVTest可以检测到更多自动驾驶系统的交通规则违规行为,提高了生成独特违规场景的效率。
{"title":"PathCovAVTest: Testing for Violations of Autonomous Driving Systems Based on Path Coverage of Traffic Regulation Scenarios","authors":"Chunyan Xia,&nbsp;Song Huang,&nbsp;Yuchen Xia,&nbsp;Qiang Sun,&nbsp;Meishu Luo,&nbsp;Ziyi Zhao","doi":"10.1002/smr.70066","DOIUrl":"https://doi.org/10.1002/smr.70066","url":null,"abstract":"<div>\u0000 \u0000 <p>Autonomous vehicles play a crucial role in alleviating traffic congestion and eliminating traffic accidents. To ensure the safety and reliability of autonomous driving systems, comprehensive testing must be conducted before their deployment on public roads. Currently, testing methods primarily focus on simple scenarios involving safety violations, generating test cases based on traffic accident and traffic regulation violation scenarios. However, under complex traffic environments and driving conditions, the automatic generation of traffic regulation violation test cases to identify regulatory violations by autonomous vehicles remains insufficiently explored. In response, we propose a method for testing violations by autonomous vehicles—PathCovAVTest—which generates violation scenarios through traffic regulation scenario models to evaluate both safety violations and traffic regulation violations of the autonomous driving system. First, we design a fitness function for a genetic algorithm based on a Petri net–based traffic regulation scenario model. This function considers the safety of collisions between autonomous vehicles and other traffic participants, as well as the similarity between vehicle trajectory paths and path state sequences. The evolutionary process then produces test cases that represent traffic regulations, aimed at uncovering violations by autonomous vehicles. Simulation experiments conducted on Baidu Apollo, an industrial-grade platform, demonstrate that PathCovAVTest can effectively identify 16 types of violations committed by autonomous vehicles. Furthermore, compared with baseline methods, PathCovAVTest detects more traffic regulation violations by autonomous driving systems and improves the efficiency of generating unique violation scenarios.</p>\u0000 </div>","PeriodicalId":48898,"journal":{"name":"Journal of Software-Evolution and Process","volume":"38 1","pages":""},"PeriodicalIF":1.8,"publicationDate":"2025-12-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145842964","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
i-SYNERGY: An Integrated Predictive Model for Assessing Software Developers' Performance Under Time Pressure i-SYNERGY:在时间压力下评估软件开发人员绩效的集成预测模型
IF 1.8 4区 计算机科学 Q3 COMPUTER SCIENCE, SOFTWARE ENGINEERING Pub Date : 2025-12-17 DOI: 10.1002/smr.70071
Ruqaya Gilal, Mazni Omar, Mawarny Md Rejab, Abdul Rehman Gilal

Human factors significantly influence software engineering (SE), where assigning unsuitable personnel to tasks is a leading cause of project failures. This challenge worsens under time pressure (TP), resulting in decreased performance and delays. Past studies have primarily focused on technical aspects, often neglecting the humanistic side, such as personality types and gender differences, in coping with TP. This study investigates the impact of personality types, gender, knowledge, and task complexity on developers' performance under TP and proposes the i-SYNERGY model. The research provides actionable insights for project planning under time-constrained conditions. Empirical data were collected through controlled experiments with SE students and generalized using industrial case studies. Myers–Briggs type indicator (MBTI) measured personality types, while the NASA task load index (TLX) assessed TP levels. Logistic regression outperformed four other models (artificial neural network [ANN], support vector machine [SVM], decision tree, and K-nearest neighbor [KNN]) with the highest prediction accuracy and was used to develop the model. Gender-specific results revealed ESTJ and ENTJ as effective under TP for males and ISFJ and ISFP for females. The i-SYNERGY model demonstrates that TP significantly reduces developer performance, but personality type, gender, knowledge and task complexity shape resilience. These results highlight the importance of aligning task assignments with individual traits to optimize performance. The proposed i-SYNERGY model offers a validated, structured framework to enhance decision-making and improve project outcomes in time-constrained environments.

人为因素对软件工程(SE)影响很大,在软件工程中,分配不合适的人员是导致项目失败的主要原因。在时间压力(TP)下,这种挑战会恶化,导致性能下降和延迟。过去的研究主要集中在技术方面,往往忽视了人格类型和性别差异等应对TP的人文方面。本研究探讨人格类型、性别、知识和任务复杂性对开发人员绩效的影响,并提出i-SYNERGY模型。该研究为时间限制条件下的项目规划提供了可操作的见解。实证数据是通过对SE学生的对照实验收集的,并利用工业案例进行归纳。Myers-Briggs类型指标(MBTI)测量人格类型,而NASA任务负荷指数(TLX)评估TP水平。逻辑回归在预测精度上优于其他四种模型(人工神经网络[ANN]、支持向量机[SVM]、决策树和k近邻[KNN]),并用于开发模型。性别差异结果显示,男性在TP条件下ESTJ和ENTJ有效,女性在ISFJ和ISFP条件下ESTJ和ENTJ有效。i-SYNERGY模型表明,TP显著降低了开发人员的绩效,但人格类型、性别、知识和任务复杂性影响了弹性。这些结果强调了将任务分配与个人特质结合起来以优化绩效的重要性。拟议的i-SYNERGY模型提供了一个经过验证的结构化框架,可以在时间有限的环境中加强决策并改善项目成果。
{"title":"i-SYNERGY: An Integrated Predictive Model for Assessing Software Developers' Performance Under Time Pressure","authors":"Ruqaya Gilal,&nbsp;Mazni Omar,&nbsp;Mawarny Md Rejab,&nbsp;Abdul Rehman Gilal","doi":"10.1002/smr.70071","DOIUrl":"https://doi.org/10.1002/smr.70071","url":null,"abstract":"<div>\u0000 \u0000 <p>Human factors significantly influence software engineering (SE), where assigning unsuitable personnel to tasks is a leading cause of project failures. This challenge worsens under time pressure (TP), resulting in decreased performance and delays. Past studies have primarily focused on technical aspects, often neglecting the humanistic side, such as personality types and gender differences, in coping with TP. This study investigates the impact of personality types, gender, knowledge, and task complexity on developers' performance under TP and proposes the i-SYNERGY model. The research provides actionable insights for project planning under time-constrained conditions. Empirical data were collected through controlled experiments with SE students and generalized using industrial case studies. Myers–Briggs type indicator (MBTI) measured personality types, while the NASA task load index (TLX) assessed TP levels. Logistic regression outperformed four other models (artificial neural network [ANN], support vector machine [SVM], decision tree, and K-nearest neighbor [KNN]) with the highest prediction accuracy and was used to develop the model. Gender-specific results revealed ESTJ and ENTJ as effective under TP for males and ISFJ and ISFP for females. The i-SYNERGY model demonstrates that TP significantly reduces developer performance, but personality type, gender, knowledge and task complexity shape resilience. These results highlight the importance of aligning task assignments with individual traits to optimize performance. The proposed i-SYNERGY model offers a validated, structured framework to enhance decision-making and improve project outcomes in time-constrained environments.</p>\u0000 </div>","PeriodicalId":48898,"journal":{"name":"Journal of Software-Evolution and Process","volume":"37 12","pages":""},"PeriodicalIF":1.8,"publicationDate":"2025-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145824741","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Reality Check on Formal Methods in Industry: A Study of Verum Dezyne 工业中形式方法的现实检验:Verum Dezyne的研究
IF 1.8 4区 计算机科学 Q3 COMPUTER SCIENCE, SOFTWARE ENGINEERING Pub Date : 2025-12-10 DOI: 10.1002/smr.70069
Michele Chiari, Matteo Camilli, Marcello M. Bersani, Rutger van Beusekom, Damian A. Tamburri

Many of the classical questions reflecting the actionable use of formal methods in the software industry—“do they scale?” or “are they easily integrated?”—remain without a definitive answer, with many potentially adoptable formal notations being exploited in industry, but in a rather stove-piped and siloed fashion, and with rather few, sometimes anecdotal, success stories to tell. In this article, we strive to provide some more answers to the aforementioned questions on formal methods adoption in industry. We focus our study on a widely adopted formal methods framework in Europe, that is, Verum Dezyne, employed by embedded-computing and hardware-programming companies including Thermo-Fisher, Philips, and more. Results convey a rather interesting story—requiring further study into these matters—but also highlight practical insights for formal practitioners in the field, for example, that formal methods do not disrupt existing processes and scalability issues can be easily addressed by applying mainstream engineering practices, such as decomposition.

许多经典问题反映了软件行业中形式化方法的可操作使用——“它们可伸缩吗?”或“它们容易集成吗?”——仍然没有一个明确的答案,许多潜在的可采用的正式符号在工业中被利用,但以一种相当孤立的方式,而且很少有成功的故事可以讲述,有时是轶事。在本文中,我们将努力为前面提到的在工业中采用形式化方法的问题提供更多的答案。我们将研究重点放在欧洲广泛采用的正式方法框架上,即Verum Dezyne,该框架被嵌入式计算和硬件编程公司(包括赛默飞世尔、飞利浦等)所采用。结果传达了一个相当有趣的故事——需要对这些问题进行进一步的研究——但也强调了该领域正式从业者的实际见解,例如,正式方法不会破坏现有的过程,并且可伸缩性问题可以通过应用主流工程实践(例如分解)轻松解决。
{"title":"Reality Check on Formal Methods in Industry: A Study of Verum Dezyne","authors":"Michele Chiari,&nbsp;Matteo Camilli,&nbsp;Marcello M. Bersani,&nbsp;Rutger van Beusekom,&nbsp;Damian A. Tamburri","doi":"10.1002/smr.70069","DOIUrl":"https://doi.org/10.1002/smr.70069","url":null,"abstract":"<p>Many of the classical questions reflecting the actionable use of formal methods in the software industry—“do they scale?” or “are they easily integrated?”—remain without a definitive answer, with many potentially adoptable formal notations being exploited in industry, but in a rather stove-piped and siloed fashion, and with rather few, sometimes anecdotal, success stories to tell. In this article, we strive to provide some more answers to the aforementioned questions on formal methods adoption in industry. We focus our study on a widely adopted formal methods framework in Europe, that is, Verum Dezyne, employed by embedded-computing and hardware-programming companies including Thermo-Fisher, Philips, and more. Results convey a rather interesting story—requiring further study into these matters—but also highlight practical insights for formal practitioners in the field, for example, that formal methods do not disrupt existing processes and scalability issues can be easily addressed by applying mainstream engineering practices, such as decomposition.</p>","PeriodicalId":48898,"journal":{"name":"Journal of Software-Evolution and Process","volume":"37 12","pages":""},"PeriodicalIF":1.8,"publicationDate":"2025-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/smr.70069","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145750886","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
Journal of Software-Evolution and Process
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1