Fugu-MT 論文翻訳(概要): Formalising Software Requirements using Large Language Models

論文の概要: Formalising Software Requirements using Large Language Models

arxiv url: http://arxiv.org/abs/2506.10704v1
Date: Thu, 12 Jun 2025 13:55:01 GMT
ステータス: 翻訳完了
システム内更新日: 2025-06-13 15:37:22.758382
Title: Formalising Software Requirements using Large Language Models
Title（参考訳）: 大規模言語モデルを用いたソフトウェア要件の定式化
Authors: Arshad Beg, Diarmuid O'Donoghue, Rosemary Monahan,
Abstract要約: プロジェクトは、形式仕様のトレーサビリティと検証における課題に対処する。システムの実装と検証を通じて、正式な仕様の自動生成と、初期ソフトウェア設計段階からの要求のトレーサビリティをサポートする。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: This paper is a brief introduction to our recently initiated project named VERIFAI: Traceability and verification of natural language requirements. The project addresses the challenges in the traceability and verification of formal specifications through providing support for the automatic generation of the formal specifications and the traceability of the requirements from the initial software design stage through the systems implementation and verification. Approaches explored in this project include Natural Language Processing, use of ontologies to describe the software system domain, reuse of existing software artefacts from similar systems (i.e. through similarity based reuse) and large language models to identify and declare the specifications as well as use of artificial intelligence to guide the process.
Abstract（参考訳）: 本稿では,最近開始した VERIFAI: Traceability and confirmed of natural language requirements について紹介する。プロジェクトは、形式仕様の自動生成と、システムの実装と検証を通じて、初期ソフトウェア設計段階から要件のトレーサビリティを提供することにより、形式仕様のトレーサビリティと検証の課題に対処する。このプロジェクトで検討されたアプローチには、自然言語処理、ソフトウェアシステムドメインを記述するためのオントロジーの使用、類似したシステム(例えば類似性に基づく再利用)からの既存のソフトウェアアーチファクトの再利用、仕様を特定し宣言するための大きな言語モデル、プロセスの指針となる人工知能の使用などがある。

関連論文リスト

Semi-Automated Design of Data-Intensive Architectures [49.1574468325115]
本稿では,データ集約型アーキテクチャの開発手法を紹介する。 i) 特定のアプリケーションシナリオに適したアーキテクチャを設計し、(ii) アプリケーションを実装するための具体的なシステムの適切なセットを選択することをアーキテクトに案内します。私たちが採用している記述言語は、研究者や実践者が提案するデータ集約アーキテクチャの重要な側面を捉えることができる。
論文参考訳（メタデータ） (2025-03-21T16:01:11Z)
Validation of Rigorous Requirements Specifications and Document Automation with the ITLingo RSL Language [0.0]
ITLingoイニシアチブは、技術的文書の厳密さと一貫性を高めるためにRSLという要求仕様言語を導入した。本稿では、要求検証と文書自動化の分野における既存の研究・ツールについてレビューする。我々は、カスタマイズされたチェックと、RSL自体で動的に定義された言語規則に基づいて、仕様の検証によりRSLを拡張することを提案する。
論文参考訳（メタデータ） (2023-12-17T21:39:26Z)
Language Models as a Service: Overview of a New Paradigm and its Challenges [47.75762014254756]
現在最も強力な言語モデルはプロプライエタリなシステムであり、(典型的には制限のある)Webやプログラミングでのみアクセス可能である。本稿では,LMインタフェースのアクセシビリティ,複製性,信頼性,信頼性の障害となる課題について述べる。一方で、現在のメジャーなLMに関する既存の知識の総合的なリソースとして機能し、インターフェースが提供するライセンスと機能の概要を総合的に提供する。
論文参考訳（メタデータ） (2023-09-28T16:29:52Z)
Natural Language Processing for Requirements Formalization: How to Derive New Approaches? [0.32885740436059047]
我々はNLPの分野における主要な考え方と最先端の方法論について論じる。我々は2つの異なるアプローチを詳細に議論し、ルールセットの反復的開発を強調した。提案手法は, 自動車分野と鉄道分野の2つの産業分野において実証された。
論文参考訳（メタデータ） (2023-09-23T05:45:19Z)
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models [3.1143846686797314]
大規模言語モデル(LLM)を適用するためのフレームワークであるnl2specは、構造化されていない自然言語から正式な仕様を導出する。本稿では,自然言語におけるシステム要求のあいまいさを検知し,解決する新たな手法を提案する。ユーザは、これらのサブ翻訳を反復的に追加、削除、編集して、不正なフォーマル化を修正する。
論文参考訳（メタデータ） (2023-03-08T20:08:53Z)
Lessons from Formally Verified Deployed Software Systems (Extended version) [65.69802414600832]
本稿は、正式に認証されたシステムを作成し、実際に使用するためにデプロイした各種のアプリケーション分野のプロジェクトについて検討する。使用する技術、適用の形式、得られた結果、そしてソフトウェア産業が形式的な検証技術やツールの恩恵を受ける能力について示すべき教訓を考察する。
論文参考訳（メタデータ） (2023-01-05T18:18:46Z)
Technical Report on Neural Language Models and Few-Shot Learning for Systematic Requirements Processing in MDSE [1.6286277560322266]
本論文は,自動車要件のオープンソースセットの分析に基づくものである。ドメイン固有の言語構造を導き、要求の不明瞭さを回避し、形式性のレベルを上げるのに役立ちます。
論文参考訳（メタデータ） (2022-11-16T18:06:25Z)
Natural Language Processing for Systems Engineering: Automatic Generation of Systems Modelling Language Diagrams [0.10312968200748115]
構造化されていない自然言語テキストからシステム図の自動生成を支援する手法が提案されている。目的は、より標準化され、包括的で自動化されたスタートポイントをユーザに提供することです。
論文参考訳（メタデータ） (2022-08-09T19:20:33Z)
Using Document Similarity Methods to create Parallel Datasets for Code Translation [60.36392618065203]
あるプログラミング言語から別のプログラミング言語へのソースコードの翻訳は、重要で時間を要する作業です。本稿では、文書類似性手法を用いて、ノイズの多い並列データセットを作成することを提案する。これらのモデルは、妥当なレベルのノイズに対して、地上の真実に基づいて訓練されたモデルと相容れない性能を示す。
論文参考訳（メタデータ） (2021-10-11T17:07:58Z)
Exploring Software Naturalness through Neural Language Models [56.1315223210742]
ソフトウェア自然性仮説(Software Naturalness hypothesis)は、自然言語処理で使用されるのと同じ手法でプログラミング言語を理解することができると主張している。この仮説は,事前学習されたトランスフォーマーベース言語モデルを用いて,コード解析タスクを実行することによって検討する。
論文参考訳（メタデータ） (2020-06-22T21:56:14Z)

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