English
Related papers

Related papers: Digital requirements engineering with an INCOSE-de…

200 papers

As machine learning (ML) components become increasingly integrated into software systems, the emphasis on the ethical or responsible aspects of their use has grown significantly. This includes building ML-based systems that adhere to…

Software Engineering · Computer Science 2023-10-11 Hira Naveed

Data-driven engineering refers to systematic data collection and processing using machine learning to improve engineering systems. Currently, the implementation of data-driven engineering relies on fundamental data science and software…

Software Engineering · Computer Science 2024-04-10 Simon Raedler , Matthias Rupp , Eugen Rigger , Stefanie Rinderle-Ma

Digital engineering practices offer significant yet underutilized potential for improving information assurance and system lifecycle management. This paper examines how capabilities like model-based engineering, digital threads, and…

Cryptography and Security · Computer Science 2024-12-17 John Bonar , John Hastings

Ethnomethodological fieldwork has long been acknowledged as a potentially valuable way of informing the design of technology. However, there is relatively little methodological support for this activity, particularly in relation to the…

Software Engineering · Computer Science 2024-11-15 Chris Hinds

Manually creating Planning Domain Definition Language (PDDL) descriptions is difficult, error-prone, and requires extensive expert knowledge. However, this knowledge is already embedded in engineering models and can be reused. Therefore,…

Artificial Intelligence · Computer Science 2024-10-18 Hamied Nabizada , Tom Jeleniewski , Felix Gehlhoff , Alexander Fay

The rise of machine learning (ML) and its integration into software systems has drastically changed development practices. While software engineering traditionally focused on manually created code artifacts with dedicated processes and…

Software Engineering · Computer Science 2025-02-25 Yorick Sens , Henriette Knopp , Sven Peldszus , Thorsten Berger

The development and deployment of machine learning (ML) systems can be executed easily with modern tools, but the process is typically rushed and means-to-an-end. The lack of diligence can lead to technical debt, scope creep and misaligned…

Search-Based Software Engineering (SBSE) is a promising paradigm that exploits the computational search to optimize different processes when engineering complex software systems. Self-adaptive system (SAS) is one category of such complex…

Software Engineering · Computer Science 2020-08-18 Tao Chen , Miqing Li , Ke Li , Kalyanmoy Deb

Developing modern systems software is a complex task that combines business logic programming and Software Performance Engineering (SPE). The later is an experimental and labor-intensive activity focused on optimizing the system for a given…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-06-05 Carlo Curino , Neha Godwal , Brian Kroth , Sergiy Kuryata , Greg Lapinski , Siqi Liu , Slava Oks , Olga Poppe , Adam Smiechowski , Ed Thayer , Markus Weimer , Yiwen Zhu

Context: The software development industry is rapidly adopting machine learning for transitioning modern day software systems towards highly intelligent and self-learning systems. However, the full potential of machine learning for…

Software Engineering · Computer Science 2021-10-18 Saad Shafiq , Atif Mashkoor , Christoph Mayr-Dorn , Alexander Egyed

Complexity in engineered systems presents one of the most persistent challenges in modern development since it is driving cost overruns, schedule delays, and outright project failures. Yet while architectural complexity has been studied,…

Requirements expressed in natural language are an indispensable artifact in the software development process, as all stakeholders can understand them. However, their ambiguity poses a persistent challenge. To address this issue,…

Software Engineering · Computer Science 2025-04-16 Mauro José Pacchiotti , Mariel Ale y Luciana Ballejos

This paper gives an overview of previous work in which the authors used NASA's Formal Requirement Elicitation Tool (FRET) to formalise requirements. We discuss four case studies where we used FRET to capture the system's requirements. These…

Software Engineering · Computer Science 2025-04-01 Marie Farrell , Matt Luckcuck , Rosemary Monahan , Conor Reynolds , Oisín Sheridan

Evaluating the security of cyber-physical systems throughout their life cycle is necessary to assure that they can be deployed and operated in safety-critical applications, such as infrastructure, military, and transportation. Most safety…

Cryptography and Security · Computer Science 2020-10-19 Georgios Bakirtzis , Bryan T. Carter , Carl R. Elks , Cody H. Fleming

Increasing complexity of modern enterprise systems and the demand for automation and interoperability require consistent and semantically validated models in Model-Based Systems Engineering (MBSE). The Object Constraint Language (OCL)…

Software Engineering · Computer Science 2026-04-30 Om Parkash , Jannik Bauer , Vincent Schmitt , Thomas Greiner , Rainer Drath

The rise of Large Language Models (LLMs) has accelerated the long-standing goal of enabling natural language querying over complex, hybrid databases. Yet, this ambition exposes a dual challenge: reasoning jointly over structured,…

Databases · Computer Science 2025-10-22 Aymane Hassini

In this paper, we report on our 5-year's practical experience of designing, developing and then deploying a Model-based Requirements Engineering (MBRE) approach and language in the context of three different large European collaborative…

Software Engineering · Computer Science 2021-05-10 Andrey Sadovykh , Dragos Truscan , Hugo Bruneliere

Requirements engineering is crucial to software development but lacks a precise definition of its fundamental concepts. Even the basic definitions in the literature and in industry standards are often vague and verbose. To remedy this…

Software Engineering · Computer Science 2019-07-12 Bertrand Meyer , Jean-Michel Bruel , Sophie Ebersold , Florian Galinier , Alexandr Naumchev

[Background] Research on requirements engineering (RE) for mobile apps employs datasets formed by app users, developers or vendors. However, little is known about the sources of these datasets in terms of platforms and the RE activities…

Software Engineering · Computer Science 2025-09-05 Chong Wang , Haoning Wu , Peng Liang , Maya Daneva , Marten van Sinderen

Uncertainty is inherent in modern engineered systems, including cyber-physical systems, autonomous systems, and large-scale software-intensive infrastructures (such as microservice-based systems) operating in dynamic and partially…

Software Engineering · Computer Science 2026-02-26 Man Zhang , Yunyang Li , Tao Yue