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

Европейские совместные конференции по теории и практике программного обеспечения (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 году в Энсхеде , Нидерланды . TACAS была одной из первых пяти учредительных конференций ETAPS в 1998 году. ^[3]

ESOP

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

ФАЗА

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

ФОССАКС

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

Награда «Испытание временем»

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

Ссылки

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

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

Эта статья о компьютерной конференции незавершена . Вы можете помочь Википедии, расширив ее .

[se-1] Jump up to: ^а ^б «Топовые конференции по программной инженерии» . Академический поиск Microsoft . Проверено 4 июня 2013 г. ^{[ постоянная мертвая ссылка ]}

[2] «Топовые конференции по языкам программирования» . Академический поиск Microsoft . Проверено 4 июня 2013 г.

[3] «ЭТАПС'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] Премия "Испытание временем"

[1]

[2]

[3]

[4]

[5]

[6]

[7]

Базы данных авторитетного контроля
Международный	ВИАФ
Национальный	Норвегия Каталония Германия Соединенные Штаты
академики	ЦиНии