Loading article…
国際ソフトウェア工学・形式手法会議（SEFM ）は、形式手法を専門とするソフトウェア工学分野の国際学術会議です。[ 1 ]
SEFMは2002年まではワークショップでしたが、その後本格的な国際会議になりました。IEEEコンピュータソサエティが主催しています。第1回IEEEソフトウェアエンジニアリングおよび形式手法国際会議（SEFM 2003）は、2003年9月にオーストラリアのブリスベンで開催されました。[ 2 ] 22か国から論文が寄せられました。IEEE-CSの他に、SEFM 2003の支援者には、 オーストラリアコンピュータソサエティ（ACS）、ボーイングオーストラリア、キャンベラのイタリア大使館などがありました。
会議の議事録は、 2011年以降、 Springer社からLecture Notes in Computer Science（LNCS）シリーズとして出版されている。 [ 3 ]以前は、 IEEE社から出版されていた。[ 4 ]
SEFM は、学術界、産業界、政府の実務家と研究者を集め、形式手法の最先端技術を進歩させ、ソフトウェア業界での大規模な応用を支援し、他の実用的なソフトウェア エンジニアリング手法との統合を促進することを目的としています。会議は、アジア太平洋地域、特に発展途上国で開催されることが多いです。SEFM 会議は、発展途上国と先進国間の研究協力を促進することを目的としています。SEFM 2010 はイタリアのピサで開催されました。[ 5 ] SEFM 2013 はスペインのマドリードで開催されました。[ 6 ] SEFM 2014 はフランスのグルノーブルで開催されました。[ 7 ]さらに最近では、SEFM 2024 はポルトガルのアヴェイロで開催されました。[ 8 ] SEFM 2025 はスペインのマドリードで開催されます。[ 9 ]
SEFM 会議シリーズは、DBLPオンライン出版物データベースに収録されています。[ 10 ] VIAFデータベースにも収録されています。[ 11 ]改訂された選抜論文は、特別ジャーナル号として掲載されることがあります。[ 12 ]会議は外部レポートでも取り上げられています。[ 13 ]会議議事録は、Association for Computing Machinery (ACM) によって索引付けされています。[ 14 ]