English
Related papers

Related papers: Compliance Requirements in Large-Scale Software De…

200 papers

Context: The complexity of modern safety-critical systems in industries keep on increasing due to the rising number of features and functionalities. This calls for formal methods in order to entrust confidence in such systems. Nevertheless,…

Software Engineering · Computer Science 2021-08-17 Arut Prakash Kaleeswaran , Arne Nordmann , Thomas Vogel , Lars Grunske

Robots that support humans by performing useful tasks (a.k.a., service robots) are booming worldwide. In contrast to industrial robots, the development of service robots comes with severe software engineering challenges, since they require…

Software Engineering · Computer Science 2020-09-09 Sergio García , Daniel Strüber , Davide Brugali , Thorsten Berger , Patrizio Pelliccione

The transparent and decentralized characteristics associated with blockchain can be both appealing and problematic when applied to a healthcare use-case. As health data is highly sensitive, it is also highly regulated to ensure the privacy…

Cryptography and Security · Computer Science 2020-09-29 Anton Hasselgren , Paul Kengfai Wan , Margareth Horn , Katina Kralevska , Danilo Gligoroski , Arild Faxvaag

Current legal frameworks enforce that Android developers accurately report the data their apps collect. However, large codebases can make this reporting challenging. This paper employs an empirical approach to understand developers'…

Software Engineering · Computer Science 2026-04-27 Mugdha Khedkar , Michael Schlichtig , Mohamed Soliman , Eric Bodden

The risks of frontier AI may require international cooperation, which in turn may require verification: checking that all parties follow agreed-on rules. For instance, states might need to verify that powerful AI models are widely deployed…

Computers and Society · Computer Science 2025-07-29 Mauricio Baker , Gabriel Kulp , Oliver Marks , Miles Brundage , Lennart Heim

The ultimate goal in the pharmaceutical sector is product quality. However this quality can be altered by the use of a number of heterogeneous information systems with different business structures and concepts along the lifecycle of the…

Software Engineering · Computer Science 2018-11-20 Néjib Moalla , Abdelaziz Bouras , Gilles Neubert , Yacine Ouzrout

Context. Requirements engineering remains a discipline that is faced with a large number of challenges, including the implementation of a requirements elicitation process in industry. Although several proposals have been suggested by…

Software Engineering · Computer Science 2021-02-24 Cristina Palomares , Xavier Franch , Carme Quer , Panagiota Chatzipetrou , Lidia López , Tony Gorschek

Internet of Things (IoT) applications have the potential to derive sensitive information about individuals. Therefore, developers must exercise due diligence to make sure that data are managed according to the privacy regulations and data…

Cryptography and Security · Computer Science 2022-10-10 Atheer Aljeraisy , Masoud Barati , Omer Rana , Charith Perera

The popularisation of applying AI in businesses poses significant challenges relating to ethical principles, governance, and legal compliance. Although businesses have embedded AI into their day-to-day processes, they lack a unified…

Artificial Intelligence · Computer Science 2024-12-09 Haocheng Lin

Traditionally, practitioners use formal methods pre-dominately for one half of the quality-assurance process: verification (do we build the software right?). The other half -- validation (do we build the right software?) -- has been given…

Software Engineering · Computer Science 2021-02-12 Atif Mashkoor , Michael Leuschel , Alexander Egyed

The current push towards interoperability drives companies to collaborate through process choreographies. At the same time, they face a jungle of continuously changing regulations, e.g., due to the pandemic and developments such as the…

Logic in Computer Science · Computer Science 2021-12-20 Walid Fdhila , David Knuplesch , Stefanie Rinderle-Ma , Manfred Reichert

Software product lines have recently been presented as one of the best promising improvements for the efficient software development. Different research works contribute supportive parameters and negotiations regarding the problems of…

Software Engineering · Computer Science 2017-03-13 Furrakh Shahzad , Maruf Pasha , Urooj Pasha , Bushra Majeed , Khurram Shahzad

Empirical software engineering has received much attention in recent years and coined the shift from a more design-science-driven engineering discipline to an insight-oriented, and theory-centric one. Yet, we still face many challenges,…

Software Engineering · Computer Science 2018-11-20 Daniel Méndez Fernández , Jan-Hendrik Passoth

Compliance of organizations with internal and external norms is a highly relevant topic for both practitioners and academics nowadays. However, the substantive, elementary compliance tactics that organizations can use for achieving internal…

Computers and Society · Computer Science 2020-08-11 Ralph Foorthuis

Compliance at web scale poses practical challenges: each request may require a regulatory assessment. Regulatory texts (e.g., the General Data Protection Regulation, GDPR) are cross-referential and normative, while runtime contexts are…

Artificial Intelligence · Computer Science 2025-10-31 Jiseong Chung , Ronny Ko , Wonchul Yoo , Makoto Onizuka , Sungmok Kim , Tae-Wan Kim , Won-Yong Shin

This article provides an overview of the importance of requirements gathering in secure software development. It explains the crucial role of Requirements Engineers in defining and understanding the customer's needs and desires, as well as…

Software Engineering · Computer Science 2023-05-11 Valentin Burkin

Context: Empirical Software Engineering (ESE) drives innovation in SE through qualitative and quantitative studies. However, concerns about the correct application of empirical methodologies have existed since the 2006 Dagstuhl seminar on…

The General Data Protection Regulation (GDPR) requires an organisation that suffers a data breach to notify the competent Data Protection Authority. The organisation must also inform the relevant individuals, when a data breach threatens…

Cryptography and Security · Computer Science 2024-10-10 Frederik Zuiderveen Borgesius , Hadi Asghari , Noël Bangma , Jaap-Henk Hoepman

What is the impact of software engineering research on current practices in industry? In this paper, I report on my direct experience as a PhD/post-doc working in software engineering research projects, and then spending the following five…

Software Engineering · Computer Science 2019-01-15 Andrea Arcuri

[Context and Motivation]: The quality of requirements specifications impacts subsequent, dependent software engineering activities. Requirements quality defects like ambiguous statements can result in incomplete or wrong features and even…

Software Engineering · Computer Science 2024-05-17 Julian Frattini