Using Students as Experimental Subjects in Software Engineering Research -- A Review and Discussion of the Evidence
学生是否应该作为软件工程的实验对象?鉴于学生在许多情况下是现成的和便宜的,这是毫不奇怪的,在软件工程控制实验的绝大多数使用他们。但是,他们可以被认为是一个方便的样本,可能不代表目标人群(通常是“真正的”开发人员),特别是在经验和熟练程度方面。这使得许多研究者(和评论者)对以学生为基础的实验的外部效度持保留态度,并声称不应该使用学生。基于对将学生与专业人士进行比较的已出版作品的广泛审查,我们发现,由于两个主要原因,挑选“学生”是适得其反的。第一,按地位对实验对象进行分类,只不过是对更重要和更有意义的分类的替代,比如按能力对他们进行分类,应该努力定义和使用这些更有意义的分类。第二,在许多情况下,使用学生是完全合理的,学生的主题可以用来获得可靠的结果和进一步的研究目标。特别是,当研究涉及基本的编程和理解技能时,当比较不需要广泛学习曲线的工具或方法时,以及在大型工业研究计划的初始形成阶段-换句话说,在许多情况下,适合于有限范围的受控实验。
2015-12-28 cs.SE
How Many Interviews Are Enough in a Software Engineering Study? Preliminary Findings on Sample Size and Saturation
University of Calgary(卡尔加里大学);University of Hawaii at Manoa(夏威夷大学马诺阿分校);Universidade Federal Rural de Pernambuco (UFRPE)(伯南布哥联邦农村大学)
研究探讨软件工程研究中访谈样本量与饱和度问题,通过分析2016至2025年相关论文,发现样本量差异大,13至24名受访者最常见,饱和度及充足性理由多样,为该领域方法学报告实践提供见解与贡献。
2026-07-15 cs.SE
Robotics Meets Software Engineering: A First Look at the Robotics Discussions on Stackoverflow
University of Manitoba(曼尼托巴大学)
研究分析StackOverflow上500个机器人相关问题,发现机器人社区规模小导致问题曝光少,且问题关注度低,但发现机器人运动和执行器等主题持续占据讨论主导地位。
2026-03-22 cs.SE
Agility Measurements Mismatch: A Validation Study on Three Agile Team Assessments in Software Engineering
已经创建了许多工具来测量软件团队的敏捷性,因此在该领域中产生了饱和。选择了三种敏捷测量工具,以验证它们是否产生相似的结果。对A公司的团队(N = 30)进行了工具调查。这些问题被分组为敏捷实践,并检查其相关性,以建立收敛有效性。此外,我们还检查了在这些工具中确定为相同的问题是否会得到受访者的相同答复。我们不能建立收敛效度,因为收集的数据的相关性非常少和低。此外,被确定为在各种工具中具有相同含义的问题,答复者的答案并不相同。我们的结论是,敏捷性的测量领域仍然是不成熟的,需要做更多的工作。并不是所有的工具都适用于每个团队,但它们应该根据团队如何过渡到敏捷来选择。
2019-04-04 cs.SE
The Expert Validation Framework (EVF): Enabling Domain Expert Control in AI Engineering
Chalmers | University of Gothenburg;Mid Sweden University Östersund Sweden;Mid Sweden University
该研究提出EVF框架,通过结构化流程让领域专家主导GenAI系统开发,确保质量与控制。
2026-01-18 cs.AI cs.SE
From Prompting to Engineering: A Research Agenda for Prompt Engineering in Software Engineering
Universitat Politècnica de Catalunya(加泰罗尼亚理工大学);CNR(意大利国家研究委员会);Pegaso University(佩加索大学);University of Gothenburg and Chalmers University of Technology(哥德堡大学与查尔姆斯理工大学);Politecnico di Torino(都灵理工大学);University of Glasgow(格拉斯哥大学);Tampere University(坦佩雷大学)
本文针对软件工程中提示工程的成熟度问题,通过PROMPT-SE研讨会讨论后提出涵盖五大领域的研究议程,推动其从临时交互转向系统化软件工程实践。
2026-09-03 cs.SE
Asset Administration Shell-Based OCL Validation Framework for Model-Based System Engineering
IOS3 – Institute of Smart Systems and Services, Pforzheim University of Applied Sciences(波茨海姆应用科学大学智能系统与服务中心)
本文提出基于资产管理壳的OCL验证框架,解决MBSE中模型约束管理和验证结果分散的问题,通过虚构工业场景演示方法,并公开所有 artifacts 以支持可重复性。
2026-04-29 cs.SE cs.SY eess.SY
Understanding Fairness in Software Engineering: Insights from Stack Exchange
本文通过人工分析八个 Stack Exchange 网站中的136条帖子,探索软件从业者的公平性经历与期望,发现收入公平最受关注,而招聘公平帖子浏览与得分最高。
2024-08-02 cs.SE
Empirical Studies on Adversarial Reverse Engineering with Students
UGent(根特大学)
本文通过学生群体进行逆向工程实证研究,探讨其适用性及训练方法,提出实验设计和数据收集策略,旨在平衡实际限制与研究有效性。
2026-03-04 cs.SE
Action Research Can Swing the Balance in Experimental Software Engineering
一般来说,专业人士在大多数决策中仍然忽视科学证据,而不是专家意见。出于这个原因,在该领域采用新的软件技术仍然很常见,没有任何科学依据或有充分依据的标准,而是根据专家的意见。实验性软件工程对于理解软件技术的局限性和适用性至关重要。为了更好地观察和理解软件工程的实践,我们需要寻找替代的实验方法来支持我们的研究。不同的研究策略可以用来探索不同的软件工程实践。行动研究可以被看作是一种替代方案,以加强进行重要的实验研究,结果具有很大的价值,同时深入调查软件工程的做法。本文讨论了行动研究在软件工程中的应用。为了更好地解释行动研究的应用,一个实验研究(体内)的调查的主观决策的软件开发人员,有关重构的源代码,以提高源代码质量在分布式软件开发环境中的描述。此外,一些关于如何完成软件工程行动研究的指导补充了讨论。
2013-06-11 cs.SE
Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering
研讨会的目的是审查国家的艺术和国家的做法,其中正式的方法和分析方法目前应用于SPLE。这导致了一个研究议程的讨论,现有的正式方法的扩展和新的正式技术的发展,以处理SPLE的特殊需求。为实现上述目标,讲习班将是一次高度互动的活动,促进两族参与者之间的讨论和合作。
2015-04-12 cs.LO cs.SE
The Impact of Dynamics of Collaborative Software Engineering on Introverts: A Study Protocol
背景:自从采用敏捷方法以来,软件工程师之间通过团队中的面对面讨论进行合作得到了促进。然而,这些讨论可能会降低内向的软件工程师的贡献,可能会导致次优的解决方案,并创造有利于外向的工作环境。目的:我们的目标是评估是否为软件工程师提供单独工作的时间,并对集体问题进行推理,这是一种使内向者更舒适地进行互动和贡献的设置,最终导致更好的解决方案。方法:我们计划进行一项受试者间研究,控制组的团队在团队讨论会议中设计软件架构,治疗组的团队在参与会议之前单独工作。我们将评估和比较内向者的贡献量,他们的主观经验,以及设计的解决方案。局限性:由于外向者在两组中都存在,我们无法得出结论,更好的解决方案仅仅是由于内向者的参与增加。对他们的主观经验和捐款数额的分析可能会提供证据,说明观察到的差异的原因。
2020-04-01 cs.SE
Advancing Requirements Engineering through Generative AI: Assessing the Role of LLMs
本文探讨大语言模型在需求工程中的应用潜力,提出关键研究方向与SWOT分析,并通过初步评估验证其在需求获取、分析、规格说明和验证中的效果。
2023-11-01 cs.SE
Practical relevance of software engineering research: Synthesizing the community's voice
软件工程(SE)研究应该与工业实践相关。自20世纪80年代以来,SE社区一直在定期讨论这个问题,由Robert Glass等先驱领导。当我们最近通过了“软件工程50年“的里程碑时,最近在这个方向上做出了一些积极的努力,例如,在几次SE会议上建立“工业”轨道。然而,许多研究人员和从业人员认为,我们作为一个社区,仍然在努力与研究的相关性和实用性。本文的目的是综合迄今为止在SE社区中关于这一主题的证据和基于经验的意见,并鼓励社区进一步反思研究相关性并采取行动。为此,我们对54个系统选择的来源(论文和非同行评审文章)进行了多声音文献综述(MLR)。MLR不是依赖和考虑每个来源中提到的关于研究相关性的个人意见,而是旨在综合和提供关于该主题的“整体”观点。我们的MLR发现的重点如下。在社区中讨论的低相关性的三大根本原因是:(1)研究人员在实践中对SE有简单化的看法(或错误的假设);(2)缺乏与行业的联系;(3)错误识别研究问题。提高研究相关性的三大建议是:(1)使用适当的研究方法,如行动研究;(2)选择相关的研究问题;(3)与产业合作。通过综合迄今为止关于这一重要主题的所有讨论,本文旨在鼓励社区进一步讨论和行动,以加强我们的集体努力,提高研究的相关性。
2020-01-21 cs.SE
Towards Fully Automated Medical Imaging Code Generation via Validation-based Context Engineering
University of Auckland(奥克兰大学);Griffith University(格里菲斯大学);Suzhou Industrial Park Monash Research Institute of Science and Technology(苏州工业园区莫纳什科技研究院);Beijing Institute of Technology(北京理工大学);National University of Singapore(新加坡国立大学)
本文提出AutoMedImg多智能体框架,通过规划与编码阶段的多阶段验证及自动上下文工程,实现零人工干预的全自动医学影像代码生成,在六个数据集上分割任务Dice最高0.90、分类准确率99%。
2026-09-01 cs.CV cs.SE
Sustainability in Software Product Lines: Report on Discussion Panel at SPLC 2014
可持续性(定义为“保持能力”)包括一系列广泛的目标:从节能软件产品(环境可持续性),降低软件开发和维护成本(经济可持续性),到员工和最终用户的福祉(社会可持续性)。在本报告中,我们探讨了可持续性在软件产品线工程(SPL)中的作用。该报告基于2014年SPLC举行的“软件产品线的可持续发展”小组讨论。
2015-05-14 cs.SE
Towards Using Personas in Requirements Engineering: What Has Been Changed Recently?
本文通过系统映射研究分析了2023年4月至2025年4月需求工程中用户画像研究的最新趋势,发现AI驱动的构建与验证、模板化表示及验证研究比例上升。
2025-07-21 cs.HC cs.SE
First things first: If software engineering is the solution, then what is the problem?
软件工程经历了本体论危机,缺乏理论。为什么?为什么?除其他原因外,因为它总是屈服于商业和政治利益所要求的实用主义,放弃了成为科学而不是专业学科的任何意图。要开始讨论软件理论的定义,首先需要知道什么是软件。
2019-04-11 cs.SE
Towards Quantum Software Requirements Engineering
本文探讨量子软件需求工程与经典软件需求工程的差异,通过映射经典需求分类提出初步思考,并指出值得量子软件工程界关注的研究方向。
2023-09-23 cs.SE
The EmpathiSEr: Development and Validation of Software Engineering Oriented Empathy Scales
Faculty of IT, Monash University(莫纳什大学信息技术学院);Monash Centre for Health Research & Implementation, Monash Health(莫纳什健康莫纳什健康研究与实施中心)
本文针对软件工程领域缺乏专用共情测量工具的问题,开发了并验证了两个特定领域的共情量表EmpathiSEr-P和EmpathiSEr-U,涵盖认知、情感和共情响应三个维度,为评估和增强软件团队及用户交互中的共情提供了首个心理测量学验证工具。
2026-10-05 cs.SE
Towards a Theory of Requirements Elicitation: Acceptability Condition for the Relative Validity of Requirements
需求工程工件相对于系统的涉众来说是有效的,如果他们同意工件的内容。检查相对有效性涉及涉众和需求工程师之间的讨论。本文提出了(i)一种语言,用于表示在关于工件相对有效性的讨论中交换的信息;(ii)可接受性条件,当它在用所提出的语言捕获的讨论中得到验证时,表明所讨论的工件和讨论中的参与者的相对有效性成立;以及(iii)推理过程,以自动检查由所提议的语言捕获的讨论中的可接受性条件。
2009-02-05 cs.SE
A Theory-driven Interpretation and Elaboration of Verification and Validation
本研究以V&V是知识构建活动为公理,用动态认知模态逻辑构建系统工程中验证与确认的形式化理论,厘清其概念基础,解决传统实践模糊性,提升工程方法论的精确性与一致性。
2025-04-11 cs.SE cs.SY eess.SY
Human-Centred Requirements Engineering for Critical Systems: Insights from Disaster Early Warning Applications
School of Information Technology, Deakin University(迪肯大学信息技术学院);Faculty of Information Technology, Monash University(蒙纳士大学信息技术学院)
提出以人为中心的需求工程过程,通过结构化文献综述和实证验证,为灾害预警系统生成包容性设计需求目录,并评估其有效性。
2026-06-16 cs.SE
Developing Shared Vocabulary System For Collaborative Software Engineering
本研究通过设计科学研究框架识别软件工程协作中的沟通障碍,提出基于扎根理论的共享词汇系统开发方法,并实证验证其能显著提升信息密度、文档清晰度与协作效率。
2025-07-18 cs.SE
Fifty Years of Software Engineering - or - The View from Garmisch
在1968-69年北约软件工程会议的几个早期周年纪念日上,我同意提供一些回忆的请求。我在这里重复这些回忆中的一些摘录,作为对随后发展的简要评论的背景,特别是开发现成的软件包和大型一次性定制软件系统之间的区别。软件包行业在1968-69年还没有出现,但已经证明是非常成功的。但是后一种定制类别中的一些大型软件项目仍然存在问题,这些问题让人想起1968年引起“软件危机”讨论的那些问题。
2018-05-07 cs.SE
Context-Driven Elicitation of Default Requirements: an Empirical Validation
在需求工程中,需求获取的目标是从系统的利益相关者那里获取信息。启发过程中的一个重要任务是识别并明确利益相关者对系统及其环境的隐含假设。这样做的目的是识别需求中的遗漏和需求之间的冲突。本文提供了一个概念框架,用于识别和记录利益相关者可能使用的默认需求。该框架与实践相关,因为它形成了在启发式过程中使用的问题类型的检查表。实证验证描述,并得出启发的指导方针。
2013-12-04 cs.SE
Validation of the development methodologies
本文认为,建模的开发方法可以提高多代理系统软件工程。这种建模允许将软件开发中使用的方法、技术和实践应用于方法本身。然后,本文讨论了开发方法的建模的优点。它描述了一个模型的开发方法,使用这样一个模型来开发一个系统的部分验证,并应用这样一个系统的多代理方法。这种模式可带来若干好处,例如改进多主体开发方法的开发、评价和比较工作。
2014-08-23 cs.SE
Requirements engineering in global scaled agile software development environment: a multi-vocal literature review protocol
背景:需求工程在全球规模的敏捷软件开发和规划阶段的多声文献综述。目的:制定一个协议,以指定将遵循的计划,以进行全球规模敏捷软件开发中需求工程的多声音文献综述研究。方法:遵循Kitchenham and Charters(2007)和Garousi et al.(2019)指南,制定多声文献综述方案。结果:一个经过验证的方案,进行多声音文献综述。结论:综述方案包括以下五个阶段:研究问题、搜索策略、验证综述过程、报告综述和对方案进行变更。
2020-04-27 cs.SE
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems
在本文中,我们概述了一个软件开发过程的安全关键系统,旨在结合一些特定的优势,基于模型的开发与程序设计语言的开发使用的安全关键的Ada子集。基于模型的软件开发和基于模型的测试用例生成技术与代码生成技术和工具相结合,为系统本身及其测试用例提供从模型到代码的转换。这允许开发人员将面向领域的基于模型的技术与基于源代码的验证技术相结合,以符合安全关键软件开发标准,如航空电子标准RTCA/DO-178 B。我们介绍了AutoFocus和Validator建模和验证工具集,并概述了其用于建模,测试用例生成和代码生成的组合方法,这是进一步说明了一个简化的前沿航空航天模型内置的容错。
2002-01-26 cs.SE
Automated Identification of Security Discussions in Microservices Systems: Industrial Surveys and Experiments
缺乏对微服务特定安全挑战和解决方案的认识和了解,通常会导致微服务系统开发中的安全决策不明智。我们声称,识别和利用分散在现有微服务系统中的安全讨论可以部分弥补这一差距。我们将安全讨论定义为“开发人员讨论中的一段,其中包括与安全相关的设计决策、挑战或解决方案”。我们首先调查了67名从业者,发现保护微服务系统是一项独特的挑战,并且能够参与安全讨论对于做出安全决策非常有用。该调查还证实了可以自动识别此类安全讨论的潜在工具的实用性。我们开发了15个机器/深度学习模型来自动识别安全讨论。我们将这些模型应用于手动构建的数据集,该数据集包括4,813个安全讨论和12,464个非安全讨论。我们发现,所有的模型都可以有效地识别安全讨论:平均准确率为84.86%,召回率为72.80%,F1得分为77.89%,AUC为83.75%,G均值为82.77%。DeepM 1是一种深度学习模型,表现最好,在所有指标中均达到84%以上,并显著优于三个基线。最后,从验证调查中收集的从业者反馈显示,DeepM 1确定的安全讨论在实践中具有很好的应用前景。
2021-07-21 cs.SE
Mining for sustainability in cloud architecture among the discussions of software practitioners: building a dataset
本文通过挖掘 StackExchange 上 192 条从业者讨论构建云架构可持续性标注数据集,发现从业者侧重设计阶段和技术与经济可持续性,与学术界强调环境可持续性形成对比。
2024-06-10 cs.SE
Communication Skills in Software Engineering: A Multivocal Review
Universidade Federal do Pará(帕拉联邦大学);Universidade Federal de Pernambuco(伯南布哥联邦大学)
通过多声部文献综述,发现学术界与灰色文献在将沟通视为核心能力上高度一致,但在概念化、实证证据与行业实践侧重点上存在差异。
2026-06-09 cs.SE
The Current Challenges of Software Engineering in the Era of Large Language Models
本文重新审视了大语言模型下的软件开发生命周期,通过学术界与工业界专家的深入讨论,从需求设计、编码辅助、测试生成等七个方面总结了26个关键挑战,以促进LLM4SE领域的未来研究。
2024-12-27 cs.SE
Integrating Mental Health, Well-Being, and Sustainability into Software Engineering Education
Technical University of Darmstadt(达姆施塔特工业大学);Chalmers University of Technology(查尔姆斯理工大学)
本文探讨通过设计关注幸福感的软件项目和课堂干预,将心理健康、可持续性和幸福感融入软件工程教育,提升学生的人文视角与社会责任感。
2026-03-25 cs.CY cs.SE
Second Product Line Practice Workshop Report
第二届软件工程学会产品线实务工作坊于一九九七年十一月举行,目的是分享业界在软件产品线方面的实务,以及探讨所涉及的技术和非技术问题。本报告综合了研讨会的介绍和讨论,确定了产品线实践中涉及的因素,并分析了软件工程、技术管理和企业管理领域的问题。
1998-11-02 cs.SE
Automated Validation of LLM-based Evaluators for Software Engineering Artifacts
IBM Research(IBM研究院)
针对LLM评估器可靠性挑战,提出REFINE框架,通过合成降级工件和排名对齐测试自动验证评估器,在COBOL任务中将一致性得分从0.7提升至0.9以上。
2025-08-04 cs.AI cs.SE
Artefacts in Software Engineering: A Fundamental Positioning
人工制品在软件和系统开发过程中起着至关重要的作用。其他术语,如文档、可交付成果或工作产品,在软件开发社区中广泛使用,而不是术语artefact。在下文中,我们使用术语“人工制品”,包括所有这些其他术语。尽管“人工制品”一词具有相关性,但由于对该词有各种不同的理解,而且由于使用上的疏忽大意,该词的确切含义仍然不清楚。这往往导致方法建立在对所涉及的基本概念的模糊、不清楚的理解之上。事实上,并不存在一个共同的术语。因此,我们的目标是将人工制品一词标准化,以便研究人员和从业人员对讨论和贡献有一个共同的理解。在这份立场文件中,我们提供了一个定位和批判性的反思后,人工制品的概念,在软件工程在不同层次的感知,以及这些如何相互关联。我们进一步贡献了一个Meta模型,它提供了一个独立于任何底层过程模型的人工制品的描述。这个Meta模型在三个层次上定义了人工制品。这些级别之间的抽象和细化关系允许将工件彼此关联并定义相关、细化和等效工件的概念。我们的贡献将促进关于什么是人工制品的长期拖延和经常被低估的术语讨论,为未来的软件工程贡献提供一个共同的基础,具有更清晰的概念和原则,例如面向人工制品的开发过程和工具的设计。
2018-11-26 cs.SE
Building a Sustainable Structure for Research Software Engineering Activities
研究软件工程的概况已经大大提高了在世界各地的机构的发展,形成团体和社区,可以支持有效的,可持续发展的研究软件。然而,我们观察到,还有很长的路要走,以建立一个清晰的理解,什么方法提供最好的支持,研究软件开发人员在不同的情况下,以及如何这样的理解可以用来建议更正式的结构,模型或框架,可以帮助进一步支持研究软件工程的增长。本文提出了一些初步的想法,并提出了一个初步的高层次模型的基础上,作者之间的讨论围绕的概念,一组支柱代表的关键活动和过程,形成了一个成功的研究软件工程提供的核心结构。
2019-08-05 cs.SE
Investigating the use of Snowballing on Gray Literature Reviews
本研究调查在灰色文献综述中对问答网站应用滚雪球法,提出基于链接和相似性的两种方法,显著增加了有效讨论的识别数量,提高了综述数据集规模。
2024-07-20 cs.SE
Continuous Software Engineering in the Wild
软件正在成为大多数产品和组织功能的关键组件。持续改进软件的能力决定了组织对市场机会的反应能力。持续的软件工程承诺比基于sprint或计划驱动的开发有许多优点。然而,在现有组织中实现连续的软件工程管道是具有挑战性的。在这份受邀的立场文件中,我们讨论了采用挑战,并主张采用更系统的方法来推动持续工程的采用。我们的讨论是基于正在进行的工作,与几个工业合作伙伴,以及在国家的实践和国家的最先进的经验报告。我们的结论是,采用持续的软件工程主要需要分析的组织,它的目标和限制。一个尺寸不适合所有目的,这意味着持续工程背后的许多原则与大多数组织相关,但实现的水平和好处可能仍然不同。软件持续流动的主要障碍来自次优的组织结构和缺乏一致性。一旦这些被删除,组织可以实现自动化,以进一步改善软件交付。
2022-03-24 cs.SE
How to specify Non-functional Requirements to support seamless modeling? A Study Design and Preliminary Results
上下文:无缝的基于模型的开发提供了集成的模型链,覆盖了所有的软件工程阶段。非功能需求(NFR),如可重用性,在软件和系统工程中发挥着重要作用,但在研究和实践中往往被忽视。目前还不清楚如何将NFR集成到基于模型的无缝开发中。目标:我们的长期目标是开发一种关于NFR规范的理论,以便它们可以集成到基于模型的无缝开发中。方法:我们的整体研究设计包括一个多阶段的程序,以推断经验成立的理论,指定NFR,以支持无缝建模。在这篇简短的论文中,我们提出了研究设计,并提供了(i)从样本中获得的初步结果,以及(ii)与设计相关的当前问题的讨论。结果:我们的研究已经显示了显着的改进领域,例如,分类过程中的低一致性。然而,结果表明有趣的点;例如,许多常用的NFR类关注系统建模概念的方式,显示功能和NFR之间的边界是多么模糊。结论:到目前为止,我们的结论是,我们的整体研究设计似乎适合获得设想的理论,从长远来看,但我们也可以显示当前的问题,值得讨论的经验软件工程社区。本文的主要目的不仅是介绍和讨论目前的成果,而且是促进对与无缝建模中的NFR整合相关的问题的讨论,特别是对开放方法问题的讨论。
2017-02-24 cs.SE
More than Code: Contributions in Scrum Software Engineering Teams
积极和有能力的团队成员是敏捷软件开发的重要组成部分,并决定任何项目的成功。动力来自于持续的进步和对努力的认可。这些概念是专注于自组织团队的Sunday方法的基础支柱。Scrum开发团队成员对项目进展的贡献类型不仅仅是技术上的。然而,一个全面的模型,包括在现代软件工程团队的各种贡献尚未建立。我们提出了一个模型,该模型包含了所有Scrum角色的贡献,明确包括那些与项目工件不直接相关的角色。它提高了执行任务的可见性,作为团队回顾的起点,并作为研究社区讨论的基础。
2020-07-16 cs.SE
Addressing Visual Impairments with Model-Driven Engineering: A Systematic Literature Review
本文通过系统文献综述,发现模型驱动工程在解决视觉障碍可访问性方面支持不足,并提出研究议程以增强其支持。
2025-10-07 cs.SE
Code Generator Composition for Model-Driven Engineering of Robotics Component & Connector Systems
用于机器人应用的工程软件需要多领域和特定于应用的解决方案。模型驱动工程和建模语言集成为开发专门的、可重用的机器人软件架构模型提供了方法。代码生成器将这些独立于平台的模型转换为特定于机器人平台的可执行代码。多领域应用的生成式软件工程不仅需要集成建模语言,还需要集成验证机制和代码生成器。在本文中,我们勾勒出一个概念模型的代码生成器组成,并显示了一个实例,这个模型中的MontiArc自动机框架。MontiArcAutomaton允许使用不同的组件行为建模语言将软件架构建模为组件和连接器模型。代码生成器集成的有效手段是基于模型的机器人软件工程中applicationspecific语言的事后集成的必要条件。
2015-05-05 cs.SE
SLRMentor: An LLM-Based Tool Supporting Learning of SLR in Software Engineering
University of Calgary(卡尔加里大学);University of Hawai‘i at Mānoa(夏威夷大学马诺阿分校);Universidade Federal Rural de Pernambuco (UFRPE)(伯南布哥联邦农村大学)
提出SLRMentor对话助手,利用LLM支持软件工程中系统文献综述的学习与规划,通过引导搜索字符串构建和纳入排除标准推理,降低新手入门门槛。
2026-06-05 cs.SE
Requirements Engineering of a Web Portal using Organizational Semiotics Artifacts and Participatory Practices
软件需求是影响最终系统质量和用户满意度的关键要素。在这项工作中,需求工程(RE)的网站使用组织符号学的角度。它们被显示为一个组织的一部分,有特定的做法、规则和观点,考虑到利益攸关方的一些分歧和意见。本文的主要贡献是相关的经验,从启发到验证,显示如何利用组织符号学文物的合作和参与的方式RE的门户网站。一个案例研究描述,以证明使用这样的工件RE的可行性,当我们认为系统作为一个社会组织的一部分。
2013-05-14 cs.SE
Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing
Southwest Jiaotong University(西南交通大学);University of Luxembourg(卢森堡大学);Kyushu University(九州大学);Zhejiang University(浙江大学)
该研究通过实证分析量子程序测试中的输出验证方法,对比基于测量与基于状态向量的验证,发现前者适用于简单检查,后者更利于复杂行为评估。
2025-10-19 cs.SE
AI Safety Subproblems for Software Engineering Researchers
本文从软件工程视角探讨长期AI安全,通过量化文献综述指出SE场所缺乏AI安全讨论,并分类提出传统SE领域的子问题以改善AI与SE未来。
2023-08-31 cs.SE
Agentic Porting, Construction and Initial Verification and Validation of Libraries within the Open Source Unified TRAnsient Multi-Phase Advanced Reactor simulation Kit (Outram Park) Part I: A Software Engineering Log for Thermal Hydraulics
本研究将OpenFOAM库智能体迁移至Rust语言的Outram-Foam库,开发了两相HEM壅塞流求解器,验证显示其吻合度良好,智能体编码可提升开源库开发效率,人类专业知识仍为关键。
2026-09-18 cs.SE physics.comp-ph
The Competence Crisis: A Design Fiction on AI-Assisted Research in Software Engineering
Radboud University(拉德堡德大学);University of Groningen(格罗宁根大学);ASTRON(荷兰天文台)
本文通过设计虚构探讨人工智能辅助研究对软件工程领域知识能力、责任归属和学习支持的影响,提出未来研究社区需重新定义专业能力与责任分配。
2026-01-27 cs.SE
Developing Responsible Chatbots for Financial Services: A Pattern-Oriented Responsible AI Engineering Approach
CSIRO(联邦科学与工业研究组织);Westpac(西太平洋银行);Atlassian(Atlassian公司)
最近发布的ChatGPT在全球范围内获得了巨大的关注和讨论,负责任的AI是讨论的一个关键话题。我们如何确保包括ChatGPT在内的人工智能系统以负责任的方式开发和采用?为了应对负责任的人工智能挑战,政府、组织和公司发布了各种道德原则。然而,这些原则非常抽象,不够实用。此外,人们已经在算法级解决方案上投入了大量精力,这些解决方案只涉及一组狭窄的原则,例如公平和隐私。为了填补这一空白,我们采用了以模式为导向的负责任人工智能工程方法,并建立了负责任人工智能模式目录,从系统的角度将负责任人工智能付诸实施。在本文中,我们首先总结了大规模实施负责任人工智能的主要挑战,并介绍了我们如何使用负责任人工智能模式目录来应对这些挑战。然后,我们检查了聊天机器人开发过程中每个阶段的风险,并推荐了模式驱动的缓解措施,以评估负责任的AI模式目录在现实世界中的有用性。
2023-02-27 cs.AI cs.SE
Development of recommendation systems for software engineering: the CROSSMINER experience
为了执行日常任务,开发人员通过咨询开源软件(OSS)存储库来集中利用现有资源。这样的平台包含丰富的数据源,例如,代码片段、文档和用户讨论,这些对支持开发活动很有用。在过去的几十年里,已经推广了一些技术和工具,为开发人员提供创新功能,旨在提高开发工作量,节省成本和生产力。在欧盟H2020 CROSSMINER项目的背景下,一套建议系统已经被构思出来,以帮助软件程序员在开发过程的不同阶段。这些系统为开发人员提供了各种工件,例如第三方库、有关如何使用所采用的API的文档或相关API函数调用。为拟订这些建议,作出了各种技术选择,以克服与若干方面有关的问题,包括缺乏基线、数据有限、关于业绩计量的决定以及评价方法。本文是一份经验报告,介绍了通过CROSSMINER项目开发的一套推荐系统的相关知识。我们详细解释了我们必须应对的挑战,以及在开发和评估这些系统时学到的相关经验教训。我们的目标是为研究社区提供具体的外卖信息,这些信息预计对那些想要开发或定制自己的推荐系统的人有用。报告的经验,可以促进有趣的讨论和研究工作,这最终有助于推荐系统的进步,应用于解决不同的问题,在软件工程。
2021-03-11 cs.SE
Orchestration of Global Software Engineering Projects
全球软件工程已经成为许多公司的事实,由于在实践中的实际需要。与同地项目相比,全球项目面临着许多额外的软件工程挑战。其中,质量管理变得更加困难,经常可以看到进度和预算超支。与同地项目相比,全球软件工程更具挑战性,因为需要整合不同的文化、不同的语言和不同的时区-跨公司和跨国家。在几个层面上开发地点的多样性严重危及项目的有效和目标导向的进展。在这份立场文件中,我们讨论了全球发展的原因,分布的草图设置和在全球项目中错位公司的编排视图,可以被视为“虚拟项目环境”。我们还提出了一系列问题,我们认为这些问题与全球软件工程有关。这些问题激发了进一步的讨论,以获得全球软件工程的研究议程。
2014-09-22 cs.SE
Thinging for Software Engineers
本文的目的是促进术语thing和thinging(指的是在现实的某个部分周围定义一个边界并给它贴上名称的行为)作为有价值的概念,在软件工程建模中发挥重要作用。此外,我们试图为术语事物、对象、过程和事物提供操作定义。实质性的讨论是基于一个(抽象的)机器的概念,命名为思维机(TM),在几个研究工作中使用。TM创造、处理、接收、释放和转移事物。因此,TM的图形表示用于模拟现实。在讨论部分,本文阐明了软件工程中与概念建模相关的有趣问题。本文的内容和结论表明,思考应该更有意义地强调作为一个有价值的研究和教学课题,至少在软件开发周期的需求分析阶段。
2018-07-27 cs.SE