English
Related papers

Related papers: Requirements Contracts: Definition, Design, and An…

200 papers

Machine learning (ML) is used increasingly in real-world applications. In this paper, we describe our ongoing endeavor to define characteristics and challenges unique to Requirements Engineering (RE) for ML-based systems. As a first step,…

Machine Learning · Computer Science 2019-08-14 Andreas Vogelsang , Markus Borg

Context: Conditional statements like "If A and B then C" are core elements for describing software requirements. However, there are many ways to express such conditionals in natural language and also many ways how they can be interpreted.…

Software Engineering · Computer Science 2021-09-07 Jannik Fischbach , Julian Frattini , Daniel Mendez , Michael Unterkalmsteiner , Henning Femmer , Andreas Vogelsang

When not appropriately managed, technical debt is considered to have negative effects on the long term success of a software project. However, how the debt metaphor applies to requirements engineering in general, and to requirements…

Software Engineering · Computer Science 2019-07-26 Valentina Lenarduzzi , Davide Fucci

The use of conceptual models to foster requirements engineering has been proposed and evaluated as beneficial for several decades. For instance, goal-oriented requirements engineering or the specification of scenarios are commonly done…

Software Engineering · Computer Science 2021-03-09 Marian Daun , Jennifer Brings , Marcel Goger , Walter Koch , Thorsten Weyer

We introduce contracts for linear dynamical systems with inputs and outputs. Contracts are used to express formal specifications on the dynamic behaviour of such systems through two aspects: assumptions and guarantees. The assumptions are a…

Dynamical Systems · Mathematics 2021-03-24 B. M. Shali , A. J. van der Schaft , B. Besselink

This paper concentrates on the representation of the legal relations that obtain between parties once they have entered a contractual agreement and their evolution as the agreement progresses through time. Contracts are regarded as process…

Artificial Intelligence · Computer Science 2016-11-17 Aspassia Daskalopulu

Requirements engineering (RE) is considerably different in agile development than in more traditional development processes. Yet, there is little empirical knowledge on the state of the practice and contemporary problems in agile RE. As…

Software Engineering · Computer Science 2017-11-15 Stefan Wagner , Daniel Méndez Fernández , Michael Felderer , Marcos Kalinowski

Today, many industrial processes are undergoing digital transformation, which often requires the integration of well-understood domain models and state-of-the-art machine learning technology in business processes. However, requirements…

Software Engineering · Computer Science 2022-10-04 Zhongyi Pei , Lin Liu , Chen Wang , Jianmin Wang

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…

Machine Learning · Computer Science 2024-02-05 Eleonora Giunchiglia , Fergus Imrie , Mihaela van der Schaar , Thomas Lukasiewicz

Since the birth of software engineering, it always are recognized as one pure engineering subject, therefore, the foundational scientific problems are not paid much attention. This paper proposes that Requirements Analysis, the kernel…

Software Engineering · Computer Science 2011-02-01 Bojin Zheng , Deyi Li , Guisheng Chen , Jianmin Wang

It is widely accepted that understanding system requirements is important for software development project success. However, this paper presents two novel challenges to the requirements concept. First, where many plausible approaches to…

Software Engineering · Computer Science 2022-03-30 Paul Ralph

Reusable software components need expressive specifications. This paper outlines a rigorous foundation to model-based contracts, a method to equip classes with strong contracts that support accurate design, implementation, and formal…

Software Engineering · Computer Science 2013-08-14 Nadia Polikarpova , Carlo A. Furia , Bertrand Meyer

Requirement Analysis is an important phase in software development which deals with understanding the customers requirements. It includes the collection of information from the customer, which is regarding the customers requirements and…

Software Engineering · Computer Science 2016-09-08 Abhishek Kotnala , R. Selvarani

In this paper we present a formal framework for analysis and optimisation of the requirements specifications of systems developed to apply in several countries. As different countries typically have different regulations/laws as well as…

Software Engineering · Computer Science 2019-10-14 Maria Spichkova , Heinz Schmidt

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

In requirements engineering for recommender systems, software engineers must identify the data that drives the recommendations. This is a labor-intensive task, which is error-prone and expensive. One possible solution to this problem is the…

Software Engineering · Computer Science 2016-02-25 Ivens Portugal , Paulo Alencar , Donald Cowan

The considerable effort of writing requirements is only worthwhile if the result meets two conditions: the requirements reflect stakeholders' needs, and the implementation satisfies them. In usual approaches, the use of different notations…

Software Engineering · Computer Science 2019-02-05 Alexandr Naumchev , Bertrand Meyer , Manuel Mazzara , Florian Galinier , Jean-Michel Bruel , Sophie Ebersold

In this paper, we discuss an approach to system requirements engineering, which is based on using models of the responsibilities assigned to agents in a multi-agency system of systems. The responsibility models serve as a basis for…

Software Engineering · Computer Science 2012-09-25 Ian Sommerville , Russell Lock , Tim Storer

This paper identifies and tackles the challenges of the requirements engineering discipline when applied to development of AI-based complex systems. Due to their complex behaviour, there is an immanent need for a tailored development…

Software Engineering · Computer Science 2019-09-02 Hrvoje Belani , Marin Vuković , Željka Car

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…