Uluslararası Yazılım Mühendisliği ve Biçimsel Yöntemler Konferansı - International Conference on Software Engineering and Formal Methods
Yazılım Mühendisliği ve Biçimsel Yöntemler Konferansı ( SEFM ) alanında uluslararası akademik konferans olan yazılım mühendisliği .
Tarih
2002 yılına kadar SEFM bir çalıştaydı; daha sonra tam bir uluslararası konferans haline geldi. IEEE Computer Society sponsorluğundadır . Yazılım Mühendisliği ve Biçimsel Yöntemler 1 IEEE Uluslararası Konferanslar (2003 SEFM) gerçekleştirildi Brisbane , Avustralya 2003. Gönderimler 22 farklı ülkeden kaynaklanan Eylül ayında. IEEE-CS'nin yanı sıra SEFM 2003'ün destekçileri arasında Avustralya Bilgisayar Topluluğu (ACS), Boeing Avustralya ve Canberra'daki İtalyan Büyükelçiliği yer aldı .
Konferans için işlemler tarafından yayınlanmaktadır Springer içinde LNCS Daha önce, işlemler tarafından yayımlanmıştır 2011'den beri IEEE .
Amaçları
SEFM, akademik, endüstri ve hükümetten uygulayıcıları ve araştırmacıları bir araya getirmeyi, resmi yöntemlerde en son gelişmeleri ilerletmeyi , yazılım endüstrisindeki büyük ölçekli uygulamalarına yardımcı olmayı ve diğer pratik yazılım mühendisliği ile entegrasyonlarını teşvik etmeyi amaçlamaktadır. yöntemler.
Konferanslar genellikle Asya ve Pasifik bölgelerinde ve özellikle gelişmekte olan ülkelerde düzenlenmektedir. SEFM konferanslarının önemli bir amacı, gelişmekte olan ülkeler ve sanayileşmiş ülkeler arasındaki araştırma işbirliğini teşvik etmektir. SEFM 2010 , İtalya'nın Pisa kentindeydi . SEFM 2013, Madrid , İspanya'daydı . SEFM 2014, Fransa'nın Grenoble kentinde gerçekleştirildi.
SEFM konferans serisi, DBLP çevrimiçi yayın veritabanına dahil edilmiştir . Gözden geçirilmiş seçilmiş makaleler bazen özel dergi sayıları olarak görünür.
Referanslar
Dış bağlantılar
 |
Bu resmi yöntemlerle ilgili makale bir taslaktır . Wikipedia'yı genişleterek yardım edebilirsiniz . |