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

Эта статья может чрезмерно полагаться на источники, слишком тесно связанные с предметом , что потенциально препятствует проверке и нейтральности статьи . Пожалуйста, помогите улучшить его , заменив их более подходящими ссылками на надежные, независимые сторонние источники . ( Август 2013 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения )

В этой статье слишком много ссылок на первоисточники . Пожалуйста, улучшите это, добавив вторичные или третичные источники . ( Август 2013 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения )

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

История [ править ]

До 2002 года SEFM был семинаром; затем конференция стала полноценной международной конференцией. Он спонсируется IEEE Computer Society . Первая Международная конференция 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 архивации 2010-06-12 в Wayback Machine , УООН-МИП , Университета Организации Объединенных Наций , Макао.
^ SEFM 2003 архивации 2010-06-12 в Wayback Machine , Брисбен, Австралия, 2003.
^ SEFM Труды , SpringerLink , 2005.
^ SEFM 2005 Труды , IEEE Xplore , 2005.
^ SEFM 2010 , CNR , Италия.
^ «SEFM 2013» . Мадрид, Испания: Университет Комплутенсе . Проверено 4 марта 2013 года .
^ «SEFM 2014» . Проверено 15 января 2014 года .
^ Конференция по программной инженерии и формальным методам (SEFM) , DBLP .
^ Боуэн, Джонатан П .; Батлер, Майкл ; Ривз, Стив ; Хинчи, Майк (2013). «Редакция» . Формальные аспекты вычислений . 5 (3): 343. DOI : 10.1007 / s00165-013-0281-8 .

Внешние ссылки [ править ]

Сайт SEFM

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

[1] История SEFM архивации 2010-06-12 в Wayback Machine , УООН-МИП , Университета Организации Объединенных Наций , Макао.

[2] SEFM 2003 архивации 2010-06-12 в Wayback Machine , Брисбен, Австралия, 2003.

[3] SEFM Труды , SpringerLink , 2005.

[4] SEFM 2005 Труды , IEEE Xplore , 2005.

[5] SEFM 2010 , CNR , Италия.

[6] «SEFM 2013» . Мадрид, Испания: Университет Комплутенсе . Проверено 4 марта 2013 года .

[7] «SEFM 2014» . Проверено 15 января 2014 года .

[8] Конференция по программной инженерии и формальным методам (SEFM) , DBLP .

[9] Боуэн, Джонатан П .; Батлер, Майкл ; Ривз, Стив ; Хинчи, Майк (2013). «Редакция» . Формальные аспекты вычислений . 5 (3): 343. DOI : 10.1007 / s00165-013-0281-8 .

[1]