論文の概要: Operationalizing Software Engineering Theories for Practical Validation
- arxiv url: http://arxiv.org/abs/2605.03257v1
- Date: Tue, 05 May 2026 01:09:34 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-05-06 19:35:43.700225
- Title: Operationalizing Software Engineering Theories for Practical Validation
- Title（参考訳）: 実用検証のためのソフトウェアエンジニアリング理論の運用
- Authors: Isaque Alves, Fabio Kon, Jessica Diaz, Carla Rocha,
- Abstract要約: ソフトウェア工学は、しばしば社会科学から理論構築フレームワークを適用し、社会技術的複雑さに対処する。
操作は抽象概念を経験的検証のための測定可能な要素に変換する。
本稿では,抽象概念と経験的検証のギャップを埋める運用段階の体系的な手順を提案する。
- 参考スコア（独自算出の注目度）: 2.465742022428245
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Software Engineering often adapts theory-building frameworks from the social sciences to address socio-technical complexity. The key phases of the theory-building process are conceptual development, operationalization, testing, and application. Operationalization translates abstract concepts into measurable elements for empirical validation. This phase is essential for delivering the practical utility required by an applied science like Software Engineering. We propose a systematic procedure for the operationalization phase that bridges the gap between abstract concepts and empirical validation, ensuring the resulting theory is both rigorous and practically useful. We extend the operationalization framework proposed by Sjøberg et al. and formulate non-causal hypotheses following Dubin's approach. Our procedure defines variables, selects indicators, and systematically derives hypotheses. We present a replicable, evidence-based methodological guideline that preserves a clear chain of evidence and supports practical validation. We illustrate the procedure using the DevOps Team Taxonomies Theory. This guideline provides a transparent chain of evidence from theory to testable elements, empowering researchers to ground theoretical advancements in empirical evidence and deliver actionable insights for practitioners.
- Abstract（参考訳）: ソフトウェア工学は、しばしば社会科学から理論構築フレームワークを適用し、社会技術的複雑さに対処する。
理論構築プロセスの重要なフェーズは、概念開発、運用、テスト、アプリケーションである。
操作は抽象概念を経験的検証のための測定可能な要素に変換する。
このフェーズは、ソフトウェア工学のような応用科学が必要とする実用性を実現するために不可欠です。
本稿では,抽象概念と実証的検証のギャップを埋める運用段階の体系的な手順を提案する。
我々は、Sjøbergらによって提案された運用化フレームワークを拡張し、Dubinのアプローチに従って非因果仮説を定式化する。
我々の手順は変数を定義し、指標を選択し、体系的に仮説を導出する。
本稿では, 証拠の明確な連鎖を保存し, 実用的検証を支援する, 複製可能なエビデンスに基づく方法論ガイドラインを提案する。
DevOps Team Taxonomies Theoryを使って手順を説明します。
このガイドラインは、理論から検証可能な要素への証拠の透過的な連鎖を提供し、研究者に経験的証拠の理論的進歩を基礎にし、実践者に対して実行可能な洞察を提供することを可能にしている。
関連論文リスト
- Automated Adversarial Collaboration for Advancing Theory Building in the Cognitive Sciences [9.858210301644549]
本稿では,競合する理論間の共役を行うための自動対向協調フレームワークを提案する。
このシステムは、LCMに基づく理論エージェント、プログラム合成、閉ループにおける情報理論の実験設計を組み合わせる。
論文 参考訳（メタデータ） (2026-04-28T11:41:08Z) - Statistical Learning Theory in Lean 4: Empirical Processes from Scratch [57.00315741159824]
本稿では,経験的プロセス理論に基づく統計学習理論(SLT)の総合的なLean 4形式化について述べる。
エンドツーエンドの正式なインフラストラクチャは、最新のLean 4 Mathlibライブラリに欠けている内容を実装しています。
この研究は再利用可能な形式基盤を確立し、機械学習理論の今後の発展への扉を開く。
論文 参考訳（メタデータ） (2026-02-02T16:24:53Z) - Fourier Neural Operators Explained: A Practical Perspective [75.12291469255794]
フーリエ・ニューラル・オペレータ(FNO)は、そのエレガントなスペクトル定式化により最も影響力があり広く採用されている。
本ガイドは,FNOを多種多様な科学・工学分野に効果的に適用するための,明確かつ信頼性の高い枠組みを確立することを目的とする。
論文 参考訳（メタデータ） (2025-12-01T08:56:21Z) - Newton to Einstein: Axiom-Based Discovery via Game Design [55.30047000068118]
本稿では,ルール進化システムとして科学調査を再放送するゲームデザインフレームワークを提案する。
固定された仮定内で動作する従来のMLアプローチとは異なり、本手法は新たな理論構造の発見を可能にする。
論文 参考訳（メタデータ） (2025-09-05T18:59:18Z) - CTRLS: Chain-of-Thought Reasoning via Latent State-Transition [57.51370433303236]
チェーン・オブ・シント(CoT)推論は、大規模な言語モデルで複雑な問題を解釈可能な中間ステップに分解することを可能にする。
我々は,遅延状態遷移を伴うマルコフ決定プロセス(MDP)としてCoT推論を定式化するフレームワークであるgroundingSを紹介する。
我々は、ベンチマーク推論タスクにおける推論精度、多様性、探索効率の改善を示す。
論文 参考訳（メタデータ） (2025-07-10T21:32:18Z) - A Theory-driven Interpretation and Elaboration of Verification and Validation [49.97673761305336]
本稿では,システム工学における検証と検証の形式理論について述べる。
検証と検証の正確な定義を開発し、システムに関する知識の確認と文脈化におけるそれらの役割を明確にする。
論文 参考訳（メタデータ） (2025-04-11T17:58:07Z) - Generalised Process Theories [0.0]
本稿では,SMCをオペラカル構造に接続する最近の結果に動機づけられた,オペラカル代数を用いた代替形式化を提案する。
我々は、従来のプロセス理論のアプローチを統一し拡張する、アクセス可能だが厳格な定式化を提供する。
論文 参考訳（メタデータ） (2025-02-14T18:47:07Z) - Theory building for empirical software engineering in qualitative research: Operationalization [4.268591926288843]
本稿では,理論構築における運用フェーズを体系化する一連の手順を提案する。
我々は、我々の理論を構成する概念と命題を運用し、構成物と経験的に検証可能な仮説を生成する。
論文 参考訳（メタデータ） (2024-12-03T11:15:27Z) - Constructor Theory as Process Theory [0.0]
プロセス理論のキャンバス内でコンストラクタ理論の基本概念を定式化する方法を示す。
我々は、コンストラクタ理論がプロセス理論文学のより広い体系とどのように関係しているかという疑問に答える。
論文 参考訳（メタデータ） (2023-12-14T12:58:55Z) - A practical introduction to the Rational Speech Act modeling framework [2.1485350418225244]
計算認知科学の最近の進歩は、形式的で実装可能なプラグマティクスのモデルにおいて、大きな進歩の道を開いた。
本稿では,ベイズ合理音声法モデリングフレームワークの実践的紹介と批判的評価を行う。
論文 参考訳（メタデータ） (2021-05-20T16:08:04Z) - Forecasting: theory and practice [65.71277206849244]
本稿は、理論と予測の実践について、非体系的なレビューを提供する。
我々は、幅広い理論的、最先端のモデル、方法、原則、アプローチの概要を提供する。
そして、そのような理論概念が様々な実生活の文脈でどのように適用されるかを示す。
論文 参考訳（メタデータ） (2020-12-04T16:56:44Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。