English
Related papers

Related papers: Vision for an Artefact-based Approach to Regulator…

200 papers

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

High-quality requirements minimize the risk of propagating defects to later stages of the software development life cycle. Achieving a sufficient level of quality is a major goal of requirements engineering. This requires a clear definition…

Software Engineering · Computer Science 2023-09-20 Julian Frattini , Lloyd Montgomery , Jannik Fischbach , Daniel Mendez , Davide Fucci , Michael Unterkalmsteiner

Regulations in the Building Industry are becoming increasingly complex and involve more than one technical area. They cover products, components and project implementation. They also play an important role to ensure the quality of a…

Computation and Language · Computer Science 2013-02-21 Khalil Riad Bouzidi , Catherine Faron-Zucker , Bruno Fies , Olivier Corby , Le-Thanh Nhan

Classic problem-space theory models problem solving as a navigation through a structured space of states, operators, goals, and constraints. Systems Engineering (SE) employs analogous constructs (functional analysis, operational analysis,…

Systems and Control · Electrical Eng. & Systems 2026-01-05 Mayuranath SureshKumar , Hanumanthrao Kannan

Information and communication technology (ICT) tools are ineffective when assessing solutions of questions with more than one step. ICT tools assessing these types of questions are paralleled to solving complex problems. This conceptual…

Computers and Society · Computer Science 2016-06-09 Hussein Genemo , Shah Jahan Miah

Requirements Engineering (RE) focuses on eliciting, modelling, and analyzing the requirements and environment of a system-to-be in order to design its specification. The design of the specification, usually called the Requirements Problem…

Software Engineering · Computer Science 2015-07-23 Ivan Jureta

Context: Software development benefits from having Boundary Artefacts (BAs), as a single artefact can supply stakeholders with different boundaries, facilitating collaboration among social worlds. When those artefacts display…

Software Engineering · Computer Science 2023-06-12 Raquel Ouriques , Fabian Fagerholm , Daniel Mendez , Tony Gorschek , Baldvin Gislason Bern

Sequential decision making under uncertainty is central to many Process Systems Engineering (PSE) challenges, where traditional methods often face limitations related to controlling and optimizing complex and stochastic systems.…

Systems and Control · Electrical Eng. & Systems 2025-10-29 Maximilian Bloor , Max Mowbray , Ehecatl Antonio Del Rio Chanona , Calvin Tsay

Objective: In this study, we aim to replicate an artefact-based study on software testing to address the gap. We focus on (a) providing a step by step guide of the replication, reflecting on challenges when replicating artefact-based…

Software Engineering · Computer Science 2022-04-14 Nasir Mehmood Minhas , Mohsin Irshad , Kai Petersen , Jürgen Börstler

Software systems usually operate in a dynamic context where their requirements change continuously and new requirements emerge frequently. A single requirement hardly exists in isolation: it is related to other requirements and to the…

Software Engineering · Computer Science 2016-08-10 Arda Goknil , Ivan Kurtev , Klaas van den Berg

This paper describes a normative system design that incorporates diagnosis, dynamic evolution, decision making, and information gathering. A single influence diagram demonstrates the design's coherence, yet each activity is more effectively…

Artificial Intelligence · Computer Science 2013-03-08 Peter J. Regan

Recent advances in large pretrained models have led to their widespread integration as core components in modern software systems. The trend is expected to continue in the foreseeable future. Unlike traditional software systems governed by…

Software Engineering · Computer Science 2025-07-18 Dongming Jin , Zhi Jin , Linyu Li , Xiaohong Chen

Robotics and Autonomous Systems are increasingly deployed in safety-critical domains, so that demonstrating their safety is essential. Assurance Cases (ACs) provide structured arguments supported by evidence, but generating and maintaining…

Software Engineering · Computer Science 2026-02-04 Fang Yan , Simon Foster , Ana Cavalcanti , Ibrahim Habli , James Baxter

Government development projects vary significantly from private sector initiatives in scope, stakeholder complexity, and regulatory requirements. There is a lack of empirical studies focusing on requirements engineering (RE) activities…

Software Engineering · Computer Science 2024-04-09 Anqi Ren , Lin Liu , Yi Wang , Xiao Liu , Hailong Wang , Kaijia Xu , Xishuo Zhang , Chetan Arora

The main objective of the RET workshop was to explore the interaction of Requirements Engineering (RE) and Testing, i.e. RET, in research and industry, and the challenges that result from this interaction. While much work has been done in…

Software Engineering · Computer Science 2014-10-14 Michael Felderer , Elizabeth Bjarnason , Markus Borg , Michael Unterkalmsteiner , Mirko Morandini , Matt Staats

[Background.] Empirical research in requirements engineering (RE) is a constantly evolving topic, with a growing number of publications. Several papers address this topic using literature reviews to provide a snapshot of its "current" state…

Software Engineering · Computer Science 2023-06-30 Oliver Karras , Felix Wernlein , Jil Klünder , Sören Auer

The area of Traffic Management (TM) is characterized by uncertainty, complexity, and imprecision. The complexity of software systems in the TM domain which contributes to a more challenging Requirements Engineering (RE) job mainly stems…

Software Engineering · Computer Science 2017-07-10 Mohammad Noaeen , Zahra Shakeri Hossein Abad , Behrouz Homayoun Far

Along the design process of interactive system many intermediate artefacts (such as user interface prototypes, task models describing user work and activities, dialog models specifying system behavior, interaction models describing user…

Human-Computer Interaction · Computer Science 2022-05-04 Marco Winckler , Philippe Palanque , Jean-Luc Hak , Eric Barboni , Olivier Nicolas , Laurent Goncalves

Regulatory compliance is a well-studied area, including research on how to model, check, analyse, enact, and verify compliance of software. However, while the theoretical body of knowledge is vast, empirical evidence on challenges with…

Software Engineering · Computer Science 2021-03-03 Muhammad Usman , Michael Felderer , Michael Unterkalmsteiner , Eriks Klotins , Daniel Mendez , Emil Alegroth

The requirements elicited from stakeholders are typically informal, incomplete, ambiguous, and inconsistent. It is the task of Requirements Engineering to transform them into an eligible (formal, sufficiently complete, unambiguous,…

Software Engineering · Computer Science 2016-05-10 Feng-Lin Li , Alexander Borgida , Giancarlo Guizzardi , Jennifer Horkoff , Lin Liu , John Mylopoulos
‹ Prev 1 3 4 5 6 7 10 Next ›