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

• Material Type: 図書
• ISBN: 9819606160; 9789819606160; 9789819606177 electronic book; 9819606179 electronic book
• ISSN (series): 0302-9743
• Title: Formal methods and software engineering : 25th international conference on formal engineering methods, ICFEM 2024 : Hiroshima, Japan, December 2-6, 2024 : proceedings
• Series Title: Lecture notes in computer science ; 15394
• Author Heading: International Conference on Formal Engineering Methods (25th : 2024 : Hiroshima-shi, Japan); Ogata, Kazuhiro; Méry, Dominique; Sun, Meng (Associate professor); Liu, Shaoying, 1960-
• Publication, Distribution, etc.: Singapore : Springer (出版)
• Publication Date: [2024]
• Publication Date (W3CDTF): 2024
• Extent: xii, 410 pages
• Size: 24 cm
• Additional Title: Dec 2024, Hiroshima, Japan
• Place of Publication (Country Code): SG
• Text Language Code: eng
• Content Type: text
• Media Type: unmediated
• Carrier Type: volume
• Subject Heading: 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
• Target Audience: 一般
• Note (General): Papers
• Note (Bibliography): Includes bibliographical references and author index
• Holding library: 国立国会図書館
• Call No.: M17-25-75
• Related Material: Cover; https://www.dietmardreier.de/annot/564C42696D677C7C393738393831393630363136307C7C434F50.jpg?sq=1
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 033829368; http://id.ndl.go.jp/bib/033829368
• Cataloging Rule: RDA
• Bibliographic Record Category (NDL): 215

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