中文
相关论文

相关论文: Compliance Requirements in Large-Scale Software De…

200 篇论文

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,…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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…

密码学与安全 · 计算机科学 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'…

软件工程 · 计算机科学 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…

计算机与社会 · 计算机科学 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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

人工智能 · 计算机科学 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…

软件工程 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

软件工程 · 计算机科学 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,…

软件工程 · 计算机科学 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…

计算机与社会 · 计算机科学 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…

人工智能 · 计算机科学 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…

软件工程 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 2024-05-17 Julian Frattini