Fugu-MT 論文翻訳(概要): Stability prediction of the software requirements specification

論文の概要: 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の検証方法を示す。さらにこのベイズネットワークは,多層アーキテクチャ内の通信インターフェースを定義することで,新たな意思決定機能を追加することで,ソフトウェアツールに統合されている。要件メトリクスとベイジアンネットワークによって推定される確率値を組み合わせることで、要件エンジニアにソフトウェア要件仕様を探索する方法を提供する。

関連論文リスト

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)
Towards an Approach to Pattern-based Domain-Specific Requirements Engineering [0.0]
本稿では,機能要件と性能要件の仕様化のためのパターンベースドメイン固有要求工学手法を提案する。このアプローチは、アカデミックと産業のコラボレーションから生まれ、ドメイン知識を分析可能なアプローチを策定する最初の試みです。まず、パターンベースのドメイン固有要件エンジニアリングのソリューションと、品質保証技術へのその模範的な統合を提示します。
論文参考訳（メタデータ） (2024-04-26T11:38:55Z)
Mechanistic Design and Scaling of Hybrid Architectures [114.3129802943915]
我々は、様々な計算プリミティブから構築された新しいハイブリッドアーキテクチャを特定し、テストする。本研究では,大規模計算最適法則と新しい状態最適スケーリング法則解析を用いて,結果のアーキテクチャを実験的に検証する。我々は,MAD合成法と計算-最適パープレキシティを相関させ,新しいアーキテクチャの正確な評価を可能にする。
論文参考訳（メタデータ） (2024-03-26T16:33:12Z)
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)
Scaling Limits of Quantum Repeater Networks [62.75241407271626]
量子ネットワーク(QN)は、セキュアな通信、強化されたセンシング、効率的な分散量子コンピューティングのための有望なプラットフォームである。量子状態の脆弱な性質のため、これらのネットワークはスケーラビリティの観点から大きな課題に直面している。本稿では,量子リピータネットワーク(QRN)のスケーリング限界について解析する。
論文参考訳（メタデータ） (2023-05-15T14:57:01Z)
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)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。