Supporting Developers in Porting Software via Combined Textual and Structural Analysis of Software Artifacts
这是计算科学与工程软件可持续性和生产力挑战(CSESSP挑战)研讨会的立场文件,由网络和信息技术研究与开发(NITRD)软件设计和生产力(SDP)协调小组主办,于2015年10月15日至16日在美国华盛顿特区举行。它讨论了角色推荐系统,基于源代码中的文本和结构信息,并通过挖掘相关应用程序进一步增强,可以在提高科学和工程软件的可移植性。
2015-08-17 cs.SE
Towards a Strategy for Supporting the Engineering of Contemporary Software Systems
物联网、工业4.0和智能城市等当代软件系统对它们的工程提出了挑战,因为它们质疑我们传统的软件开发形式。它们代表了通信设备和技术集成的一个有前途的范例。它正在导致从传统的整体开发观(利益相关者最终获得软件产品)转变为通过网络互连的物理对象和嵌入式智能来支持活动的实体化软件系统。因此,有必要重新审视我们开发软件系统的方式,并开始考虑这些新型应用程序所需的特殊性。本论文旨在研究这些新类型的应用程序的特殊性,以支持在这种应用程序和系统的工程决策框架的定义。为此,我们使用物联网系统作为CSS的替代品,因为它们呈现了我们旨在研究的当代性和多学科性。
2019-04-26 cs.SE
Supporting Defect Causal Analysis in Practice with Cross-Company Data on Causes of Requirements Engineering Problems
缺陷原因分析(DCA)是一种有效的软件过程改进方法。虽然因果关系的知识有助于支持DCA,但收集因果数据可能需要大量的努力和时间。[目的]提出并评价使用跨公司数据支持DCA实际应用的新DCA方法。[方法]我们收集了来自74个巴西组织的关于需求工程问题原因的跨公司数据,并建立了贝叶斯网络。我们的DCA方法使用贝叶斯网络的诊断推理来支持DCA会话。我们通过将技术转移模型应用于工业来评估我们的方法,并连续进行了三次评估:(i)在学术界,(ii)与UFBA弗劳恩霍夫项目中心的行业代表,以及(iii)在巴西国家开发银行(BNDES)的工业案例研究。[结果] 3次评价均得到积极反馈,跨公司数据有助于确定主要原因。[结论]我们的研究结果增强了我们的信心,跨公司数据支持DCA是有希望的,应该进一步研究。
2017-02-13 cs.SE
Supporting the Adoption of Privacy-Enhancing Technologies through Requirements Engineering
Blekinge Institute of Technology(布莱金厄理工学院);fortiss GmbH(fortiss有限公司);Google(谷歌);MAYA Data Privacy Limited(MAYA数据隐私有限公司);adidas AG(阿迪达斯股份公司);JAGGAER LLC(JAGGAER有限责任公司)
本文从需求工程视角分析隐私增强技术(PETs)在软件工程中采用面临的跨利益相关者和跨学科挑战,提出通过系统化处理工程、商业和法律视角来促进PETs采用。
2026-06-17 cs.SE
KARMA Approach supporting Development Process Reconstruction in Model-based Systems Engineering
本文提出基于KARMA语言的模型重构方法与框架,通过自然语言处理技术解析开发需求并提取约束,经结构重组与算法优化生成满足需求的开发过程模型,显著提升了基于模型系统工程的开发过程设计效率。
2025-06-27 cs.SE
Experience Report on the Adaptable Integration of Requirements Engineering Courses into Curricula for Professionals
Blekinge Institute of Technology(布莱金厄理工学院);fortiss GmbH(fortiss有限公司)
本研究报告了将需求工程课程整合到专业人员软件工程教育课程中的经验,并提出了系统化的课程内容映射方法。
2026-03-10 cs.SE
Supporting interoperability of collaborative networks through engineering of a service-based Mediation Information System (MISE 2.0)
Linagora(Linagora公司);Centre Universitaire Jean-François Champollion(让-弗朗索瓦·商博良大学中心)
调解信息系统工程项目目前正在完成第二次迭代(MISE 2.0)。这一科学项目的主要目标是为任何新出现的协作情况提供部署调解信息系统的方法和工具。MISE 2.0旨在定义和设计一个基于服务的平台,致力于启动和支持潜在合作伙伴之间的协作情况的互操作性。这个MISE 2.0平台实现了一个模型驱动的工程方法,设计一个面向服务的MIS,致力于支持协作的情况。这种方法分为三个层次,每个层次都有自己的关键创新点:(i)收集个人和协作知识,以提供适当的协作业务行为(关键点:知识管理,包括语义,开发和资本化),(ii)部署一个中介信息系统,能够计算先前推导出的协作过程(关键点:协作工作流的自动生成,包括与现有设备或服务的连接)(iii)对所获得的组织协作网络的敏捷性的管理(关键点:协作情况的监督和所收集数据的相关利用)。MISE涵盖业务问题(通过BPM)、技术问题(通过SOA)和协作情况的敏捷性问题(通过EDA)。
2015-09-30 cs.AI cs.SE
Design Ontology Supporting Model-based Systems-engineering Formalisms
基于模型的系统工程(MBSE)为管理系统开发的复杂性提供了重要的能力。MBSE使系统架构的形式化,以支持基于模型的需求获取,规范,设计,开发,测试,fielding等,然而,建模语言和技术是相当异构的,即使在同一个企业系统,这造成了数据互操作性的困难。数据结构和语言语法之间的差异使得MBSE模型之间的信息交换更加困难,从而在连接整个企业的数据流时导致相当大的信息偏差。出于这个原因,本文提出了一个本体的基础上,图,对象,点,属性,角色和关系的延伸(GOPPRRE),提供Meta模型,支持MBSE形式化的各个生命周期阶段。特别是,知识图模型的开发,以支持统一的模型表示,进一步实现本体数据集成的基础上,在整个生命周期的GOPPRRE。的MBSE形式主义的适用性进行了验证,使用定量和定性的方法。此外,GOPPRRE本体生成的MBSE语言的形式化在特定领域的建模工具,\textit{MetaGraph},以评估其可用性。结果表明,所提出的本体支持系统工程生命周期的形式化结构和描述逻辑。
2020-10-15 cs.SE cs.SY eess.SY
On Cloud-Based Engineering of Dependable Systems
云计算模式正被不同应用领域的许多组织所采用,因为它具有成本效益,并提供了几乎无限的资源池。工程关键系统可以从云计算中受益,以获得所有可靠性手段:容错、故障预防、故障消除和故障预测。我们的研究旨在探讨云计算支持可靠软件系统工程的潜力,并提出了一个开放的,可扩展的,弹性的基于云的软件工程工作流系统,表示和执行软件过程,以提高软件项目的协作,可靠性和质量保证,以及自动化。
2014-04-29 cs.SE
Supporting software engineering tasks with agentic AI: Demonstration on document retrieval and test scenario generation
Gratex International(格拉特克斯国际);Department of Applied Informatics Faculty of Mathematics, Physics and Informatics Comenius University(应用信息学院数学、物理和信息学院康门ius大学)
本文提出利用代理AI解决软件工程中的文档检索和测试场景生成问题,通过专用代理处理不同任务,提升软件开发效率。
2026-02-04 cs.AI cs.SE
An Introduction to Software Engineering and Fault Tolerance
这本书由描述将容错集成到软件开发过程中的新方法的章节组成。它们涵盖了广泛的主题,侧重于容错在不同阶段的软件开发,软件工程技术的验证和确认的容错手段,和语言支持容错规范和实施。因此,本书分为以下三个部分:A部分:容错工程:从需求到代码; B部分:容错系统的验证和确认; C部分:工程容错系统的语言和工具。
2010-11-06 cs.SE
Supporting AI Engineering on the IoT Edge through Model-Driven TinyML
Technical University of Munich(慕尼黑工业大学);Univ. of Antwerp(安特卫普大学);Flanders Make(法兰德斯制造研究院);Univ. of Reading(雷丁大学)
以网络为中心的人工智能(AI)和物联网(IoT)支持的网络物理系统(CPS)和服务的软件工程涉及复杂的设计和验证挑战。在本文中,我们提出了一种新的方法,基于模型驱动的软件工程范式,特别是特定领域的建模方法。我们专注于人工智能的一个子学科,即机器学习(ML),并建议将数据分析和ML委托给物联网边缘。通过这种方式,我们可以提高机器学习的服务质量,例如其可用性和性能,无论网络条件如何,以及维护隐私,安全性和可持续性。我们让从业者将机器学习任务分配给异构边缘设备,包括高度资源受限的嵌入式微控制器,其主存储器数量级为千字节,能耗数量级为毫瓦。它被称为TinyML。此外,我们展示了如何在软件开发过程中使用不同层次的抽象,即平台无关和平台特定的模型的软件模型。最后,我们验证了所提出的方法,使用案例研究解决预测维护的液压系统与各种网络传感器和执行器。
2022-04-03 cs.AI cs.LG cs.SE
Experience on Re-engineering Applying with Software Product Line
在本文中,我们提出了我们的经验的基础上,再工程项目。软件项目是对企业原有的系统进行重新设计,以满足新的需求和业务功能的变化。再工程是一个不仅涉及软件系统,而且涉及底层业务模型的过程。特别是,新的商业模式是与新技术一起设计的,以支持新系统。本文介绍了应用软件产品线方法开发支持原有业务功能和新业务功能的新系统的经验。
2012-06-19 cs.SE
Privacy by Design: Aligning GDPR and Software Engineering Specifications with a Requirements Engineering Approach
本研究针对软件系统符合GDPR的隐私设计需求,提出一种基于原始法律概念建模的需求与系统规范方法,以捕获法律知识并支持规范透明度与可追溯性。
2025-10-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
Walking Through the Method Zoo: Does Higher Education really meet Software Industry Demands?
软件工程教育工作者不断受到快速发展的概念、技术和行业需求的挑战。由于软件在数字化社会中的无处不在,高等教育机构(HEIs)必须教育学生,使他们学会学习,并配备深刻的基础知识和现代软件和系统开发的最新知识。由于行业需求不断变化,高等院校面临着及时满足当前和未来需求的挑战。本文分析了软件工程教育的实践现状。具体来说,我们希望将当代教育与工业实践进行比较,以了解高等院校教授的软件和系统开发的框架,方法和实践是否反映了工业实践。为此,我们进行了一项在线调查,收集了67个软件工程课程的信息。我们的研究结果表明,在高校教授的发展方法相当密切地反映了工业实践。我们还发现,选择什么样的过程来教有时是由希望使课程成功。特别是当项目课程发生这种情况时,更强调与其他课程建立学习顺序可能是有益的。
2021-01-21 cs.SE
Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering
University of York(约克大学);McMaster University(麦克马斯特大学)
机器人系统的广泛使用有助于开发与运行机器人系统的硬件平台高度耦合的机器人软件。由于维护成本增加或业务优先级变化,机器人硬件很少升级,从而增加了技术停滞的风险。要降低这一风险,就需要将系统及其软件迁移到新的硬件平台。传统的软件工程实践,如完全重新开发和基于代码的迁移,虽然有助于减轻这些过时的问题,他们是耗时和过于昂贵。我们的RoboSMi模型驱动方法支持控制机器人系统的软件在硬件平台之间的迁移。首先,RoboSMi对源硬件平台的机器人软件执行静态分析,以识别平台相关和平台无关的软件结构。通过分析表示目标平台上机器人组件架构的模型,RoboSMi建立这些组件的硬件配置,并为每个组件建议软件库,其执行将使机器人软件能够控制组件。最后,RoboSMi通过代码生成为目标平台生成软件,并指出需要机器人工程师手动干预才能完成迁移的区域。我们评估RoboSMi的适用性,并分析其使用所提供的自动化水平和性能,通过将部署用于环境监测的两个机器人系统和从螺旋桨活动板到Arduino Uno的线路跟踪任务。
2020-08-05 cs.RO cs.SE
Total Recall, Language Processing, and Software Engineering
软件工程问题的一个广泛的类别可以概括为“总召回问题”。这篇短文声称,在软件工程中识别和探索全召回语言处理问题是一项具有广泛适用性的重要任务。为了实现这一点,我们表明,通过应用和适应最先进的主动学习和文本挖掘,总召回问题的解决方案,可以帮助解决两个重要的软件工程任务:(a)支持大型文献综述和(b)识别软件安全漏洞。此外,我们推测(c)测试用例优先级和(d)静态警告识别也可以归类为总召回问题。“全面回忆”在软件工程中的广泛应用表明,存在一些基础框架,不仅包括自然语言处理,还包括广泛的重要软件工程任务。
2018-08-31 cs.SE
Towards Automatic Support of Software Model Evolution with Large Language~Models
Siemens AG(西门子股份公司);Saarland University(萨尔大学);HKA Karlsruhe(卡尔斯鲁厄应用技术大学)
针对软件模型演化缺乏自动化辅助的问题,提出利用大语言模型实现模型补全与编辑模式挖掘的方法,经模拟仓库对照实验验证其有效性,为软件模型演化自动化提供了新方向。
2023-12-19 cs.AI cs.SE
Modular Moose: A new generation software reverse engineering environment
高级的逆向工程工具需要处理软件系统的复杂性和许多不同任务(重新架构,迁移,进化)的特定要求。因此,逆向工程工具应适应各种情况。然而,由于它们需要大量的基础设施投资,因此能够重用这些工具是关键。Moose是一个满足这些要求的逆向工程环境。虽然Moose在20年前开始作为一个研究项目,但它也用于工业项目,使自己面临所有这些困难。在本文中,我们介绍了ModMoose,Moose的新版本。ModMoose围绕一个新的元模型,模块化和可扩展;一个新的通用工具集(查询模块,可视化引擎,.);以及支持每个任务的工具的同步和交互的开放式体系结构。使用ModMoose,工具开发人员可以通过重用现有的基本概念来开发特定的元模型,以及可以与现有工具交互的专用逆向工程工具。
2020-11-22 cs.SE
Empathy Guidelines for Improving Practitioner Well-being & Software Engineering Practices
Monash University(蒙纳士大学);Monash Centre for Health Research and Implementation, Monash Health(蒙纳士健康研究与实施中心,蒙纳士健康)
本文提出17条共情指南,旨在通过提升从业者福祉和改进软件工程实践,促进可持续的共情应用。
2026-01-16 cs.SE
Industry Expectations and Skill Demands in Quantum Software Testing
University of Calgary(卡尔加里大学);University of Bari(巴里大学)
本研究分析了量子软件测试领域的行业需求与技能要求,揭示了传统软件质量保证与实验验证的结合,强调校准、控制及混合量子-经典验证的重要性。
2026-02-21 cs.SE
Reasoning Beyond Prediction: From Data-Driven to Causal Software Engineering
University of Naples Federico II(那不勒斯费德里科二世大学)
本文提出因果软件工程新范式,通过因果推理增强工程师的决策能力,超越传统数据驱动方法,以应对日益复杂的软件系统开发挑战。
2026-06-29 cs.AI cs.SE
First things first: If software engineering is the solution, then what is the problem?
软件工程经历了本体论危机,缺乏理论。为什么?为什么?除其他原因外,因为它总是屈服于商业和政治利益所要求的实用主义,放弃了成为科学而不是专业学科的任何意图。要开始讨论软件理论的定义,首先需要知道什么是软件。
2019-04-11 cs.SE
Nudging Students Toward Better Software Engineering Behaviors
大型本科计算机科学课程的学生体验越来越受到自动化系统的影响。机器人,或软件自动化的代理,对于有效地分级和生成反馈是有用的。目前CS教育中的自动化工作集中在支持教学任务上,但并没有解决学生由于不良行为(如拖延)而产生的问题。在本文中,我们探讨使用机器人,以改善软件工程的行为,学生使用开发人员推荐选择架构,一个框架,将行为科学的概念,建议,以改善程序员的行动。我们在class-bot中实现了这个框架,这是一个新颖的系统,旨在推动学生在编程作业时做出更好的选择。这项工作提出了一个初步的评价,将这个工具在一个介绍性的编程课程。我们的研究结果表明,类机器人有利于改善学生的开发行为,提高代码质量和生产力。
2021-03-17 cs.SE
Mind the Gap: The Missing Features of the Tools to Support User Studies in Software Engineering
本文通过以功能为桥梁分析现有工具与用户研究障碍之间的差距,发现多项障碍缺乏工具支持,并提出新功能并经102名研究人员验证获得显著认可。
2025-04-11 cs.SE
Case Study Based Software Engineering Project Development: State of Art
本文指出了案例研究方法在教育和培训软件设计师和软件工程师方面的重要性和有效性。随后介绍了基于案例教学法的软件工程在专业人才培养中的应用,并对软件设计人员培养中存在的问题以及如何运用案例教学法进行阐述。本文介绍了一个名为在线塔标绘系统(OTPS)的软件项目,以开发一个完整和全面的案例研究,以及支持的教育材料。该案例研究旨在展示各种软件领域,模块和课程:从学士到硕士,博士,甚至是正在进行的专业发展。
2013-06-11 cs.SE
The Evolution of Empirical Methods in Software Engineering
像实验这样的经验方法已经成为推动软件工程领域的一种强有力的手段,它可以为软件开发、操作和维护提供科学依据,也可以支持从业者的决策和学习。今天经验方法在软件工程中得到了充分的应用。然而,自20世纪60年代以来,它们已经发展了几次迭代。在本章中,我们讲述了经验软件工程的历史,并在五个迭代中介绍了经验方法在软件工程中的演变,即,(1)20世纪60年代中期至70年代中期,(2)70年代中期至80年代中期,(3)80年代中期至90年代末,(4)2000年代,(5)2010年代。我们主要从方法论的角度介绍了经验软件工程发展的五次迭代,并考虑了关键论文、地点和书籍,这些内容在推荐的进一步阅读的单独部分中按时间顺序进行了介绍。我们通过介绍第4节中的现状和展望以及经验软件工程的现有书籍来补充经验软件工程的演变。此外,基于本书所涵盖的章节,我们讨论了软件工程中与研究方法的多样性、人为因素、数据汇集和处理、证据的聚集和综合以及软件工程研究的影响有关的当代经验方法的趋势。
2020-05-08 cs.SE
The Four Pillars of Research Software Engineering
构建能够支持现代研究所需的数据和计算的巨大增长的软件需要具有越来越专业的技能集的个人,这些技能集需要时间来开发和维护。研究软件工程运动始于英国,近年来逐渐发展起来,旨在认识和支持这些人。为什么研究软件对研究社区之外的专业软件开发从业者很重要?研究软件可以对更广泛的世界产生巨大的影响,最近的进展意味着该领域现在可以被认为是专业软件开发职业生涯的一个更现实的选择。在这篇文章中,我们提出了一个结构,以及支持证据的现实世界的活动,它定义了四个要素,我们认为是关键的研究软件工程提供全面和可持续的支持。我们还强调了更广泛的开发人员社区可以从这些活动中学习和参与的方式。
2023-01-25 cs.SE
Systematic Mapping Protocol: The impact of using software patterns during requirements engineering activities in real-world settings
本文件详细介绍了系统性测绘研究(SMS)的规划阶段。我们的目标是识别在RE阶段使用的软件模式,在现实世界的设置(即,在实际项目中),而不是在学术界(玩具项目),并了解其应用的影响,在不同的特点,有关的开发过程以及最终产品。通过对截至2017年1月发表的文献进行回顾,我们将调查研究界对工业环境中模式应用的报道,支持这些主张的数据,所采用的特定模式,RE活动,结果(积极或消极)以及用于验证这些结果的指标。
2017-01-20 cs.SE
What Pakistani Computer Science and Software Engineering Students Think about Software Testing?
本研究通过调查88名巴基斯坦计算机科学与软件工程专业学生,分析软件测试职业不受欢迎的原因,发现测试角色兼具社会污名与技术属性。
2023-06-01 cs.SE
A Survey of Reverse Engineering and Program Comprehension
逆向工程已经成为硬件社区的标准实践有一段时间了。仅仅在过去的十年里,逆向工程,或“程序理解”,已经成长为软件工程的当前子学科。传统的软件工程主要集中在新软件的开发和设计上。然而,大多数程序员都在其他人设计和开发的软件上工作。一个软件维护人员可能会花费50%的时间来确定源代码的意图。由于客户服务器和万维网技术的激增,对重新评估和重新实施遗留软件系统的需求日益增长,这突出了对逆向工程工具和技术的需要。本文介绍了逆向工程的相关术语,并给出了使逆向工程难以实施的一些障碍。虽然逆向工程仍然严重依赖于人类的组成部分,一些自动化的工具,提出了帮助逆向工程。
2005-03-24 cs.SE
SEMODS: A Validated Dataset of Open-Source Software Engineering Models
Universitat Politècnica de Catalunya(加泰罗尼亚理工大学)
SEMODS是一个包含3427个经过验证的开源软件工程模型的数据集,通过自动收集和人工标注结合大语言模型辅助,为软件开发生命周期中的任务提供标准化评估结果支持多种应用。
2026-01-02 cs.SE
Modelling Guidance in Software Engineering: A Systematic Literature Review
尽管在软件工程(SE)的潜在好处,采用软件建模在工业中是低的。诸如工具支持之类的技术问题以前已经得到了大量的研究,但个人指导和培训却很少受到关注。作为建模提供必要指导的第一步,我们进行了系统的文献综述(SLR),以探索当前的最新技术水平。我们搜索了建模指导的学术文献,并通过三轮筛选选择了25篇论文进行全文筛选。我们发现关于建模指导的研究是零散的,术语的使用不一致,缺乏经验验证或支持证据。我们概述了常用的不同维度,以提供指导软件建模。此外,我们提供了三个术语建模方法,风格和指导方针的定义,因为目前的文献缺乏一个明确的区别。这些定义可以帮助区分重要的概念,并提供精确的建模指导。
2022-06-14 cs.SE
Harnessing customized built-in elements -- Empowering Component-Based Software Engineering and Design Systems with HTML5 Web Components
本研究探讨了HTML5定制化内置元素在基于组件的软件工程与设计系统中的作用,分析了其在提升代码模块化、可重用性方面的优势及面临的兼容性等挑战,并指出其是推动Web应用创新的核心驱动力。
2023-11-28 cs.SE
gazel: Supporting Source Code Edits in Eye-Tracking Studies
眼动追踪工具被用于软件工程研究中,以研究各种软件开发活动。然而,这些工具的一个主要限制是它们无法跟踪涉及源代码编辑的活动的凝视数据。我们提出了一种新的解决方案,以支持眼动追踪实验的任务,涉及源代码编辑的iTrace社区基础设施的扩展。我们介绍了iTrace-Atom插件和gazel --一个Python数据处理管道,它将凝视信息映射到不断变化的源代码元素,并为研究人员提供了一种查询这种动态数据的方法。iTrace-Atom通过一系列模拟进行评估,在超过1,000 Hz的高眼动追踪速度下准确率超过99%。iTrace和gazel彻底改变了眼动追踪研究在现实环境中进行的方式,包括滚动、上下文切换和编辑。这为支持许多日常的软件工程任务打开了大门,例如bug修复、添加新功能和重构。
2021-06-19 cs.HC cs.SE
Towards Continuous Systematic Literature Review in Software Engineering
背景:随着软件工程(SE)研究的进展,新的科学证据不断出现。传统上,系统性文献综述(SLR)不会更新或间歇性更新,在更新之间留下间隙,在此期间SLR可能会丢失关键的新证据。目的:我们提出并评估了一个概念和过程,称为持续系统性文献综述(CSLR)在SE。方法:为了详细阐述CSLR的概念和过程,我们通过进行元人种志来综合证据,解决来自不同研究领域的知识。此外,我们进行了一个案例研究,以评估CSLR过程。结果:我们在BPMN格式中描述了由此产生的CSLR过程。案例研究结果表明,在实践中应用CSLR来不断更新SE中的SLR证据的重要性和可行性。结论:CSLR的概念和过程提供了一种可行和系统的方法,以不断将新的证据纳入SLR,支持SE中SLR的可靠和最新证据。
2022-06-08 cs.SE
Investigating the Potential of Test-Driven Development for Spreadsheet Engineering
本文针对电子表格工程缺乏结构化方法导致错误率高的问题,提出将测试驱动开发应用于电子表格创建,并通过两个案例研究验证其可行性,同时介绍了配套支持工具及后续有效性研究计划。
2008-01-31 cs.SE
One-Year Internship Program on Software Engineering: Students' Perceptions and Educators' Lessons Learned
School of Computing Technologies, RMIT University(RMIT大学计算技术学院)
研究分析了RMIT大学一年实习课程的发展,总结了学生面临的挑战及有益课程,为教育者和企业提供了优化实习体验的建议。
2026-03-23 cs.SE
Understanding the Skills Gap between Higher Education Institutions and the Software Engineering Industry
King’s College London(伦敦国王学院);University of Plymouth(普利茅斯大学)
研究通过分析300个职位描述和30所英国大学课程,发现行业对软件设计和规划的需求远高于课程中强调的编程语言和数据库管理,揭示了高等教育与行业技能需求的差距。
2026-04-29 cs.SE
Be a Partner, not a Bystander in Software Engineering Practice: Bridging the Gaps between Academia and Industry
Dalhousie University(达尔豪斯大学)
本文通过实证研究探讨软件工程界与产业界的关系,提出新的行动呼吁和改革,以提升学术研究对产业实践的影响力。
2026-02-08 cs.SE
Opportunities in Software Engineering Research for Web API Consumption
如今,调用第三方代码越来越多地涉及通过其Web API调用Web服务,而不是下载库并调用库的API的更传统的场景。然而,对于调用这些Web API的开发人员来说,也存在新的挑战。在本文中,我们强调了这些挑战的广泛集合,并主张为软件工程研究提供机会,以支持开发人员使用Web API。在此背景下,我们概述了两个具体的研究思路:(1)Web API规范策展,使我们能够知道Web API的签名,(2)静态分析,能够提取URL,HTTP方法等Web API调用。此外,我们还介绍了如何结合(1)和(2)为使用Web API的应用程序开发人员提供IDE支持的新工作。随着Web API的广泛使用,支持Web API消费的研究提供了令人兴奋的机会。
2017-05-18 cs.SE
Requirements Engineering for Machine Learning: Perspectives from Data Scientists
Technische Universität Berlin(柏林工业大学);RISE Research Institutes of Sweden AB(瑞典RISE研究院AB)
机器学习(ML)越来越多地用于现实世界的应用。在本文中,我们描述了我们正在努力定义的特点和独特的需求工程(RE)的ML为基础的系统的挑战。作为第一步,我们采访了四位数据科学家,以了解ML专家如何处理需求和期望的启发、规范和保证。结果表明,发展模式的变化,即,从编码到培训,也需要RE的变化。我们的结论是,ML系统的开发要求需求工程师:(1)了解ML性能指标,以说明良好的功能需求,(2)了解新的质量要求,如可解释性,不受歧视,或特定的法律要求,(3)在RE过程中集成ML的细节。我们的研究为ML系统的RE方法提供了第一个贡献。
2019-08-13 cs.LG cs.SE
Integrating Software Engineering Key Practices into an OOP Massive In-Classroom Course: an Experience Report
计算机科学课程中的编程和软件工程课程通常侧重于提供程序设计语言和最佳实践的理论知识,并培养实际的开发技能。在一个大规模的课程-几百名学生-教师无法充分注意到实际的一部分,因此,过程自动化和激励学生必须用来驱动学生在正确的方向。我们的目标是设计一个能够支持大规模课程的自动编程作业基础设施。基础设施应鼓励学生应用关键的软件工程(SE)实践-自动化测试,配置管理和集成开发环境(IDE)-并获得使用相应工具的基本技能。我们选择了几个被广泛采用的开发工具来支持关键的软件工程实践,并将它们映射到我们的考试作业管理过程中的基本活动。这份经验报告描述了过去一学年的结果。我们建造的基础设施已经使用了一个完整的学年,并支持了四次考试,总共有一千多名学生。学生的满意度普遍较高。
2018-04-05 cs.SE
Establishing Software Engineering Design Competence with Soft Skills
本文介绍加拿大面向软件工程高年级学生开设的工程设计课程,通过真实项目与软技能训练培养行业所需的设计能力,并总结课程实施与学习成效。
2024-12-06 cs.SE
An Example for BeSpaceD and its Use for Decision Support in Industrial Automation
我们描述了我们的形式化方法为基础的空间推理框架BeSpaceD及其在工业自动化决策支持中的应用。特别是,我们支持基于工业工厂和采矿业务的正式模型的分析和决策。BeSpaceD是一个用于确定时空模型的几何和拓扑属性的框架。我们提出了一个例子,并报告我们正在进行的经验与应用程序在不同的项目,围绕软件和网络物理系统工程。这个例子的特点是抽象了一个生产工厂模型的各个方面。使用的例子,我们激励使用我们的框架的背景下,现有的软件平台支持监控,事故处理和维护的工业自动化设施在远程位置。
2015-12-15 cs.SE
Software Engineering for Serverless Computing
无服务器计算是一种新兴的云计算范式,已应用于各种领域,包括机器学习、科学计算、视频处理等。无服务器应用程序),开发人员遵循新的基于云的软件架构,在那里他们开发事件驱动的应用程序,而不需要复杂和容易出错的服务器管理。开发无服务器应用程序的巨大需求给软件开发人员带来了独特的挑战。然而,软件工程(SE)还没有全心全意地解决这些挑战。在本文中,我们概述了SE如何促进无服务器应用程序开发的愿景,并呼吁SE研究社区采取行动来实现这一愿景。具体来说,我们讨论了研究人员和云提供商可以从SE的角度促进无服务器计算的可能方向,包括配置管理,数据安全,应用程序迁移,性能,测试和调试等。
2022-07-27 cs.SE
Supporting Modularity in Simulink Models
基于模型的开发(MBD)广泛用于嵌入式控件开发,Matlab Simulink是工业中最常用的建模环境之一。与所有软件一样,Simulink模型在其生命周期中会不断演变,必须加以维护。模块化是促进复杂软件构造的基本软件工程原则,并且在文本语言(例如C)中使用。然而,由于Simulink是一种图形化建模语言,目前还不清楚如何在Simulink开发中利用模块化,也不清楚当前的Simulink建模结构是否支持模块化。通过引入Simulink模块的概念,提出了一种在Simulink中实现模块化的有效方法。该方法的有效性是使用著名的模块化指标,包括耦合和内聚,圈复杂度,信息隐藏能力。定义了一个语法接口,以表示跨模块边界的所有数据流。还提出了四个建模准则,以鼓励最佳做法。此外,一个自定义的工具,支持Simulink模块的建模描述。最后,这项工作是证明和评估一个真实世界的例子,从核领域。
2020-07-20 cs.SE
Software Performance Engineering for Foundation Model-Powered Software
Centre for Software Excellence at Huawei(华为卓越软件中心);Western University(西方大学);Queen's University(皇后大学)
本文提出面向基础模型驱动软件的性能工程重要性,探讨了认知架构设计、通信协议、调优与部署等四个关键挑战。
2026-02-07 cs.AI cs.SE
Towards Evaluation Guidelines for Empirical Studies involving LLMs
本文针对软件工程研究中缺乏涉及大语言模型的实证评估标准这一问题,提出了首套整体性指南,旨在推动社区就高质量实证研究的标准达成共识。
2025-02-04 cs.SE
The Influence of Fraudulent AI-Generated Responses on Software Engineering Surveys
University of Calgary(卡尔加里大学);University of Hawaii at Manoa(夏威夷大学马诺阿分校);University of Bari(巴里大学);Universidade Federal Rural de Pernambuco (UFRPE)(伯南布哥联邦农村大学);Radboud University(拉德堡德大学)
研究软件工程调查中欺诈性或人工智能辅助回复对结果有效性的影响,通过对四个数据集二次分析,用人工识别、自动检测等方法,发现人工智能辅助参与因分析类型不同影响有别,强调多种验证程序结合的重要性。
2026-07-28 cs.SE
Applications and Implications of Large Language Models in Qualitative Analysis: A New Frontier for Empirical Software Engineering
本文通过系统映射研究分析了LLMs在软件工程定性分析中的应用现状,发现其主要用于编码、主题分析和数据分类,能提高效率但存在输出可变性和伦理问题,强调需制定结构化指南并保留人类专业判断。
2025-03-08 cs.SE
Model-based Hazard and Impact Analysis
在安全关键技术系统的规范和开发过程中,危险和影响分析是一项不可或缺的任务,尤其是其软件密集型控制部分。目前缺乏支持有效(可重复使用,自动化)和综合(跨学科)方式进行此类分析的方法。本报告的动机是一个工业项目,其目标是调查和提出的方法和模型的文件和系统及其环境的分析,以支持危险和影响分析作为安全工程和系统开发的一项重要任务。我们提出并研究了如何正确编码安全相关的领域知识,以更好地重用和自动化,识别和评估所有相关的危险,以及预处理这些信息,使其易于访问,以便在其他安全和系统工程活动中重用,而且,在类似的工程项目的三个角度。
2015-12-09 cs.SE
AI for Better UX in Computer-Aided Engineering: Is Academia Catching Up with Industry Demands? A Multivocal Literature Review
Siemens AG(西门子公司);Chalmers University of Technology(查尔姆斯理工大学);Eindhoven University of Technology(埃因霍温理工大学);Malmö University(马尔默大学)
本文通过多来源文献综述揭示AI提升CAE用户体验方面学术界与行业实践之间的显著差距,指出AI引导、自适应界面和工作流自动化是未来研究的关键机遇。
2025-07-22 cs.AI cs.HC cs.SE