Fugu-MT 論文翻訳(概要): Adventures in FRET and Specification

論文の概要: Adventures in FRET and Specification

arxiv url: http://arxiv.org/abs/2503.24040v1
Date: Mon, 31 Mar 2025 13:03:34 GMT
ステータス: 翻訳完了
システム内更新日: 2025-04-01 19:35:57.399212
Title: Adventures in FRET and Specification
Title（参考訳）: FRETのアドベンチャーと仕様
Authors: Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan,
Abstract要約: システム要件を捉えるためにFRETを使用した4つのケーススタディについて論じる。これらの形式化された要求はその後、形式的なパラダイムの組み合わせでケーススタディの仕様を導いた。私たちの経験から、FRETが要求の啓発と理解の枠組みとして適していることが確認できます。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: This paper gives an overview of previous work in which the authors used NASA's Formal Requirement Elicitation Tool (FRET) to formalise requirements. We discuss four case studies where we used FRET to capture the system's requirements. These formalised requirements subsequently guided the case study specifications in a combination of formal paradigms. For each case study we summarise insights gained during this process, exploring the expressiveness and the potential interoperability of these approaches. Our experience confirms FRET's suitability as a framework for the elicitation and understanding of requirements and for providing traceability from requirements to specification.
Abstract（参考訳）: 本稿では, 著者らがNASAのFRET (Formal Requirement Elicitation Tool) を用いて要件を定式化した以前の研究の概要について述べる。システム要件を捉えるためにFRETを使用した4つのケーススタディについて論じる。これらの形式化された要求はその後、形式的なパラダイムの組み合わせでケーススタディの仕様を導いた。各ケーススタディでは、このプロセスで得られた洞察を要約し、これらのアプローチの表現性と潜在的な相互運用性を探る。私たちの経験から、FRETが要求の活用と理解、および要求から仕様へのトレーサビリティを提供するためのフレームワークとして適していることが確認できます。

関連論文リスト

A Tale of Two Imperatives: Privacy and Explainability [0.0]
科学分野におけるディープラーニングの優位性は、高い意思決定を形作っている。本稿では,RTP(Right-to-Privacy)とRTE(Right-to-Explanation)を組み合わせる複雑さについて検討する。
論文参考訳（メタデータ） (2024-12-30T08:43:28Z)
Benchmarking Large Language Models for Conversational Question Answering in Multi-instructional Documents [61.41316121093604]
対話型質問応答(CQA)の文脈における大規模言語モデル(LLM)を評価するための新しいベンチマークであるInsCoQAを提案する。 InsCoQAは、百科事典スタイルの教育内容から派生したもので、複数の文書から手続き的ガイダンスを抽出し、解釈し、正確に要約する能力のモデルを評価する。また,LLM支援型評価器であるInsEvalを提案する。
論文参考訳（メタデータ） (2024-10-01T09:10:00Z)
Extracting Training Data from Document-Based VQA Models [67.1470112451617]
VLM(Vision-Language Models)は、文書ベースの視覚質問回答において顕著な進歩を遂げている(つまり、画像として提供される入力文書の内容に関する問い合わせに応答する)。これらのモデルでは、関連する視覚情報が削除された場合でも、トレーニングサンプルに対する応答を記憶し、それらをリグルジタイズすることができる。これには、トレーニングセットで繰り返し繰り返されるパーソナライズ可能な情報が含まれており、これらのモデルが機密情報を漏らし、したがってプライバシーリスクを引き起こす可能性があることを示している。
論文参考訳（メタデータ） (2024-07-11T17:44:41Z)
The Art of Saying No: Contextual Noncompliance in Language Models [123.383993700586]
本稿では,ユーザの要求に従わないモデルについて,コンテキスト非準拠の包括的分類を導入する。我々の分類は、不完全、不完全、不完全、不決定、人為的要求を含む幅広いカテゴリーにまたがる。言語モデルの非準拠性をテストするために,1000個の非準拠プロンプトの新たな評価スイートを開発するために,この分類法を用いる。
論文参考訳（メタデータ） (2024-07-02T07:12:51Z)
Normative Requirements Operationalization with Large Language Models [3.456725053685842]
規範的な非機能要件は、社会的、法的、倫理的、共感的、文化的規範の違反を避けるために、システムが観察しなければならない制約を規定する。近年の研究では、規範的要件を特定するためにドメイン固有言語を使用してこの問題に対処している。本稿では,システム機能の抽象表現間の意味的関係を抽出するために,大規模言語モデルを用いた補完的アプローチを提案する。
論文参考訳（メタデータ） (2024-04-18T17:01:34Z)
A multi-case study of agile requirements engineering and the use of test cases as requirements [5.71126361766062]
テストケースは一般的に要件と見なされ、詳細な要件はテストケースとして文書化されます。要件としてテストケースを使用することは、要件の抽出、検証、検証、管理において、メリットと課題の両方をもたらします。テストケースを要件として使用するプラクティスの特定された変種は、アジャイル要件エンジニアリングの詳細な調査に使用することができる。
論文参考訳（メタデータ） (2023-08-22T19:13:45Z)
Socratic Pretraining: Question-Driven Pretraining for Controllable Summarization [89.04537372465612]
ソクラティック事前訓練は、要約タスクにおける制御性を改善するために設計された、質問駆動で教師なし事前訓練の目的である。以上の結果から,Socraticプレトレーニングはタスク固有のラベル付きデータ要件を半分に削減することがわかった。
論文参考訳（メタデータ） (2022-12-20T17:27:10Z)
Zero-Shot On-the-Fly Event Schema Induction [61.91468909200566]
本稿では,大規模な言語モデルを用いて,高レベルなイベント定義,特定のイベント,引数,それらの関係を予測・付与するソースドキュメントを生成する手法を提案する。我々のモデルを用いて、任意のトピックに関する完全なスキーマを、手動のデータ収集、すなわちゼロショットの方法で、オンザフライで生成することができる。
論文参考訳（メタデータ） (2022-10-12T14:37:00Z)
The Use of NLP-Based Text Representation Techniques to Support Requirement Engineering Tasks: A Systematic Mapping Review [1.5469452301122177]
研究の方向性は、語彙的・構文的特徴の使用から高度な埋め込み技術の使用へと変化した。既存の文献の4つのギャップ、それらが問題となる理由、そして今後の研究がそれらにどう対処し始めるかを特定する。
論文参考訳（メタデータ） (2022-05-17T02:47:26Z)
Requirements Elicitation in Cognitive Service for Recommendation [3.286378299443229]
本稿では,ユーザ要求適応フレームワーク(URef)と,注意に基づく応答生成モデルSaRSNetを提案する。オープンデータセットemphDuRecDialの実験結果は,ベースラインと比較して大幅に改善されている。
論文参考訳（メタデータ） (2022-03-29T07:44:59Z)
Explaining Relationships Between Scientific Documents [55.23390424044378]
本稿では,2つの学術文書間の関係を自然言語テキストを用いて記述する課題に対処する。本稿では154K文書から622Kサンプルのデータセットを作成する。
論文参考訳（メタデータ） (2020-02-02T03:54:47Z)

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