English
Related papers

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

200 papers

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

Software Engineering · Computer Science 2023-05-11 Maria Naumcheva , Sophie Ebersold , Alexandr Naumchev , Jean-Michel Bruel , Florian Galinier , Bertrand Meyer

Requirements engineering (RE) is a key area to address sustainability concerns in system development. Approaches have been proposed to elicit sustainability requirements from interested stakeholders before system design. However, existing…

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 develops a theory of competitive equilibrium with indivisible goods based entirely on economic conditions on demand. The key idea is to analyze complementarity and substitutability between bundles of goods, rather than merely…

Theoretical Economics · Economics 2024-12-12 Ravi Jagadeesan , Alexander Teytelboym

This paper deals with the arrow of complexification of engineering. We claim that the complexification of engineering consists in (a) that shift throughout which engineering becomes a science; thus it ceases to be a (mere) praxis or…

Adaptation and Self-Organizing Systems · Physics 2013-10-02 Carlos Eduardo Maldonado , Nelson Alfonso Gómez-Cruz

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

Substitute relationships are fundamental to people's daily lives across various domains. This study aims to comprehend and predict substitute relationships among products in diverse fields, extensively analyzing the application of machine…

Information Retrieval · Computer Science 2024-04-16 Anxin Yang , Zhijuan Du , Tao Sun

Effective Requirements Engineering is a crucial activity in softwareintensive development projects. The human-centric working mode of Design Thinking is considered a powerful way to complement such activities when designing innovative…

Software Engineering · Computer Science 2021-12-13 Jennifer Hehn , Daniel Mendez

Systems that use Machine Learning (ML) have become commonplace for companies that want to improve their products and processes. Literature suggests that Requirements Engineering (RE) can help address many problems when engineering…

When perturbation or unexpected events do occur, agents need protocols for repairing or reforming the supply chain. Unfortunate contingency could increase too much the cost of performance, while breaching the current contract may be more…

Artificial Intelligence · Computer Science 2013-04-24 Ioan Alfred Letia , Adrian Groza

Artificial Intelligence is increasingly introduced into systems engineering activities, particularly within requirements engineering, where quality assessment and validation remain heavily dependent on expert judgment. While recent AI tools…

Software Engineering · Computer Science 2026-04-17 Oz Levy , Ilya Dikman , Natan Levy , Michael Winokur

Privacy has been frequently identified as a main concern for system developers while dealing with/managing personal information. Despite this, most existing work on privacy requirements deals with them as a special case of security…

Software Engineering · Computer Science 2016-12-01 Mohamad Gharib , Paolo Giorgini , John Mylopoulos

We analyze a number of properties obligations have or should have.

Logic · Mathematics 2009-03-09 Dov Gabbay , Karl Schlechta

This paper discusses how model checking, a technique used for the verification of behavioural requirements of dynamic systems, can be usefully deployed for the verification of contracts. A process view of agreements between parties is…

Software Engineering · Computer Science 2007-05-23 Aspassia Daskalopulu

There is a lack of formalism for some key foundational concepts in systems engineering. One of the most recently acknowledged deficits is the inadequacy of systems engineering practices for engineering intelligent systems. In our previous…

Artificial Intelligence · Computer Science 2024-09-21 Niloofar Shadab , Tyler Cody , Alejandro Salado , Peter Beling

Safety and assurance standards often rely on the principle that requirements errors can be minimised by expressing the requirements more formally. Although numerous case studies have shown that the act of formalising previously informal…

Software Engineering · Computer Science 2014-04-29 Ibrahim Habli , Andrew Rae

Goal-oriented requirements variability modelling has established the understanding for adaptability in the early stage of software development-the Requirements Engineering phase. Goal-oriented requirements variability modelling considers…

Software Engineering · Computer Science 2019-05-17 Khavee Agustus Botangen , Jian Yu , Sira Yongchareon , LiangHuai Yang , Quan Bai

Context. Nowadays there is a great deal of uncertainty surrounding the effects of experience on Requirements Engineering (RE). There is a widespread idea that experience improves analyst performance. However, there are empirical studies…

Software Engineering · Computer Science 2024-08-23 Alejandrina M. Aranda , Oscar Dieste , Jose I. Panach , Natalia Juristo

Requirements Engineering (RE) has received much attention in research and practice due to its importance to software project success. Its interdisciplinary nature, the dependency to the customer, and its inherent uncertainty still render…

Mobile application development is the most rapidly growing industry in the world. Nowadays, people totally depend on smart phones for performing daily routine tasks which results in tremendous rises in the expectation of human being from IT…

Software Engineering · Computer Science 2021-04-13 Ali Nawaz , Attique Ur Rehman , Wasi Haider Butt
‹ Prev 1 8 9 10 Next ›