Европейские совместные конференции по теории и практике программного обеспечения - European Joint Conferences on Theory and Practice of Software

В Европейские совместные конференции по теории и практике программного обеспечения (ETAPS) - это конфедерация четырех Информатика конференции, проводимые ежегодно в одном месте проведения конференций, обычно в конце марта или начале апреля. Три из четырех конференций (FoSSaCS, FASE, TACAS) занимают первые места в рейтинге программная инженерия[1] и один (ESOP ) занимает первое место в языки программирования.[2]

Учредительные конференции

ETAPS объединяет следующие четыре конференции:

  • Европейский симпозиум по программированию (ESOP, с 1998 г.)
  • Основы программной науки и вычислительных структур (FoSSaCS, с 1998 г.)
  • Фундаментальные подходы к разработке программного обеспечения (FASE, с 1998 г.)
  • Инструменты и алгоритмы для построения и анализа систем (TACAS, с 1998 г.)

С 1995 по 2015 год Международная конференция по созданию компиляторов (CC) и с 2012 по 2019 год Принципы безопасности и доверия (POST) также были конференциями.

ТАКАС

TACAS (Инструменты и алгоритмы для построения и анализа систем) - конференция, посвященная применению и поддержке инструментов для различных формальные методы. Это одна из самых популярных конференций по программная инженерия.[1] Он был основан Бернхард Штеффен, Рэнс Кливленд, Эд Бринксма и Ким Ларсен. Первый TACAS был проведен в 1995 г. Орхус, Дания затем последовали конференции 1996 г. Пассау, Германия и 1997 г. Enschede, Нидерланды. TACAS был одной из первых пяти конференций, учредивших ETAPS в 1998 году.[3]

ESOP

ESOP (Европейский симпозиум по программированию) - конференция, посвященная фундаментальным вопросам спецификации, проектирования, анализа и реализации языков и систем программирования. Это одна из самых популярных конференций по языкам программирования. Первое издание ESOP состоялось в марте 1986 года в Саарбрюккене.[4]

FASE

FASE (Фундаментальные подходы к разработке программного обеспечения) - конференция, посвященная основам, на которых построена программная инженерия. Он заменил конференцию «Формальные аспекты / подходы к разработке программного обеспечения», сохранив при этом аббревиатуру. [5]

FoSSaCS

FoSSaCS (Международная конференция по основам науки о программном обеспечении и вычислительных структурах) - это конференция, посвященная фундаментальным исследованиям в области науки о программном обеспечении, особенно теорий и методов анализа, интеграции, синтеза, преобразования и проверки программ и программных систем. Его первое издание было проведено в рамках первого ETAPS в 1998 году. Его можно рассматривать как преемник конференции CAAP, Colloque sur les Arbres en Algèbre et en Programmation.[6]

Премия "испытание временем"

В Премия ETAPS Test of Time признает «выдающиеся статьи, опубликованные более 10 лет назад» на одной из учредительных конференций ETAPS и «влияние превосходных результатов исследований», опубликованных на ETAPS.[7]

Рекомендации

  1. ^ а б «Лучшие конференции по программной инженерии». Microsoft Academic Search. Получено 4 июн 2013.[постоянная мертвая ссылка ]
  2. ^ «Лучшие конференции по языкам программирования». Microsoft Academic Search. Получено 4 июн 2013.
  3. ^ "ETAPS'98". Получено 4 июн 2013.
  4. ^ Робине, Бернар; Вильгельм, Рейнхард, ред. (1986). «ЭСОП 86». Конспект лекций по информатике. 213. Дои:10.1007/3-540-16442-1. ISBN  978-3-540-16442-5. ISSN  0302-9743. S2CID  33668937.
  5. ^ Астезиано, Эджидио, изд. (1998). «Фундаментальные подходы к разработке программного обеспечения» (PDF). Конспект лекций по информатике. 1382. Дои:10.1007 / bfb0053578. ISBN  978-3-540-64303-6. ISSN  0302-9743. S2CID  41737556.
  6. ^ Ниват, Морис, изд. (1998). «Основы науки о программном обеспечении и вычислительных структур» (PDF). Конспект лекций по информатике. 1378. Дои:10.1007 / bfb0053537. ISBN  978-3-540-64300-5. ISSN  0302-9743. S2CID  35101695.
  7. ^ Премия "Испытание временем"

внешняя ссылка