Loading article…
欧州ソフトウェア理論実践合同会議（ETAPS）は、（現在）4つのコンピュータサイエンス会議の連合体であり、毎年1つの会議会場で、通常は3月末または4月末に開催されます。4つの会議のうち3つ（FoSSaCS、FASE、TACAS）はソフトウェアエンジニアリングでトップランクにランクされており[1]、1つ（ESOP）はプログラミング言語でトップランクにランクされています。[2]
会議の構成
ETAPS は現在、以下の会議を連合しています。
- ヨーロッパプログラミングシンポジウム(ESOP、1998 年以降)
- ソフトウェア科学と計算構造の基礎 (FoSSaCS、1998 年以降)
- ソフトウェア エンジニアリングへの基本的なアプローチ (FASE、1998 年以降)
- システムの構築と分析のためのツールとアルゴリズム (TACAS、1998 年以降)
1995 年から 2015 年までは、International Conference on Compiler Construction (CC)、2012 年から 2019 年までは Principles of Security and Trust (POST) という会議も開催されていました。
タカス
TACAS (システムの構築と分析のためのツールとアルゴリズム) は、さまざまな形式手法のアプリケーションとツールのサポートに焦点を当てた会議です。ソフトウェアエンジニアリングのトップクラスの会議の 1 つです。[1] Bernhard Steffen、Rance Cleaveland、Ed Brinksma、Kim Larsenによって設立されました。最初の TACAS は 1995 年にデンマークのオーフスで開催され、その後 1996 年にドイツのパッサウ、1997 年にオランダのエンスヘーデで会議が開催されました。TACAS は 1998 年に ETAPS を構成する最初の 5 つの会議の 1 つでした。[3]
ESOP
ESOP（ヨーロッパプログラミングシンポジウム）は、プログラミング言語とシステムの仕様、設計、分析、実装における基本的な問題に焦点を当てた会議です。プログラミング言語に関する会議の中ではトップクラスです。ESOPの第1回は1986年3月にザールブリュッケンで開催されました。[4]
フェイズ
FASE (Fundamental Approaches to Software Engineering) は、ソフトウェアエンジニアリングの基礎に焦点を当てた会議です。頭字語はそのままに、会議 Formal Aspects/Approaches to Software Engineering に代わるものです。[5]
フォサックス
FoSSaCS (ソフトウェア科学と計算構造の基礎に関する国際会議) は、ソフトウェア科学の基礎研究、特にプログラムとソフトウェアシステムの分析、統合、合成、変換、検証の理論と方法に焦点を当てた会議です。第 1 回は 1998 年に最初の ETAPS の一環として開催されました。これは、CAAP (代数とプログラミングに関する数学会議) の後継会議と見なすことができます。[6]
時の試練賞
ETAPS Test of Time賞は、 ETAPSを構成する会議の1つで「10年以上前に発表された優れた論文」と、ETAPSで発表された「優れた研究成果の影響」を表彰するものです。[7]
参考文献
- ^ ab 「ソフトウェア エンジニアリングのトップ カンファレンス」。Microsoft Academic Search。2013年6 月 4 日閲覧。[永久リンク切れ ]
- ^ 「プログラミング言語に関するトップカンファレンス」。Microsoft Academic Search。2013年6 月 4 日閲覧。
- ^ “ETAPS'98” . 2013 年6 月 4 日に取得。
- ^ Robinet, Bernard; Wilhelm, Reinhard 編 (1986) 。Esop 86。コンピュータサイエンスの講義ノート。第 213 巻。doi :10.1007/3-540-16442-1。ISBN 978-3-540-16442-5. ISSN 0302-9743. S2CID 33668937.
- ^ Astesiano, Egidio 編 (1998). ソフトウェアエンジニアリングへの基本的なアプローチ(PDF) . コンピュータサイエンスの講義ノート. 第 1382 巻. doi :10.1007/bfb0053578. ISBN 978-3-540-64303-6. ISSN 0302-9743. S2CID 41737556.
- ^ Nivat, Maurice 編 (1998). ソフトウェアサイエンスと計算構造の基礎(PDF) . コンピュータサイエンスの講義ノート. 第 1378 巻. doi :10.1007/bfb0053537. ISBN 978-3-540-64300-5. ISSN 0302-9743. S2CID 35101695.
- ^ タイムテスト賞
外部リンク
- 公式サイト
- 過去の会議一覧