Fugu-MT 論文翻訳(概要): Software is infrastructure: failures, successes, costs, and the case for formal verification

論文の概要: Software is infrastructure: failures, successes, costs, and the case for formal verification

arxiv url: http://arxiv.org/abs/2506.13821v2
Date: Tue, 22 Jul 2025 11:41:24 GMT
ステータス: 翻訳完了
システム内更新日: 2025-07-23 15:16:11.552646
Title: Software is infrastructure: failures, successes, costs, and the case for formal verification
Title（参考訳）: ソフトウェアはインフラである:失敗、成功、コスト、そして正式な検証のケース
Authors: Giovanni Bernardi, Adrian Francalanza, Marco Peressotti, Mohammad Reza Mousavi,
Abstract要約: この40ドル(約4万4000円)で起きた大規模なソフトウェア障害のコストを思い出します。これらのコストは、フォーマルなソフトウェア検証、特にプログラム分析の研究、研究、適用を正当化するものであると我々は主張する。
参考スコア（独自算出の注目度）: 0.5249805590164903
License: http://creativecommons.org/licenses/by/4.0/
Abstract: In this chapter we outline the role that software has in modern society, along with the staggering costs of poor software quality. To lay this bare, we recall the costs of some of the major software failures that happened during the last~$40$ years. We argue that these costs justify researching, studying and applying formal software verification and in particular program analysis. This position is supported by successful industrial experiences.
Abstract（参考訳）: この章では、ソフトウェアが現代社会において果たす役割と、ソフトウェア品質の低下による停滞するコストを概説する。この素地を埋めるために、過去40年ほどの間に起きた大規模なソフトウェア障害のコストを思い出します。これらのコストは、フォーマルなソフトウェア検証、特にプログラム分析の研究、研究、適用を正当化するものであると我々は主張する。この地位は成功した産業経験によって支えられている。

関連論文リスト

Realigning Incentives to Build Better Software: a Holistic Approach to Vendor Accountability [7.627207028377776]
より良い品質のソフトウェアに関する課題は、不整合したインセンティブの連続による小さな部分によるものではない、と私たちは主張する。責任の欠如は、ソフトウェアベンダがあらゆるインセンティブを持って、低品質のソフトウェアを市場に投入することを意味する。この記事では、より良い、よりセキュアなソフトウェア開発にインセンティブを与えるために必要な、総合的な技術とポリシーのフレームワークを概説する。
論文参考訳（メタデータ） (2025-04-10T14:05:24Z)
Agent-Driven Automatic Software Improvement [55.2480439325792]
本提案は,Large Language Models (LLMs) を利用したエージェントの展開に着目して,革新的なソリューションの探求を目的とする。継続的学習と適応を可能にするエージェントの反復的性質は、コード生成における一般的な課題を克服するのに役立ちます。我々は,これらのシステムにおける反復的なフィードバックを用いて,エージェントの基盤となるLLMをさらに微調整し,自動化されたソフトウェア改善のタスクに整合性を持たせることを目指している。
論文参考訳（メタデータ） (2024-06-24T15:45:22Z)
Software Fairness Debt [0.5249805590164902]
本稿では,ソフトウェアシステムにおけるバイアスの多面的性質について考察する。ソフトウェア開発における公平性の欠如の主な原因を特定し,個人やコミュニティに対する悪影響を明らかにする。我々の研究は、ソフトウェア工学における公平さのより深い理解に寄与し、より公平で社会的に責任を負うソフトウェアシステムの開発の道を開いた。
論文参考訳（メタデータ） (2024-05-03T21:45:48Z)
Embedded Software Development with Digital Twins: Specific Requirements for Small and Medium-Sized Enterprises [55.57032418885258]
デジタル双生児は、コスト効率の良いソフトウェア開発とメンテナンス戦略の可能性を秘めている。私たちは中小企業に現在の開発プロセスについてインタビューした。最初の結果は、リアルタイムの要求が、これまでは、Software-in-the-Loop開発アプローチを妨げていることを示している。
論文参考訳（メタデータ） (2023-09-17T08:56:36Z)
ChatDev: Communicative Agents for Software Development [84.90400377131962]
ChatDevはチャットを利用したソフトウェア開発フレームワークで、特別なエージェントがコミュニケーション方法についてガイドされる。これらのエージェントは、統一された言語ベースのコミュニケーションを通じて、設計、コーディング、テストフェーズに積極的に貢献する。
論文参考訳（メタデータ） (2023-07-16T02:11:34Z)
Applying Machine Learning Analysis for Software Quality Test [0.0]
メンテナンスのトリガーと予測されるかどうかを理解することは重要です。生成したプログラムの複雑さを評価する多くの手法は有用な予測モデルを生成する。本稿では,機械学習を利用可能なデータに適用し,累積ソフトウェア故障レベルを算出する。
論文参考訳（メタデータ） (2023-05-16T06:10:54Z)
Lessons from Formally Verified Deployed Software Systems (Extended version) [65.69802414600832]
本稿は、正式に認証されたシステムを作成し、実際に使用するためにデプロイした各種のアプリケーション分野のプロジェクトについて検討する。使用する技術、適用の形式、得られた結果、そしてソフトウェア産業が形式的な検証技術やツールの恩恵を受ける能力について示すべき教訓を考察する。
論文参考訳（メタデータ） (2023-01-05T18:18:46Z)
End-of-Life of Software How is it Defined and Managed? [1.370633147306388]
古いソフトウェアを捨てて、急速に変化するニーズと要求を満たす新しいソフトウェアを取得するのは、より迅速かつ安価になってきている。本稿では,ソフトウェアにおけるエンド・オブ・ライフのシステム工学的概念について考察する。廃止を試みて放棄されたソフトウェアの例を先送りし、放棄されたソフトウェアアーティファクトの反感を探求する。
論文参考訳（メタデータ） (2022-04-08T01:15:02Z)
SUPERNOVA: Automating Test Selection and Defect Prevention in AAA Video Games Using Risk Based Testing and Machine Learning [62.997667081978825]
従来の手法では、成長するソフトウェアシステムではスケールできないため、ビデオゲームのテストはますます難しいタスクになります。自動化ハブとして機能しながら,テスト選択と欠陥防止を行うシステム SUPERNOVA を提案する。この直接的な影響は、未公表のスポーツゲームタイトルの55%以上のテスト時間を減らすことが観察されている。
論文参考訳（メタデータ） (2022-03-10T00:47:46Z)
Empowered and Embedded: Ethics and Agile Processes [60.63670249088117]
私たちは倫理的考慮事項を(アジャイル)ソフトウェア開発プロセスに組み込む必要があると論じています。私たちは、すでに存在しており、確立されたアジャイルソフトウェア開発プロセスで倫理的な議論を実施する可能性を強調しました。
論文参考訳（メタデータ） (2021-07-15T11:14:03Z)
Software must be recognised as an important output of scholarly research [7.776162183510522]
方法論的な観点からも重要でありながら、ソフトウェアは研究のアウトプットとして認識されるべきである、と我々は主張する。この記事では、ソフトウェアが研究で果たすさまざまな役割について論じ、ソフトウェアと研究の持続可能性の関係を強調します。
論文参考訳（メタデータ） (2020-11-15T16:34:31Z)
Software Effort Estimation using parameter tuned Models [1.9336815376402716]
見積もりの正確さは、プロジェクトの失敗の理由です。ソフトウェア業界の最大の落とし穴は、ソフトウェア開発の急速に変化する性質であった。ソフトウェア製品の開発コストを正確に予測する有用なモデルの開発が必要です。
論文参考訳（メタデータ） (2020-08-25T15:18:59Z)
Machine Learning for Software Engineering: A Systematic Mapping [73.30245214374027]
ソフトウェア開発業界は、現代のソフトウェアシステムを高度にインテリジェントで自己学習システムに移行するために、機械学習を急速に採用している。ソフトウェアエンジニアリングライフサイクルの段階にわたって機械学習の採用について、現状を探求する包括的な研究は存在しない。本研究は,機械学習によるソフトウェア工学(MLSE)分類を,ソフトウェア工学ライフサイクルのさまざまな段階に適用性に応じて,最先端の機械学習技術に分類するものである。
論文参考訳（メタデータ） (2020-05-27T11:56:56Z)

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