論文の概要: UOOR: Seamless and Traceable Requirements
- arxiv url: http://arxiv.org/abs/2502.18617v2
- Date: Thu, 27 Feb 2025 15:09:35 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-02-28 11:31:48.399932
- Title: UOOR: Seamless and Traceable Requirements
- Title（参考訳）: UOOR: シームレスでトレーサブルな要件
- Authors: Maria Naumcheva, Sophie Ebersold, Jean-Michel Bruel, Bertrand Meyer,
- Abstract要約: 提案手法は,UOORと呼ばれる要求工学手法である。
このメソッドは多くの既知の要件概念を統一し、プロジェクトライフサイクル全体を通してシームレスな変更に対応およびサポートするために完全に設計されたフレームワークに新しいものをいくつか追加します。
UOORアプローチは単なる理論的な提案ではなく、実用のために設計され、重要な実世界のケーススタディであるRoboraceに応用されている。
- 参考スコア（独自算出の注目度）: 28.579389358111115
- License:
- 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.
- Abstract（参考訳）: 産業の実践において、要求は真剣なソフトウェアプロジェクトにとって必須の要素である。
ソフトウェアエンジニアリングの学術研究において、要件は、非常に研究されている主題の1つである。
しかし、業界で実践されているように、要求エンジニアリングは、要求文献で提案された概念を驚くほどまばらに利用します。
本稿は、この状況の原因に関する仮定から始まり、それを改善するための対策を提案する。
提案された説明は、変更が最も意図された要件テクニックの実践的適用に影響を及ぼす主要な要因である、ということだ。
インキはシステム環境よりも仕様に乾き、ステークホルダーのシステムに対する見解が進化し始めます。
提案されたソリューションは、UOORと呼ばれる要件エンジニアリング手法であり、多くの既知の要件概念を統一し、プロジェクトライフサイクル全体を通してシームレスな変更に対応およびサポートするために完全に設計されたフレームワーク内のいくつかの新しいものである。
このメソッドは一般的に使われている要件技術、すなわちシナリオを含み、それらをシームレスなソフトウェア開発プロセスに統合します。
ここでは、プロジェクトアーティファクト間の関係の形式的特性に基づいて、トレーサビリティリンクの伝播に依存する、シームレスな要求トレーサビリティの概念を紹介します。
概念実証として,提案するトレーサビリティツールを汎用IDEに統合して,要件を他のソフトウェアプロジェクトアーティファクトにリンクし,要求変更の通知を表示し,関連するプロジェクト要素にトレースする機能を提供する。
UOORのアプローチは単なる理論的な提案ではなく、実用化のために設計されており、自動運転車の競争相手であるRoborace(英語版)という重要な実世界のケーススタディに応用されている。
関連論文リスト
- Search, Verify and Feedback: Towards Next Generation Post-training Paradigm of Foundation Models via Verifier Engineering [51.31836988300326]
検証工学は、基礎モデルの時代のために特別に設計された新しいポストトレーニングパラダイムである。
検証工学のプロセスは,検索,検証,フィードバックの3段階に分類する。
論文 参考訳（メタデータ） (2024-11-18T12:04:52Z) - Abstraction Engineering [6.091612632147657]
抽象化はすでに、ソフトウェア開発に関わる多くの分野で使われています。
本稿では、これらの新しい課題を考察し、抽象のレンズを通してそれらに取り組むことを提案する。
抽象化エンジニアリングの基礎について議論し、主要な課題を特定し、これらの課題に対処するための研究課題を強調し、将来の研究のロードマップを作成します。
論文 参考訳（メタデータ） (2024-08-26T07:56:32Z) - Towards an Approach to Pattern-based Domain-Specific Requirements Engineering [0.0]
本稿では,機能要件と性能要件の仕様化のためのパターンベースドメイン固有要求工学手法を提案する。
このアプローチは、アカデミックと産業のコラボレーションから生まれ、ドメイン知識を分析可能なアプローチを策定する最初の試みです。
まず、パターンベースのドメイン固有要件エンジニアリングのソリューションと、品質保証技術へのその模範的な統合を提示します。
論文 参考訳（メタデータ） (2024-04-26T11:38:55Z) - Prioritizing Software Requirements Using Large Language Models [3.9422957660677476]
この記事では、ソフトウェア開発の初期段階と見なされる要件エンジニアリングに焦点を当てます。
要件を特定し、時間と予算の制約の中ですべての利害関係者を満たすという課題は、依然として重要なままです。
本研究では、AIエージェントを利用したWebベースのソフトウェアツールを導入し、タスクの優先順位付けを自動化するエンジニアリングを促す。
論文 参考訳（メタデータ） (2024-04-05T15:20:56Z) - Requirements' Characteristics: How do they Impact on Project Budget in a
Systems Engineering Context? [3.2872885101161318]
自然言語要求(NLR)の品質の制御と保証は困難である。
スウェーデン交通庁 (STA) と共同で, 要件の特性が変更要求や予算変更に与える影響について検討した。
論文 参考訳（メタデータ） (2023-10-02T17:53:54Z) - Machine Learning with Requirements: a Manifesto [114.97965827971132]
要件定義と満足度は、マシンラーニングモデルが現実世界にさらに適合するように、長い道のりを歩むことができる、と私たちは主張しています。
私たちは、要求仕様を標準の機械学習開発パイプラインにうまく組み込む方法を示します。
論文 参考訳（メタデータ） (2023-04-07T14:47:13Z) - Lessons from Formally Verified Deployed Software Systems (Extended version) [65.69802414600832]
本稿は、正式に認証されたシステムを作成し、実際に使用するためにデプロイした各種のアプリケーション分野のプロジェクトについて検討する。
使用する技術、適用の形式、得られた結果、そしてソフトウェア産業が形式的な検証技術やツールの恩恵を受ける能力について示すべき教訓を考察する。
論文 参考訳（メタデータ） (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]
本稿では,条件付き変分オートエンコーダ(CVAE)による人間設計者向上のための性能駆動型設計探索フレームワークを提案する。
CVAEはスイスの歩行者橋の合成例18万件で訓練されている。
論文 参考訳（メタデータ） (2022-11-29T17:28:31Z) - Requirements Engineering for Machine Learning: A Review and Reflection [39.01716712094724]
本稿では,機械学習アプリケーションにおける要件工学プロセスの概要について述べる。
産業データ駆動インテリジェンスアプリケーションの例も、前述のステップに関連して議論されている。
論文 参考訳（メタデータ） (2022-10-03T12:24:39Z) - Object-Oriented Requirements: a Unified Framework for Specifications,
Scenarios and Tests [63.37657467996478]
記事では、クラスの概念が、狭義の「対象」だけでなく、ユースケースやユーザストーリーといったシナリオを記述するのに十分な一般性を示している。
単一のフレームワークを持つことは、両方のアプローチの利点を享受する要件への道を開く。
論文 参考訳（メタデータ） (2022-09-06T02:47:20Z) - Towards Utility-based Prioritization of Requirements in Open Source
Environments [51.65930505153647]
本稿では、ユーティリティベースの優先順位付けアプローチを使用して、従来およびオープンソース要件エンジニアリングシナリオのコントリビュータをサポートする方法を示します。
例として、ユーティリティベースの優先順位付けプロセスで依存関係をどのように考慮できるかを示します。
論文 参考訳（メタデータ） (2021-02-17T09:05:54Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。