論文の概要: Role, cost, and complexity of software in the real-world: a case for formal methods
- arxiv url: http://arxiv.org/abs/2506.13821v1
- Date: Sun, 15 Jun 2025 07:40:22 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-06-18 17:34:59.17063
- Title: Role, cost, and complexity of software in the real-world: a case for formal methods
- 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) - ChatDev: Communicative Agents for Software Development [84.90400377131962]
ChatDevはチャットを利用したソフトウェア開発フレームワークで、特別なエージェントがコミュニケーション方法についてガイドされる。
これらのエージェントは、統一された言語ベースのコミュニケーションを通じて、設計、コーディング、テストフェーズに積極的に貢献する。
論文 参考訳（メタデータ） (2023-07-16T02:11:34Z) - 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) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。