UOOR: Seamless and Traceable Requirements

• URL: http://arxiv.org/abs/2502.18617v2
• Date: Thu, 27 Feb 2025 15:09:35 GMT
• Title: UOOR: Seamless and Traceable Requirements
• Authors: Maria Naumcheva, Sophie Ebersold, Jean-Michel Bruel, Bertrand Meyer,
• Abstract summary: The proposed solution is a requirements engineering method, called UOOR.<n>The method unifies many known requirements concepts and a few new ones in a framework entirely devised to accommodate and support seamless change throughout the project lifecycle.<n>The UOOR approach is not just a theoretical proposal but has been designed for practical use and has been applied to a significant real-world case study: Roborace.
• Score: 28.579389358111115
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: In industrial practice, requirements are an indispensable element of any serious software project. In the academic study of software engineering, requirements are one of the heavily researched subjects. And yet requirements engineering, as practiced in industry, makes shockingly sparse use of the concepts propounded in the requirements literature. The present paper starts from an assumption about the causes for this situation and proposes a remedy to redress it. The posited explanation is that change is the major factor affecting the practical application of even the best-intentioned requirements techniques. No sooner has the ink dried on the specifications than the system environment and stakeholders' views of the system begin to evolve. The proposed solution is a requirements engineering method, called UOOR, which unifies many known requirements concepts and a few new ones in a framework entirely devised to accommodate and support seamless change throughout the project lifecycle. The method encompasses the commonly used requirements techniques, namely, scenarios, and integrates them into the seamless software development process. The work presented here introduces the notion of seamless requirements traceability, which relies on the propagation of traceability links, themselves based on formal properties of relations between project artifacts. As a proof of concept, the paper presents a traceability tool to be integrated into a general-purpose IDE that provides the ability to link requirements to other software project artifacts, display notifications of changes in requirements, and trace those changes to the related project elements. The UOOR approach is not just a theoretical proposal but has been designed for practical use and has been applied to a significant real-world case study: Roborace, a competition of autonomous racing cars.

Related papers

• Software Engineering as a Domain to Formalize [37.48416208168878]
  "Research ideas" article explores what a theory of software engineering could and should look like.<n>This article outlines the structure of a possible theory of software engineering in the form of an object-oriented model.
  arXiv  Detail & Related papers  (2025-02-24T14:07:01Z)
• Search, Verify and Feedback: Towards Next Generation Post-training Paradigm of Foundation Models via Verifier Engineering [51.31836988300326]
  Verifier engineering is a novel post-training paradigm specifically designed for the era of foundation models. We systematically categorize the verifier engineering process into three essential stages: search, verify, and feedback.
  arXiv  Detail & Related papers  (2024-11-18T12:04:52Z)
• Abstraction Engineering [6.091612632147657]
  Abstraction is already used across many disciplines involved in software development. This paper looks at these new challenges and proposes to address them through the lens of Abstraction. We discuss the foundations of Abstraction Engineering, identify key challenges, highlight the research questions that help address these challenges, and create a roadmap for future research.
  arXiv  Detail & Related papers  (2024-08-26T07:56:32Z)
• Towards an Approach to Pattern-based Domain-Specific Requirements Engineering [0.0]
  We propose the Pattern-based Domain-specific Requirements Engineering Approach for the specification of functional and performance requirements. This approach emerges from an academia-industry collaboration and is our first attempt to frame an approach which allows for analyzing domain knowledge. Our contribution is two-fold: First, we present a solution to pattern-based domain-specific requirements engineering and its exemplary integration into quality assurance techniques.
  arXiv  Detail & Related papers  (2024-04-26T11:38:55Z)
• DesignQA: A Multimodal Benchmark for Evaluating Large Language Models' Understanding of Engineering Documentation [3.2169312784098705]
  This research introduces DesignQA, a novel benchmark aimed at evaluating the proficiency of multimodal large language models (MLLMs) in comprehending and applying engineering requirements in technical documentation. DesignQA uniquely combines multimodal data-including textual design requirements, CAD images, and engineering drawings-derived from the Formula SAE student competition.
  arXiv  Detail & Related papers  (2024-04-11T16:59:54Z)
• Requirements' Characteristics: How do they Impact on Project Budget in a Systems Engineering Context? [3.2872885101161318]
  Controlling and assuring the quality of natural language requirements (NLRs) is challenging. We investigated with the Swedish Transportation Agency (STA) to what extent the characteristics of requirements had an influence on change requests and budget changes in the project.
  arXiv  Detail & Related papers  (2023-10-02T17:53:54Z)
• Machine Learning with Requirements: a Manifesto [114.97965827971132]
  We argue that requirements definition and satisfaction can go a long way to make machine learning models even more fitting to the real world. We show how the requirements specification can be fruitfully integrated into the standard machine learning development pipeline.
  arXiv  Detail & Related papers  (2023-04-07T14:47:13Z)
• Lessons from Formally Verified Deployed Software Systems (Extended version) [65.69802414600832]
  This article examines a range of projects, in various application areas, that have produced formally verified systems and deployed them for actual use. It considers the technologies used, the form of verification applied, the results obtained, and the lessons that the software industry should draw regarding its ability to benefit from formal verification techniques and tools.
  arXiv  Detail & Related papers  (2023-01-05T18:18:46Z)
• Design Space Exploration and Explanation via Conditional Variational Autoencoders in Meta-model-based Conceptual Design of Pedestrian Bridges [52.77024349608834]
  This paper provides a performance-driven design exploration framework to augment the human designer through a Conditional Variational Autoencoder (CVAE) The CVAE is trained on 18'000 synthetically generated instances of a pedestrian bridge in Switzerland.
  arXiv  Detail & Related papers  (2022-11-29T17:28:31Z)
• Requirements Engineering for Machine Learning: A Review and Reflection [39.01716712094724]
  This paper aims to provide an overview of the requirements engineering process for machine learning applications. An example case of industrial data-driven intelligence applications is also discussed in relation to the aforementioned steps.
  arXiv  Detail & Related papers  (2022-10-03T12:24:39Z)
• Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests [63.37657467996478]
  Article shows that the concept of class is general enough to describe not only "objects" in a narrow sense but also scenarios such as use cases and user stories. Having a single framework opens the way to requirements that enjoy the benefits of both approaches.
  arXiv  Detail & Related papers  (2022-09-06T02:47:20Z)
• Towards Utility-based Prioritization of Requirements in Open Source Environments [51.65930505153647]
  We show how utility-based prioritization approaches can be used to support contributors in conventional and open source Requirements Engineering scenarios. As an example, we show how dependencies can be taken into account in utility-based prioritization processes.
  arXiv  Detail & Related papers  (2021-02-17T09:05:54Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.