要約
このドラフトは、ソフトウェア要件のトレーサビリティ（セクション4）、正式な方法とそのツール（セクション5）、プログラミングの統一理論（UTP）および制度（セクション6）に関する追加セクションを含む、ナイトフォー（94）の論文の要約を備えた作業文書です。
[7,8]の要約を参照してください。
このドラフトの重要な違いは、同様のタイトル、つまりAACS 2025 [7]およびSAIV 2025 [8]を持つ当社の最近予想されたタイトル、つまり、アイルランドの年次会議を適応するための2ページの提出です。
2025年3月18日に提出され、軽量ブラインドレビューを経てポスタープレゼンテーションを受け入れました。
会議は2025年5月15日に開催されました。[8]は、2025年4月24日にAI検証（SAIV 2025）に関するシンポジウムに提出された9ページの参照と要約表を備えた9ページの論文です。厳格なレビュープロセスを経ました。
arxiv.org [8]のアップロードされたバージョンは、論文を改善するための特定の提案に対処した後、提出の改善された1つです。
要約(オリジナル)
This draft is a working document, having a summary of nighty-four (94) papers with additional sections on Traceability of Software Requirements (Section 4), Formal Methods and Its Tools (Section 5), Unifying Theories of Programming (UTP) and Theory of Institutions (Section 6). Please refer to abstract of [7,8]. Key difference of this draft from our recently anticipated ones with similar titles, i.e. AACS 2025 [7] and SAIV 2025 [8] is: [7] is a two page submission to ADAPT Annual Conference, Ireland. Submitted on 18th of March, 2025, it went through the light-weight blind review and accepted for poster presentation. Conference was held on 15th of May, 2025. [8] is a nine page paper with additional nine pages of references and summary tables, submitted to Symposium on AI Verification (SAIV 2025) on 24th of April, 2025. It went through rigorous review process. The uploaded version on arXiv.org [8] is the improved one of the submission, after addressing the specific suggestions to improve the paper.
arxiv情報
| 著者 | Arshad Beg,Diarmuid O’Donoghue,Rosemary Monahan |
| 発行日 | 2025-06-17 15:23:56+00:00 |
| arxivサイト | arxiv_id(pdf) |
提供元, 利用サービス
arxiv.jp, Google