Stability prediction of the software requirements specification

• URL: http://arxiv.org/abs/2401.12636v1
• Date: Tue, 23 Jan 2024 10:40:29 GMT
• Title: Stability prediction of the software requirements specification
• Authors: J. del Sagrado, I.M. del \'Aguila
• Abstract summary: This work presents the Bayesian network Requisites that predicts whether the requirements specification documents have to be revised. We show how to validate Requisites by means of metrics obtained from a large complex software project.
• Score: 0.0
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: Complex decision-making is a prominent aspect of Requirements Engineering. This work presents the Bayesian network Requisites that predicts whether the requirements specification documents have to be revised. We show how to validate Requisites by means of metrics obtained from a large complex software project. Besides, this Bayesian network has been integrated into a software tool by defining a communication interface inside a multilayer architecture to add this a new decision making functionality. It provides requirements engineers a way of exploring the software requirement specification by combining requirement metrics and the probability values estimated by the Bayesian network.

Related papers

• Requirements Engineering for a Web-based Research, Technology & Innovation Monitoring Tool [46.38386372048799]
  We introduce a requirements engineering process to identify stakeholders and elicitate requirements for a web-based interactive and open-access RTI system monitoring tool. Based on several core modules, we introduce a multi-tier software architecture of how such a tool is generally implemented from the perspective of software engineers. A cornerstone of this architecture is the user-facing dashboard module.
  arXiv  Detail & Related papers  (2025-01-18T20:36:26Z)
• SeQUeNCe GUI: An Extensible User Interface for Discrete Event Quantum Network Simulations [55.2480439325792]
  SeQUeNCe is an open source simulator of quantum network communication. We implement a graphical user interface which maintains the core principles of SeQUeNCe.
  arXiv  Detail & Related papers  (2025-01-15T19:36:09Z)
• An Infrastructure Software Perspective Toward Computation Offloading between Executable Specifications and Foundation Models [11.035290353039079]
  Foundation Models (FMs) have become essential components in modern software systems, excelling in computation tasks such as pattern recognition and unstructured data processing. Their capabilities are complemented by the precision, verifiability, and deterministic nature of executable specifications, such as symbolic programs. This paper explores a new perspective on offloading, proposing a framework that strategically distributes computational tasks between FMs and executable specifications based on their respective strengths.
  arXiv  Detail & Related papers  (2025-01-06T08:02:28Z)
• Digital requirements engineering with an INCOSE-derived SysML meta-model [0.0]
  We extend the Model-Based Structured Requirement SysML Profile to comply with the INCOSE Guide to Writing Requirements. The resulting SysML Profile was applied in two system architecture models at NASA Jet Propulsion Laboratory.
  arXiv  Detail & Related papers  (2024-10-12T03:06:13Z)
• Towards Quantifying Requirements Technical Debt for Software Requirements concerning Veracity: A Perspective and Research Roadmap [3.763215468259125]
  We present our perspective and the vision to apply the lens of RTD to software requirements concerning veracity. Our goal is to cultivate awareness of veracity as an important concern and eventually support the management of RTD for software requirements concerning veracity.
  arXiv  Detail & Related papers  (2024-06-29T10:10:03Z)
• 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)
• A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis [54.959571890098786]
  We provide a framework to encode system specifications and define corresponding certificates. We present an automated approach to formally synthesise controllers and certificates. Our approach contributes to the broad field of safe learning for control, exploiting the flexibility of neural networks.
  arXiv  Detail & Related papers  (2023-09-12T09:37:26Z)
• Requirements Analysis of Variability Constraints in a Configurable Flight Software System [0.0]
  We report on our experience with the variability-related requirements constraints of a flight software framework used by multiple space missions. We propose a new software variability model, similar to a product-line feature model, in the flight software framework.
  arXiv  Detail & Related papers  (2023-09-06T22:56:39Z)
• Elastic Entangled Pair and Qubit Resource Management in Quantum Cloud Computing [73.7522199491117]
  Quantum cloud computing (QCC) offers a promising approach to efficiently provide quantum computing resources. The fluctuations in user demand and quantum circuit requirements are challenging for efficient resource provisioning. We propose a resource allocation model to provision quantum computing and networking resources.
  arXiv  Detail & Related papers  (2023-07-25T00:38:46Z)
• The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus [55.58528469973086]
  Quantum computers promise to efficiently solve important problems classical computers never will. A fully automated quantum software stack needs to be developed. This work provides a look "under the hood" of today's tools and showcases how these means are utilized in them, e.g., for simulation, compilation, and verification of quantum circuits.
  arXiv  Detail & Related papers  (2023-01-10T19:00:00Z)
• ADAPQUEST: A Software for Web-Based Adaptive Questionnaires based on Bayesian Networks [70.79136608657296]
  ADAPQUEST is a software tool written in Java for the development of adaptive questionnaires based on Bayesian networks. It embeds dedicated elicitation strategies to simplify the elicitation of the questionnaire parameters. An application of this tool for the diagnosis of mental disorders is also discussed.
  arXiv  Detail & Related papers  (2021-12-29T09:50:44Z)

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.