Международная конференция по программной инженерии и формальным методам
 | В этой статье есть несколько проблем. Пожалуйста, помогите улучшить его или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалять эти шаблонные сообщения )
|
Международная конференция по программной инженерии и формальным методам ( SEFM ) — международная научная конференция в области программной инженерии . [1]
История
[ редактировать ]До 2002 года SEFM представляла собой мастерскую; затем она превратилась в полноценную международную конференцию. Его спонсирует Компьютерное общество IEEE . Первая международная конференция IEEE по программной инженерии и формальным методам (SEFM 2003) прошла в Брисбене , Австралия, в сентябре 2003 года. [2] Материалы поступили из 22 разных стран. Помимо IEEE-CS, сторонниками SEFM 2003 были Австралийское компьютерное общество (ACS), Boeing Australia и посольство Италии в Канберре .
Материалы конференции публикуются издательством Springer Science+Business Media в LNCS с 2011 года. [3] Ранее материалы материалов опубликовал IEEE . [4]
Цели
[ редактировать ]SEFM стремится объединить практиков и исследователей из академических кругов, промышленности и правительства, чтобы продвигать новейшие достижения в области формальных методов , помогать в их крупномасштабном применении в индустрии программного обеспечения и поощрять их интеграцию с другими практическими разработками программного обеспечения. методы.
Конференции часто проводятся в Азиатско - Тихоокеанском регионе и особенно в развивающихся странах. Важной целью конференций SEFM является поощрение научно-исследовательского сотрудничества между развивающимися и промышленно развитыми странами. SEFM 2010 проходил в Пизе , Италия . [5] SEFM 2013 проходил в Мадриде , Испания . [6] SEFM 2014 проходит в Гренобле, Франция. [7]
Серия конференций SEFM включена в базу данных онлайн-публикаций DBLP . [8] Пересмотренные избранные статьи иногда публикуются как специальные выпуски журналов. [9]
Ссылки
[ редактировать ]- ^ История SEFM. Архивировано 12 июня 2010 г. в Wayback Machine , UNU-IIST , Университет Организации Объединенных Наций , Макао.
- ^ SEFM 2003. Архивировано 12 июня 2010 г. в Wayback Machine , Брисбен, Австралия, 2003 г.
- ^ Материалы SEFM , SpringerLink , 2005.
- ^ Материалы SEFM 2005 , IEEE Xplore , 2005.
- ^ SEFM 2010 , CNR , Италия.
- ^ «СЭФМ 2013» . Мадрид, Испания: Университет Комплутенсе . Проверено 4 марта 2013 г.
- ^ «СЭФМ 2014» . Проверено 15 января 2014 г.
- ^ Конференция по программной инженерии и формальным методам (SEFM) , DBLP .
- ^ Боуэн, Джонатан П .; Батлер, Майкл ; Ривз, Стив ; Хинчи, Майк (2013). «Редакция» . Формальные аспекты вычислений . 5 (3): 343. doi : 10.1007/s00165-013-0281-8 .
Внешние ссылки
[ редактировать ]
 | Эта формальным методам, статья, посвященная незавершена . Вы можете помочь Википедии, расширив ее . |