論文の概要: Stability prediction of the software requirements specification
- arxiv url: http://arxiv.org/abs/2401.12636v1
- Date: Tue, 23 Jan 2024 10:40:29 GMT
- ステータス: 処理完了
- システム内更新日: 2024-01-24 16:07:47.548234
- Title: Stability prediction of the software requirements specification
- Title(参考訳): ソフトウェア要件仕様の安定性予測
- Authors: J. del Sagrado, I.M. del \'Aguila
- Abstract要約: 本研究は,要求仕様書を改訂する必要があるかどうかを予測するベイズネットワーク要件を提示する。
大規模な複雑なソフトウェアプロジェクトから得られたメトリクスを用いて、Requisitesの検証方法を示す。
- 参考スコア(独自算出の注目度): 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.
- Abstract(参考訳): 複雑な意思決定は要求工学の顕著な側面である。
本研究は,要求仕様書を改訂する必要があるかどうかを予測するベイズネットワーク要件を提示する。
大規模な複雑なソフトウェアプロジェクトから得られたメトリクスを用いて、Requisitesの検証方法を示す。
さらにこのベイズネットワークは,多層アーキテクチャ内の通信インターフェースを定義することで,新たな意思決定機能を追加することで,ソフトウェアツールに統合されている。
要件メトリクスとベイジアンネットワークによって推定される確率値を組み合わせることで、要件エンジニアにソフトウェア要件仕様を探索する方法を提供する。
関連論文リスト
- Requirements Engineering for a Web-based Research, Technology & Innovation Monitoring Tool [46.38386372048799]
本稿では,Web ベースの対話的かつオープンアクセスの RTI システム監視ツールにおける,利害関係者を特定するための要件エンジニアリングプロセスを紹介する。
いくつかのコアモジュールをベースとして,そのようなツールがソフトウェア技術者の視点で一般的にどのように実装されるか,多層ソフトウェアアーキテクチャを導入する。
このアーキテクチャの基盤は、ユーザ対応のダッシュボードモジュールである。
論文 参考訳(メタデータ) (2025-01-18T20:36:26Z) - SeQUeNCe GUI: An Extensible User Interface for Discrete Event Quantum Network Simulations [55.2480439325792]
SeQUeNCeは、量子ネットワーク通信のオープンソースシミュレータである。
我々はSeQUeNCeの中核となる原則を維持できるグラフィカルユーザインタフェースを実装している。
論文 参考訳(メタデータ) (2025-01-15T19:36:09Z) - An Infrastructure Software Perspective Toward Computation Offloading between Executable Specifications and Foundation Models [11.035290353039079]
ファンデーションモデル(FM)は、パターン認識や非構造化データ処理といった計算処理に優れ、現代のソフトウェアシステムにおいて不可欠なコンポーネントとなっている。
それらの能力は、記号プログラムのような実行可能な仕様の精度、検証可能性、決定論的性質によって補完される。
本稿では,それぞれの強みに基づいて,FMと実行可能な仕様との間で,計算タスクを戦略的に分散するフレームワークを提案する。
論文 参考訳(メタデータ) (2025-01-06T08:02:28Z) - Digital requirements engineering with an INCOSE-derived SysML meta-model [0.0]
我々は、モデルベース構造化要求SysMLプロファイルを拡張して、要求書作成のためのINCOSEガイドに準拠します。
結果のSysMLプロファイルはNASAジェット推進研究所の2つのシステムアーキテクチャモデルに適用された。
論文 参考訳(メタデータ) (2024-10-12T03:06:13Z) - Towards Quantifying Requirements Technical Debt for Software Requirements concerning Veracity: A Perspective and Research Roadmap [3.763215468259125]
我々はRTDのレンズを精度に関するソフトウェア要件に適用するための視点とビジョンを提示する。
我々のゴールは、重要な関心事としての妥当性の認識を育成し、最終的に、正確性に関するソフトウェア要件に対するRTDの管理を支援することである。
論文 参考訳(メタデータ) (2024-06-29T10:10:03Z) - Requirements' Characteristics: How do they Impact on Project Budget in a
Systems Engineering Context? [3.2872885101161318]
自然言語要求(NLR)の品質の制御と保証は困難である。
スウェーデン交通庁 (STA) と共同で, 要件の特性が変更要求や予算変更に与える影響について検討した。
論文 参考訳(メタデータ) (2023-10-02T17:53:54Z) - A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis [54.959571890098786]
システム仕様を符号化し、対応する証明書を定義するためのフレームワークを提供する。
コントローラと証明書を形式的に合成する自動化手法を提案する。
我々のアプローチは、ニューラルネットワークの柔軟性を利用して、制御のための安全な学習の幅広い分野に寄与する。
論文 参考訳(メタデータ) (2023-09-12T09:37:26Z) - Requirements Analysis of Variability Constraints in a Configurable
Flight Software System [0.0]
複数の宇宙ミッションで使用される飛行ソフトウェアフレームワークの変動性に関する要件制約について報告する。
本研究では,フライトソフトウェアフレームワークにおいて,製品ライン機能モデルに似た新しいソフトウェア変数モデルを提案する。
論文 参考訳(メタデータ) (2023-09-06T22:56:39Z) - Elastic Entangled Pair and Qubit Resource Management in Quantum Cloud
Computing [73.7522199491117]
量子クラウドコンピューティング(QCC)は、量子コンピューティングリソースを効率的に提供するための有望なアプローチを提供する。
ユーザ需要の変動と量子回路の要求は、効率的なリソース供給のために困難である。
本稿では、量子コンピューティングとネットワークリソースのプロビジョニングのためのリソース割り当てモデルを提案する。
論文 参考訳(メタデータ) (2023-07-25T00:38:46Z) - The Basis of Design Tools for Quantum Computing: Arrays, Decision
Diagrams, Tensor Networks, and ZX-Calculus [55.58528469973086]
量子コンピュータは、古典的コンピュータが決して起こらない重要な問題を効率的に解決することを約束する。
完全に自動化された量子ソフトウェアスタックを開発する必要がある。
この研究は、今日のツールの"内部"の外観を提供し、量子回路のシミュレーション、コンパイル、検証などにおいてこれらの手段がどのように利用されるかを示す。
論文 参考訳(メタデータ) (2023-01-10T19:00:00Z) - ADAPQUEST: A Software for Web-Based Adaptive Questionnaires based on
Bayesian Networks [70.79136608657296]
ADAPQUESTは、ベイジアンネットワークに基づく適応型アンケートの開発のためにJavaで書かれたソフトウェアツールである。
質問紙には、アンケートパラメータの引用を簡略化するために、専用の実施戦略が組み込まれている。
本ツールの精神疾患診断への応用についても論じる。
論文 参考訳(メタデータ) (2021-12-29T09:50:44Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。