論文の概要: Formal Methods: From Academia to Industrial Practice. A Travel Guide

• arxiv url: http://arxiv.org/abs/2002.07279v3
• Date: Tue, 13 Feb 2024 03:11:38 GMT
• ステータス: 処理完了
• システム内更新日: 2024-02-14 20:39:49.357002
• Title: Formal Methods: From Academia to Industrial Practice. A Travel Guide
• Title（参考訳）: 形式的方法:学界から産業実践へ。 旅行ガイド
• Authors: Marieke Huisman, Dilian Gurov, and Alexander Malkis
• Abstract要約: 産業ソフトウェア開発の本当の変化は起こっていないようだ。 フォーマルなメソッドが達成できることと、日々のソフトウェア開発プラクティスのギャップは、小さくなっているようには見えません。
• 参考スコア（独自算出の注目度）: 46.04829474801786
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: For many decades, formal methods are considered to be the way forward to help the software industry to make more reliable and trustworthy software. However, despite this strong belief and many individual success stories, no real change in industrial software development seems to be occurring. In fact, the software industry itself is moving forward rapidly, and the gap between what formal methods can achieve and the daily software-development practice does not appear to be getting smaller (and might even be growing). In the past, many recommendations have already been made on how to develop formal-methods research in order to close this gap. This paper investigates why the gap nevertheless still exists and provides its own recommendations on what can be done by the formal-methods-research community to bridge it. Our recommendations do not focus on open research questions. In fact, formal-methods tools and techniques are already of high quality and can address many non-trivial problems; we do give some technical recommendations on how tools and techniques can be made more accessible. To a greater extent, we focus on the human aspect: how to achieve impact, how to change the way of thinking of the various stakeholders about this issue, and in particular, as a research community, how to alter our behaviour, and instead of competing, collaborate to address this issue.
• Abstract（参考訳）: 何十年もの間、フォーマルな手法は、ソフトウェア産業がより信頼性があり信頼できるソフトウェアを作るのを助けるための道のりだと考えられている。 しかし、この強い信念と多くの個人の成功ストーリーにもかかわらず、産業ソフトウェア開発における本当の変化は発生していないようだ。 実際、ソフトウェア産業そのものは急速に前進しており、形式的な方法が達成できることと日々のソフトウェア開発プラクティスとのギャップは小さくなってはいない(成長しているかもしれない)。 過去には、このギャップを埋めるために、フォーマルな方法論の研究方法に関する多くの勧告がすでになされている。 本稿は,このギャップがいまだに残っている理由を考察し,形式的手法研究コミュニティがそれを橋渡しするために何ができるかを,独自の推奨事項として提示する。 我々の推薦はオープンリサーチの問題に焦点を絞らない。 実際、フォーマルなメソッドツールとテクニックは、すでに高品質であり、多くの非自明な問題に対処できます。 影響を達成する方法、この問題に対する様々な利害関係者の考え方を変える方法、特に研究コミュニティとしての私たちの行動を変える方法、競合する代わりに協力してこの問題に取り組む方法などです。

関連論文リスト

• No Regrets: Investigating and Improving Regret Approximations for Curriculum Discovery [53.08822154199948]
  非教師なし環境設計(UED)手法は、エージェントがイン・オブ・アウト・ディストリビューションタスクに対して堅牢になることを約束する適応的カリキュラムとして近年注目を集めている。 本研究は,既存のUEDメソッドがいかにトレーニング環境を選択するかを検討する。 本研究では,学習性の高いシナリオを直接訓練する手法を開発した。
  論文  参考訳（メタデータ） (2024-08-27T14:31:54Z)
• A Survey on Model MoErging: Recycling and Routing Among Specialized Experts for Collaborative Learning [136.89318317245855]
  MoErgingは、専門家のモデルをリサイクルして、パフォーマンスや一般化を改善した集約システムを構築することを目的としている。 MoErgingメソッドの重要なコンポーネントは、特定の入力やアプリケーションに使用する専門家モデルを決定するルータの作成である。 このサーベイには、キーデザインの選択をカタログ化し、各手法に適した適用方法を明確にするための新しい分類が含まれている。
  論文  参考訳（メタデータ） (2024-08-13T17:49:00Z)
• Effective Technical Reviews [0.7212939068975619]
  プログラムの実行は、プログラムの正しさをレビューする究極のテストである一方で、プログラムは開発初期に発生し、効果的に実行された場合の問題を見つけることができる。 プログラマは、プログラムを効果的にレビューし、インタフェースの問題から様々な問題を見つけることができる。
  論文  参考訳（メタデータ） (2024-07-02T15:19:52Z)
• How are We Detecting Inconsistent Method Names? An Empirical Study from Code Review Perspective [13.585460827586926]
  メソッドの適切な命名は、プログラムコードを理解しやすくし、ソフトウェア保守性を高める。 メソッド名の不整合をチェックする自動ツールの開発に多くの研究努力が費やされている。 本研究では,最先端技術が一貫性と一貫性のないメソッド名の検出や推奨にどのように貢献するかを実証研究する。
  論文  参考訳（メタデータ） (2023-08-24T10:39:18Z)
• Practical Bandits: An Industry Perspective [7.682671667564167]
  Banditパラダイムは、不確実性の下で意思決定を必要とする問題に対する統一されたモデリングフレームワークを提供する。 banditレンズによって、私たちが関心を持っているメトリクスの直接最適化が約束されます。 このチュートリアルは、バンディットの理論と実践の間のギャップを埋めるための一歩を踏み出す。
  論文  参考訳（メタデータ） (2023-02-02T17:03:40Z)
• Lessons from Formally Verified Deployed Software Systems (Extended version) [65.69802414600832]
  本稿は、正式に認証されたシステムを作成し、実際に使用するためにデプロイした各種のアプリケーション分野のプロジェクトについて検討する。 使用する技術、適用の形式、得られた結果、そしてソフトウェア産業が形式的な検証技術やツールの恩恵を受ける能力について示すべき教訓を考察する。
  論文  参考訳（メタデータ） (2023-01-05T18:18:46Z)
• A Manifesto for Applicable Formal Methods [0.0]
  我々の仮説では、形式的手法は依然として、意図した用途に十分、あるいは準備ができていないように思われる。 このマニフェストは、最大限の利益を得るためにフォーマルメソッドの使用の増加を促進するために努力している。
  論文  参考訳（メタデータ） (2021-12-23T18:24:28Z)
• A Review of Uncertainty Quantification in Deep Learning: Techniques, Applications and Challenges [76.20963684020145]
  不確実性定量化(UQ)は、最適化と意思決定プロセスの両方において不確実性の低減に重要な役割を果たしている。 ビザレ近似とアンサンブル学習技術は、文学において最も広く使われている2つのUQ手法である。 本研究は, 深層学習におけるUQ手法の最近の進歩を概観し, 強化学習におけるこれらの手法の適用について検討する。
  論文  参考訳（メタデータ） (2020-11-12T06:41:05Z)
• A Methodology for Creating AI FactSheets [67.65802440158753]
  本稿では、FactSheetsと呼ぶAIドキュメントの形式を作るための方法論について述べる。 方法論の各ステップの中で、検討すべき問題と探求すべき質問について説明する。 この方法論は、透明なAIドキュメントの採用を加速する。
  論文  参考訳（メタデータ） (2020-06-24T15:08:59Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。