Formal methods and software engineering : 25th international conference on formal engineering methods, ICFEM 2024 : Hiroshima, Japan, December 2-6, 2024 : proceedings

• 資料種別: 図書
• ISBN: 9819606160; 9789819606160; 9789819606177 electronic book; 9819606179 electronic book
• ISSN（シリーズ）: 0302-9743
• タイトル: Formal methods and software engineering : 25th international conference on formal engineering methods, ICFEM 2024 : Hiroshima, Japan, December 2-6, 2024 : proceedings
• シリーズタイトル: Lecture notes in computer science ; 15394
• 著者標目: International Conference on Formal Engineering Methods (25th : 2024 : Hiroshima-shi, Japan); Ogata, Kazuhiro; Méry, Dominique; Sun, Meng (Associate professor); Liu, Shaoying, 1960-
• 出版事項: Singapore : Springer (出版)
• 出版年月日等: [2024]
• 出版年（W3CDTF）: 2024
• 数量: xii, 410 pages
• 大きさ: 24 cm
• その他のタイトル: Dec 2024, Hiroshima, Japan
• 出版地（国名コード）: SG
• 本文の言語コード: eng
• 表現種別: text
• 機器種別: unmediated
• キャリア種別: volume
• 件名標目: Formal methods (Computer science)--Congresses; Software engineering--Congresses; Computer programming; Méthodes formelles (Informatique)--Congrès; Génie logiciel--Congrès; Programmation (Informatique); computer programming.
• LCC: QA76.9.F67
• DDC: 004.01/51
• NDLC: M17
• 対象利用者: 一般
• 一般注記: Papers
• 書誌注記: Includes bibliographical references and author index
• 所蔵機関: 国立国会図書館
• 請求記号: M17-25-75
• 関連情報: Cover; https://www.dietmardreier.de/annot/564C42696D677C7C393738393831393630363136307C7C434F50.jpg?sq=1
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 033829368; http://id.ndl.go.jp/bib/033829368
• 目録規則: RDA
• 整理区分コード: 215

• 内容細目: NL2CTL: Automatic Generation of Formal Requirements Specifications via Large Language Models.Repairing Event-B Models through Quantifier Elimination.T...
• 要約等: This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, ...