stringtranslate.com

Европейские совместные конференции по теории и практике программного обеспечения

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

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

В настоящее время ETAPS объединяет следующие конференции:

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

ТАКАС

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

ЭСОП

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

ФАСЕ

FASE (Fundamental Approaches to Software Engineering) — конференция, посвященная основам, на которых строится программная инженерия. Она заменила конференцию Formal Aspects/Approaches to Software Engineering, сохранив при этом ее аббревиатуру. [5]

FoSSaCS

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

Премия «Испытание временем»

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

Ссылки

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

Внешние ссылки


  • в
  • т
  • е