WikiDer > Международная конференция по программной инженерии и формальным методам

International Conference on Software Engineering and Formal Methods

В Международная конференция по программной инженерии и формальным методам (SEFM) - международная научная конференция в области программная инженерия.[1]

История

До 2002 года SEFM был семинаром; Затем конференция стала полноценной международной конференцией. Он спонсируется IEEE Computer Society. В 1-я Международная конференция IEEE по программной инженерии и формальным методам (SEFM 2003) проходила в Брисбен, Австралия в сентябре 2003 г.[2] Материалы поступили из 22 стран. Помимо IEEE-CS, сторонники SEFM 2003 включали Австралийское компьютерное общество (ACS), Боинг Австралия, а Итальянский Посольство в Канберра.

Материалы конференции публикуются Springer Science + Business Media в LNCS с 2011 года.[3] Ранее сборники публиковали IEEE.[4]

Цели

SEFM направлен на объединение практиков и исследователей из академических кругов, промышленности и правительства, чтобы продвигать современные достижения в формальные методы, чтобы помочь в их крупномасштабном применении в индустрии программного обеспечения и поощрить их интеграцию с другими практическими программная инженерия методы.

Конференции часто проводятся в Азия и Тихий океан регионах и особенно в развивающихся странах. Важной целью конференций SEFM является поощрение исследовательского сотрудничества между развивающимися и промышленно развитыми странами. SEFM 2010 был в Пиза, Италия.[5] SEFM 2013 был в Мадрид, Испания.[6] SEFM 2014 проходит в Гренобле, Франция. [7]

Серия конференций SEFM включена в DBLP база данных онлайн-публикаций.[8] Отредактированные избранные статьи иногда выходят в виде специальных журналов.[9]

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

  1. ^ История SEFM В архиве 2010-06-12 на Wayback Machine, УООН-МИПО, Университет ООН, Макао.
  2. ^ SEFM 2003 В архиве 2010-06-12 на Wayback Machine, Брисбен, Австралия, 2003 г.
  3. ^ SEFM Proceedings, SpringerLink, 2005.
  4. ^ Слушания SEFM 2005, IEEE Xplore, 2005.
  5. ^ SEFM 2010, CNR, Италия.
  6. ^ «SEFM 2013». Мадрид, Испания: Universidad Complutense. Получено 4 марта 2013.
  7. ^ «SEFM 2014». Получено 15 января 2014.
  8. ^ Конференция по программной инженерии и формальным методам (SEFM), DBLP.
  9. ^ Боуэн, Джонатан П.; Батлер, Майкл; Ривз, Стив; Хинчи, Майк (2013). «Редакция». Формальные аспекты вычислений. 5 (3): 343. Дои:10.1007 / s00165-013-0281-8.

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