論文の概要: Requirements Contracts: Definition, Design, and Analysis
- arxiv url: http://arxiv.org/abs/2104.14110v1
- Date: Thu, 29 Apr 2021 05:06:46 GMT
- ステータス: 処理完了
- システム内更新日: 2023-04-02 02:17:40.493388
- Title: Requirements Contracts: Definition, Design, and Analysis
- Title(参考訳): 要件契約:定義、設計、分析
- Authors: Ivan J. Jureta
- Abstract要約: 命題は、特定の契約、経済、エンジニアリングの関係が保持されている場合に限り、要件である。
私は、要求を特定のタイプの契約によって統治される命題と見なすことが、この分野に新しく興味深い疑問をもたらすと論じます。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: What are the necessary and sufficient conditions for a proposition to be
called a requirement? In Requirements Engineering research, a proposition is a
requirement if and only if specific grammatical and/or communication conditions
hold. I offer an alternative, that a proposition is a requirement if and only
if specific contractual, economic, and engineering relationships hold. I
introduce and define the concept of "Requirements Contract" which defines these
conditions. I argue that seeing requirements as propositions governed by
specific types of contracts leads to new and interesting questions for the
field, and relates requirements engineering to such topics as economic
incentives, interest alignment, principal agent problem, and decision-making
with incomplete information.
- Abstract(参考訳): ある命題が要求と呼ばれるために必要な、かつ十分な条件は何か?
要求工学の研究において、命題が要求であることは、特定の文法的および/またはコミュニケーション条件が成り立つときと場合に限る。
提案が要求であることは、特定の契約、経済、エンジニアリングの関係が成立している場合に限る。
これらの条件を定義した「要件契約」の概念を紹介・定義する。
私は、要求を特定のタイプの契約によって統治される命題と見なすことは、この分野において新しく興味深い問題をもたらし、要求工学を経済的なインセンティブ、利子調整、主要なエージェント問題、不完全な情報による意思決定といったトピックに関連づける。
関連論文リスト
- 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) - Generating Clarification Questions for Disambiguating Contracts [3.672364005691543]
我々は,契約の明確化に関する疑問を生じさせる新たな法的NLPタスクを導入する。
これらの質問は、文書レベルで契約の曖昧さを特定し、非法的利害関係者を支援することを目的としています。
CUADデータセットから得られた契約に基づいて実施された実験は、ConRAPがF2スコア0.87であいまいさを検出できることを示している。
論文 参考訳(メタデータ) (2024-03-12T19:57:39Z) - Qsnail: A Questionnaire Dataset for Sequential Question Generation [76.616068047362]
質問紙作成作業に特化して構築された最初のデータセットについて述べる。
我々はQsnailの実験を行い、その結果、検索モデルと従来の生成モデルが与えられた研究トピックや意図と完全に一致していないことが明らかとなった。
チェーン・オブ・シークレット・プロンプトと微調整による改善にもかかわらず、言語モデルによるアンケートは、人間の手書きのアンケートには及ばない。
論文 参考訳(メタデータ) (2024-02-22T04:14:10Z) - Requirements' Characteristics: How do they Impact on Project Budget in a
Systems Engineering Context? [3.2872885101161318]
自然言語要求(NLR)の品質の制御と保証は困難である。
スウェーデン交通庁 (STA) と共同で, 要件の特性が変更要求や予算変更に与える影響について検討した。
論文 参考訳(メタデータ) (2023-10-02T17:53:54Z) - Requirements Quality Assurance in Industry: Why, What and How? [3.6142643912711794]
本稿では,人間の視点から品質面を検証する認知負荷を特徴付ける要求品質保証複雑性の分類法を提案する。
この分類が実現し、検証されると、自動要求品質保証の意思決定フレームワークの基盤として機能する。
論文 参考訳(メタデータ) (2023-08-24T14:31:52Z) - Reasoning over Logically Interacted Conditions for Question Answering [113.9231035680578]
我々は、論理的に相互作用する条件のリストによって答えが制約される、より困難なタスクについて研究する。
本稿では,この難解な推論タスクのための新しいモデルTReasonerを提案する。
TReasonerは、2つのベンチマーク条件付きQAデータセットで最先端のパフォーマンスを達成する。
論文 参考訳(メタデータ) (2022-05-25T16:41:39Z) - A Research Agenda for Artificial Intelligence in the Field of Flexible
Production Systems [53.47496941841855]
生産会社は、需要変動や要求の変化に対して生産制御を迅速に適応することに関して、問題に直面します。
サービスという意味で生産機能をカプセル化することを目的とした制御手法は,サイバー物理生産システムの柔軟性を高めるために有望であることが示されている。
しかし、そのようなアプローチの既存の課題は、要求された機能と提供された機能の間に直接(統語的)一致がない場合に、一連の要求に対して提供された機能に基づいて生産計画を見つけることである。
論文 参考訳(メタデータ) (2021-12-31T14:38:31Z) - Detecting Logical Relation In Contract Clauses [94.85352502638081]
契約における節間の論理的関係の抽出を自動化する手法を開発する。
結果として得られたアプローチは、コントラクト作者が節間の潜在的な論理的衝突を検出するのに役立つだろう。
論文 参考訳(メタデータ) (2021-11-02T19:26:32Z) - ContractNLI: A Dataset for Document-level Natural Language Inference for
Contracts [39.75232199445175]
契約書に対する文書レベルの自然言語推論(NLI)を提案する。
システムには一連の仮説と契約が与えられ、それぞれの仮説が「関連づけられている」か、「矛盾している」か、「言及されていない」か(中立である)を分類するよう求められる。
これまでで最大のコーパスを607のアノテート契約でリリースしています。
論文 参考訳(メタデータ) (2021-10-05T03:22:31Z) - AI Techniques for Software Requirements Prioritization [91.3755431537592]
本稿では,要求優先プロセスの全体的な品質向上に役立つ人工知能(AI)技術に基づく優先順位付け手法を提案する。
論文 参考訳(メタデータ) (2021-08-02T12:43:00Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。