中文
相关论文

相关论文: Unravelling Organisational Rule Systems in Require…

200 篇论文

Today's distributed and pervasive computing addresses large-scale cyber-physical ecosystems, characterised by dense and large networks of devices capable of computation, communication and interaction with the environment and people. While…

Most existing automated requirements formalisation techniques require system engineers to (re)write their requirements using a set of predefined requirement templates with a fixed structure and known semantics to simplify the formalisation…

软件工程 · 计算机科学 2020-10-01 Aya Zaki-Ismail , Mohamed Osama , Mohamed Abdelrazek , John Grundy , Amani Ibrahim

The ethical consequences of, constraints upon and regulation of algorithms arguably represent the defining challenges of our age, asking us to reckon with the rise of computational technologies whose potential to radically transforming…

计算机与社会 · 计算机科学 2021-02-09 Elija Perrier

Modern systems are built using development frameworks. These frameworks have a major impact on how the resulting system executes, how configurations are managed, how it is tested, and how and where it is deployed. Machine learning (ML)…

机器学习 · 计算机科学 2020-05-14 Yang Ren , Gregory Gay , Christian Kästner , Pooyan Jamshidi

Although there is a somewhat standard formalization of computability on countable sets given by Turing machines, the same cannot be said about uncountable sets. Among the approaches to define computability in these sets, order-theoretic…

计算机科学中的逻辑 · 计算机科学 2022-09-07 Pedro Hack , Daniel A. Braun , Sebastian Gottwald

Effective requirements management plays an important role when it comes to the support of product development teams in the automotive industry. A precise positioning of new cars in the market is based on features and characteristics…

软件工程 · 计算机科学 2014-09-10 Tim Gülke , Bernhard Rumpe , Martin Jansen , Joachim Axmann

Requirements engineers should strive to get a better insight into decision making processes. During elicitation of requirements, decision making influences how stakeholders communicate with engineers, thereby affecting the engineers'…

软件工程 · 计算机科学 2012-10-30 Corentin Burnay , Ivan Jureta , Stéphane Faulkner

Over the last decade, the long-running endeavour to automate high-level processes in machine learning (ML) has risen to mainstream prominence, stimulated by advances in optimisation techniques and their impact on selecting ML…

机器学习 · 计算机科学 2022-03-30 David Jacob Kedziora , Katarzyna Musial , Bogdan Gabrys

Various stakeholders with different backgrounds are involved in Smart City projects. These stakeholders define the project goals, e.g., based on participative approaches, market research or innovation management processes. To realize these…

软件工程 · 计算机科学 2022-01-19 Carsten Wiecher , Philipp Tendyra , Carsten Wolff

The most critical and fragile stage of a software development project is requirements gathering. Because of this, Requirements Engineering has been evolving its techniques to minimize the challenges faced by Requirements Analysts. However,…

软件工程 · 计算机科学 2025-08-19 Glauber da Rocha Balthazar , Marcia Ito

IT Service Management deals with managing a broad range of items related to complex system environments. As there is both, a close connection to business interests and IT infrastructure, the application of semantic expressions which are…

人工智能 · 计算机科学 2011-07-12 Alexander Sellner , Christopher Schwarz , Erwin Zinser

In the recent years, machine learning has made great advancements that have been at the root of many breakthroughs in different application domains. However, it is still an open issue how make them applicable to high-stakes or…

机器学习 · 计算机科学 2024-02-05 Eleonora Giunchiglia , Fergus Imrie , Mihaela van der Schaar , Thomas Lukasiewicz

This paper introduces an explanation framework designed to enhance the quality of rules in knowledge-based reasoning systems based on dataset-driven insights. The traditional method for rule induction from data typically requires…

人工智能 · 计算机科学 2025-02-04 Oshani Seneviratne , Brendan Capuzzo , William Van Woensel

[Context & Motivation] Adaptive systems are an important research area. The dominant reason for adaptivity in systems are changes in the environment. Thus, it is an important question how to model the environment and how to determine the…

软件工程 · 计算机科学 2020-11-17 Fabian Kneer , Erik Kamsties , Klaus Schmid

With dramatic improvements in optimization software, the solution of large-scale problems that seemed intractable decades ago are now a routine task. This puts even more real-world applications into the reach of optimizers. At the same…

最优化与控制 · 数学 2023-03-07 Marc Goerigk , Michael Hartisch

Requirements Engineering (RE) has established itself as a software engineering discipline during the past decades. While researchers have been investigating the RE discipline with a plethora of empirical studies, attempts to systematically…

We consider a logic used to describe sets of configurations of distributed systems, whose network topologies can be changed at runtime, by reconfiguration programs. The logic uses inductive definitions to describe networks with an unbounded…

计算机科学中的逻辑 · 计算机科学 2022-04-27 Marius Bozga , Lucas Bueri , Radu Iosif

A paradox of requirements specifications as dominantly practiced in the industry is that they often claim to be object-oriented (OO) but largely rely on procedural (non-OO) techniques. Use cases and user stories describe functional flows,…

[Context] Artificial intelligence (AI) components used in building software solutions have substantially increased in recent years. However, many of these solutions focus on technical aspects and ignore critical human-centered aspects.…

软件工程 · 计算机科学 2023-05-22 Khlood Ahmad , Mohamed Abdelrazek , Chetan Arora , Arbind Agrahari Baniya , Muneera Bano , John Grundy

Organizational charts, also known as org charts, are critical representations of an organization's structure and the hierarchical relationships between its components and positions. However, manually extracting information from org charts…

计算机视觉与模式识别 · 计算机科学 2023-11-20 Nikhil Manali , David Doermann , Mahesh Desai