論文の概要: Validation-Driven Development

• arxiv url: http://arxiv.org/abs/2308.06028v1
• Date: Fri, 11 Aug 2023 09:15:26 GMT
• ステータス: 処理完了
• システム内更新日: 2023-10-23 14:42:51.589711
• Title: Validation-Driven Development
• Title（参考訳）: 検証駆動開発
• Authors: Sebastian Stock, Atif Mashkoor, Alexander Egyed
• Abstract要約: 本稿では,形式的開発における要件の検証を優先する検証駆動開発(VDD)プロセスを紹介する。 VDDプロセスの有効性は、航空業界におけるケーススタディを通じて実証されている。
• 参考スコア（独自算出の注目度）: 54.50263643323
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Formal methods play a fundamental role in asserting the correctness of requirements specifications. However, historically, formal method experts have primarily focused on verifying those specifications. Although equally important, validation of requirements specifications often takes the back seat. This paper introduces a validation-driven development (VDD) process that prioritizes validating requirements in formal development. The VDD process is built upon problem frames - a requirements analysis approach - and validation obligations (VOs) - the concept of breaking down the overall validation of a specification and linking it to refinement steps. The effectiveness of the VDD process is demonstrated through a case study in the aviation industry.
• Abstract（参考訳）: 形式的手法は要求仕様の正しさを主張する上で基本的な役割を果たす。 しかし、歴史的に、形式的な手法の専門家は、これらの仕様の検証に重点を置いてきた。 同様に重要であるが、要求仕様の検証がしばしば背後で行われる。 本稿では,形式的開発における要件の検証を優先する検証駆動開発(VDD)プロセスを紹介する。 VDDプロセスは、要求分析のアプローチである問題フレームと検証義務(VO)に基づいて構築されます。 VDDプロセスの有効性は、航空業界におけるケーススタディを通じて実証されている。

関連論文リスト

• Analogous Alignments: Digital "Formally" meets Analog [0.0]
  本稿では,デジタルブロックとアナログブロックを組み合わせた混合信号知的特性(IP)の実用的形式検証に着目する。 Digital and Analog Mixed-Signal (AMS)設計は、本質的に異なるが、形式的な検証設定でシームレスに統合される。
  論文  参考訳（メタデータ） (2024-09-23T13:38:31Z)
• Beyond One-Time Validation: A Framework for Adaptive Validation of Prognostic and Diagnostic AI-based Medical Devices [55.319842359034546]
  既存のアプローチは、これらのデバイスを実際にデプロイする際の複雑さに対処するのに不足することが多い。 提示されたフレームワークは、デプロイメント中に検証と微調整を繰り返すことの重要性を強調している。 現在の米国とEUの規制分野に位置づけられている。
  論文  参考訳（メタデータ） (2024-09-07T11:13:52Z)
• Towards an Enforceable GDPR Specification [49.1574468325115]
  プライバシ・バイ・デザイン(PbD)は、EUなどの現代的なプライバシー規制によって規定されている。 PbDを実現する1つの新しい技術は強制(RE)である 法律規定の正式な仕様を作成するための一連の要件と反復的な方法論を提示する。
  論文  参考訳（メタデータ） (2024-02-27T09:38:51Z)
• Extending Rely-Guarantee thinking to handle Real-Time Scheduling [1.5527108310849955]
  リアルタイムシステムには、進捗を必要とする方法と、その進捗を時間の概念に関連付ける方法の両方が必要です。 本稿では,リアルタイムスケジューラの仕様と仮定に対処するために,信頼度保証の考え方を拡張した。
  論文  参考訳（メタデータ） (2023-11-30T20:04:30Z)
• Towards Scenario-based Safety Validation for Autonomous Trains with Deep Generative Models [0.0]
  シナリオベース検証のための深層生成モデルを用いたデータシミュレーションの有用性に関する実践経験を報告する。 本研究では,鉄道シーンをより深い生成モデルで意味論的に編集し,限られた量の試験データをより代表的なものにする能力を実証する。
  論文  参考訳（メタデータ） (2023-10-16T17:55:14Z)
• Better Practices for Domain Adaptation [62.70267990659201]
  ドメイン適応(DA)は、ラベルを使わずに、モデルを配置データに適用するためのフレームワークを提供することを目的としている。 DAの明確な検証プロトコルは、文献の悪い実践につながっている。 ドメイン適応手法の3つの分野にまたがる課題を示す。
  論文  参考訳（メタデータ） (2023-09-07T17:44:18Z)
• STL: Surprisingly Tricky Logic (for System Validation) [0.04301276597844757]
  検証正当性を決定する上では,仕様書の真正性,形式的手法に精通した被験者の親密性,教育水準が重要な要因であることが判明した。 参加者は肯定バイアスを示し、有効仕様の精度は大幅に向上したが、無効仕様の精度は著しく低下した。
  論文  参考訳（メタデータ） (2023-05-26T21:01:26Z)
• Conformance Checking with Uncertainty via SMT (Extended Version) [66.58864135810981]
  データ認識参照プロセスに対する不確実なログの適合性を確認する方法を示す。 我々のアプローチはモジュラーであり、異なるタイプの不確実性に均質に適合する。 本研究は,概念実証によるアプローチの正しさと実現可能性を示す。
  論文  参考訳（メタデータ） (2022-06-15T11:39:45Z)
• Unsupervised Domain Generalization for Person Re-identification: A Domain-specific Adaptive Framework [50.88463458896428]
  ドメイン一般化(DG)は近年,人物再同定(ReID)において注目されている。 既存のメソッドは通常、ソースドメインにラベルを付ける必要があります。 本稿では、単純で効率的なドメイン固有適応化フレームワークを提案し、適応正規化モジュールで実現する。
  論文  参考訳（メタデータ） (2021-11-30T02:35:51Z)

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

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