English
Related papers

Related papers: Requirements Rationalization and Synthesis enabled…

200 papers

The complexity of software-based systems has increased significantly, especially with regards to capturing requirements along with dependencies among requirements. A conceptual model is a way of thinking about and making sense of the real…

Software Engineering · Computer Science 2023-04-06 Sabah Al-Fedaghi

Logic has proved essential for formally modeling software based systems. Such formal descriptions, frequently called specifications, have served not only as requirements documentation and formalisation, but also for providing the…

Logic in Computer Science · Computer Science 2021-07-20 Carlos G. Lopez Pombo , Thomas S. E. Maibaum

Requirements prioritization is a critical activity during the early software development process, which produces a set of key requirements to implement. The prioritization process offers a parity among the requirements based on multiple…

Software Engineering · Computer Science 2023-06-22 Jonathan Winton , Francis Palma

The ultimate goal of any software developer seeking a competitive edge is to meet stakeholders needs and expectations. To achieve this, it is necessary to effectively and accurately manage stakeholders system requirements. The paper…

Software Engineering · Computer Science 2018-03-19 Anupama Prasanth , Sandhia Valsala , Safeeullah Soomro

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…

Software Engineering · Computer Science 2020-10-01 Aya Zaki-Ismail , Mohamed Osama , Mohamed Abdelrazek , John Grundy , Amani Ibrahim

The overall objective of Requirements Engineering is to specify, in a systematic way, a system that satisfies the expectations of its stakeholders. Despite tremendous effort in the field, recent studies demonstrate this is objective is not…

Software Engineering · Computer Science 2017-11-28 Corentin Burnay , Ivan Jureta

Specifying data requirements for machine learning (ML) software systems remains a challenge in requirements engineering (RE). This vision paper explores causal modelling as an RE activity that allows the systematic integration of prior…

Software Engineering · Computer Science 2025-04-24 Hans-Martin Heyn , Yufei Mao , Roland Weiss , Eric Knauss

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…

Software-intensive Systems-of-Systems (SoS) refer to an arrangement of managerially and operationally independent systems(i.e., constituent systems), which work collaboratively towards the achievement of global missions. Because some SoS…

Software Engineering · Computer Science 2020-07-15 Cristiane Aparecida Lana , Milena Guessi , Pablo Oliveira Antonino , Dieter Rombach , Elisa Yumi NakagawaA

This study addresses the structural complexity and semantic ambiguity in stakeholder interactions within the Education-Industry Integration (EII) system. The scarcity of real interview data, absence of structured variable modeling, and lack…

Computers and Society · Computer Science 2025-06-23 Wei Meng

Decision making and requirements scoping occupy central roles in helping to develop products that are demanded by the customers and ensuring company strategies are accurately realized in product scope. Many companies experience continuous…

Software Engineering · Computer Science 2016-11-15 Krzysztof Wnuk , Markus Borg , Sardar Muhammad Sulaman

Ethnomethodological fieldwork has long been acknowledged as a potentially valuable way of informing the design of technology. However, there is relatively little methodological support for this activity, particularly in relation to the…

Software Engineering · Computer Science 2024-11-15 Chris Hinds

We present our ongoing work on requirements specification and analysis for the geographically distributed software and systems. Developing software and systems within/for different countries or states or even within/for different…

Software Engineering · Computer Science 2015-08-10 Maria Spichkova , Heinz Schmidt

This paper describes the authors point of view on reaching a stage at which it is necessary to understand customer organizations better to identify their problems and how to address them. To resolve this issue we need a mechanism to capture…

Software Engineering · Computer Science 2019-02-05 Rana Siadati , Paul Wernick , Vito Veneziano

Requirements and code, in conventional software engineering wisdom, belong to entirely different worlds. Is it possible to unify these two worlds? A unified framework could help make software easier to change and reuse. To explore the…

Software Engineering · Computer Science 2016-02-18 Alexandr Naumchev , Bertrand Meyer , Victor Rivera

Software systems are a significant contributor to global sustainability concerns, demanding that environmental, social, technical, and economic factors be systematically addressed from the initial requirements engineering phase. Although…

Software Engineering · Computer Science 2025-10-13 Mandira Roy , Novarun Deb , Nabendu Chaki , Agostino Cortesi

The aim of this paper is to propose a rigorous and complete design framework for complex system based on system engineering (SE) principles. The SE standard EIA-632 is used to guide the approach. Within this framework, two aspects are…

Software Engineering · Computer Science 2012-12-19 Romaric Guillerm , Hamid Demmou , Nabil Sadou

A modern approach to engineering correct-by-construction systems is to synthesize them automatically from formal specifications. Oftentimes, a system can only satisfy its guarantees if certain environment assumptions hold, which motivates…

Logic in Computer Science · Computer Science 2015-07-10 Roderick Bloem , Ruediger Ehlers , Robert Koenighofer

Manufacturing Execution Systems (MES) optimize production and business processes at the same time. However, the engineering and specification of MES is a challenging, interdisciplinary process. Especially IT and production experts with…

Systems and Control · Electrical Eng. & Systems 2022-12-12 Maria Witsch , Birgit Vogel-Heuser

Research shows that many of the challenges currently encountered with agile development are related to requirements engineering. Based on design science research, this paper investigates critical challenges that arise in agile development…

Software Engineering · Computer Science 2024-05-30 Amna Pir Muhammad , Eric Knauss , Odzaya Batsaikhan , Nassiba El Haskouri , Yi-Chun Lin , Alessia Knauss