論文の概要: A Systematic Mapping Study on Contract-based Software Design for Dependable Systems
- arxiv url: http://arxiv.org/abs/2505.07542v1
- Date: Mon, 12 May 2025 13:25:29 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-05-13 20:21:49.39723
- Title: A Systematic Mapping Study on Contract-based Software Design for Dependable Systems
- Title（参考訳）: 従属システムのための契約型ソフトウェア設計に関するシステムマッピング研究
- Authors: Fazli Faruk Okumus, Amra Ramic, Stefan Kugele,
- Abstract要約: コントラクトベースの設計(CbD)は、契約を伴うコードやアーキテクチャコンポーネントのアノテーションを可能にする、ソフトウェア設計のための貴重な方法論です。
ソフトウェアコンポーネントの振る舞いとそのインターフェースとインタラクションを概説するルールを確立する。
CbDの意義と理論的背景にもかかわらず、信頼できるソフトウェアシステムのための総合的な体系的マッピング研究が必要である。
- 参考スコア（独自算出の注目度）: 0.45880283710344055
- License: http://creativecommons.org/licenses/by-nc-sa/4.0/
- Abstract: Background: Contract-based Design (CbD) is a valuable methodology for software design that allows annotation of code and architectural components with contracts, thereby enhancing clarity and reliability in software development. It establishes rules that outline the behaviour of software components and their interfaces and interactions. This modular approach enables the design process to be segmented into smaller, independently developed, tested, and verified system components, ultimately leading to more robust and dependable software. Aim: Despite the significance and well-established theoretical background of CbD, there is a need for a comprehensive systematic mapping study for reliable software systems. Our study provides an evidence-based overview of a method and demonstrates its practical feasibility. Method: To conduct this study, we systematically searched three different databases using specially formulated queries, which initially yielded 1,221 primary studies. After voting, we focused on 288 primary studies for more detailed analysis. Finally, a collaborative review allowed us to gather relevant evidence and information to address our research questions. Results: Our findings suggest potential avenues for future research trajectories in CbD, emphasising its role in improving the dependability of software systems. We highlight maturity levels across different domains and identify areas that may benefit from further research. Conclusion: Although CbD is a well-established software design approach, a more comprehensive literature review is needed to clarify its theoretical state about dependable systems. Our study addresses this gap by providing a detailed overview of CbD from various perspectives, identifying key gaps, and suggesting future research directions.
- Abstract（参考訳）: 背景: コントラクトベースの設計(CbD)は、契約を伴うコードやアーキテクチャコンポーネントのアノテーションを可能にする、ソフトウェア設計のための貴重な方法論です。
ソフトウェアコンポーネントの振る舞いとそのインターフェースとインタラクションを概説するルールを確立する。
このモジュラーアプローチにより、設計プロセスをより小さく、独立して開発され、テストされ、検証されたシステムコンポーネントに分割することができ、最終的にはより堅牢で信頼性の高いソフトウェアに繋がる。
Aim: CbDの重要性と理論的な背景にもかかわらず、信頼できるソフトウェアシステムのための総合的な体系的なマッピング研究が必要です。
本研究は,エビデンスに基づく手法の概要と実用性を示すものである。
方法: 本研究は, 当初は1,221の一次研究を生んだ, 特別に定式化されたクエリを用いて, 3種類のデータベースを体系的に検索した。
投票後、我々はより詳細な分析のために288の初等教育に焦点をあてた。
最後に、共同レビューによって、研究課題に対処するために、関連する証拠や情報を集めることができました。
結果:本研究はCbDにおける今後の研究の道筋を示唆し,ソフトウェアシステムの信頼性向上におけるその役割を強調した。
さまざまな領域にわたる成熟度レベルを強調し、さらなる研究の恩恵を受ける可能性のある領域を特定します。
結論: CbDは確立されたソフトウェア設計アプローチであるが、信頼性のあるシステムに関する理論状態を明らかにするためには、より包括的な文献レビューが必要である。
本研究は,様々な視点からCbDの詳細な概要を提供し,重要なギャップを特定し,今後の研究方向性を提案することで,このギャップに対処する。
関連論文リスト
- Code-Survey: An LLM-Driven Methodology for Analyzing Large-Scale Codebases [3.8153349016958074]
我々は,大規模規模の探索と解析を目的とした最初のLCM駆動型手法であるCode-Surveyを紹介した。
調査を慎重に設計することで、Code-Surveyはコミット、Eメールなどの構造化されていないデータを、構造化、構造化、分析可能なデータセットに変換する。
これにより、複雑なソフトウェアの進化を定量的に分析し、設計、実装、保守、信頼性、セキュリティに関する貴重な洞察を明らかにすることができる。
論文 参考訳（メタデータ） (2024-09-24T17:08:29Z) - A Comprehensive Survey on Underwater Image Enhancement Based on Deep Learning [51.7818820745221]
水中画像強調(UIE)はコンピュータビジョン研究において重要な課題である。
多数のUIEアルゴリズムが開発されているにもかかわらず、網羅的で体系的なレビューはいまだに欠落している。
論文 参考訳（メタデータ） (2024-05-30T04:46:40Z) - Deep Configuration Performance Learning: A Systematic Survey and Taxonomy [3.077531983369872]
我々は6つの索引付けサービスにまたがる1,206件の検索済み論文を網羅し,ソフトウェアのパフォーマンス学習におけるディープラーニングのトピックを包括的にレビューする。
本研究は, 構成データ作成に関連する技術について, 重要な統計, 分類学, 強度, 弱点, 最適利用シナリオについて概説した。
また、調査した研究から、優れた実践と潜在的に問題となる現象を同定し、その分野における将来の機会に関する実行可能な提案と洞察を包括的にまとめる。
論文 参考訳（メタデータ） (2024-03-05T21:05:16Z) - Systematic Mapping Protocol -- UX Design role in software development
process [55.2480439325792]
ソフトウェア開発プロセスにおけるUXデザイナの役割を調べるための体系的なマッピングプロトコルを提案する。
本研究は,地図作成に使用する研究課題,スコープ,ソース,検索戦略,選択基準,データ抽出,分析方法を定義する。
論文 参考訳（メタデータ） (2024-02-20T16:56:46Z) - Set-to-Sequence Ranking-based Concept-aware Learning Path Recommendation [49.85548436111153]
SRC(Set-to-Sequence Ranking-based Concept-Aware Learning Path Recommendation)という新しいフレームワークを提案する。
SRCは、セット・ツー・シーケンス・パラダイムの下でレコメンデーション・タスクを定式化する。
実世界の2つの公開データセットと1つの産業データセットについて広範な実験を行う。
論文 参考訳（メタデータ） (2023-06-07T08:24:44Z) - A Prelimanary Exploration on component based software engineering [0.0]
コンポーネントベースのソフトウェア開発(CBD)は、ソフトウェア開発を加速し、コストとタイムラインを節約し、テスト要件を最小化し、品質とアウトプットを向上するために、ソフトウェア産業が採用する方法論である。
本稿では,コンポーネントベースのソフトウェア工学の概念について論じる。
論文 参考訳（メタデータ） (2023-05-23T10:07:59Z) - A Domain-Agnostic Approach for Characterization of Lifelong Learning
Systems [128.63953314853327]
「生涯学習」システムには,1)継続的学習,2)伝達と適応,3)拡張性があります。
この一連のメトリクスは、様々な複雑な生涯学習システムの開発に役立てることができることを示す。
論文 参考訳（メタデータ） (2023-01-18T21:58:54Z) - Investigating Fairness Disparities in Peer Review: A Language Model
Enhanced Approach [77.61131357420201]
我々は、大規模言語モデル(LM)の助けを借りて、ピアレビューにおける公平性格差の徹底した厳密な研究を行う。
我々は、2017年から現在までのICLR(International Conference on Learning Representations)カンファレンスで、包括的なリレーショナルデータベースを収集、組み立て、維持しています。
我々は、著作者性別、地理、著作者、機関的名声など、興味のある複数の保護属性に対する公平性の違いを仮定し、研究する。
論文 参考訳（メタデータ） (2022-11-07T16:19:42Z) - Wizard of Search Engine: Access to Information Through Conversations
with Search Engines [58.53420685514819]
我々は3つの側面からCISの研究を促進するために努力している。
目的検出(ID)、キーフレーズ抽出(KE)、行動予測(AP)、クエリ選択(QS)、通過選択(PS)、応答生成(RG)の6つのサブタスクでCIS用のパイプラインを定式化する。
検索エンジンのウィザード(WISE)と呼ばれるベンチマークデータセットをリリースし、CISのすべての側面について包括的かつ詳細な調査を可能にします。
論文 参考訳（メタデータ） (2021-05-18T06:35:36Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。