International Conference on Software Engineering and Formal Methods

📅 آخر تحديث: ١ أغسطس ٢٠٢٦
✍️ نُشر في: ١ أغسطس ٢٠٢٦
الموسوعة الحرة

The International Conference on Software Engineering and Formal Methods (SEFM) is an international academic conference in the field of software engineering with a specialization in formal methods.[1]

History

Until 2002, SEFM was a workshop; it then became a full international conference. It is sponsored by the IEEE Computer Society. The 1st IEEE International Conference on Software Engineering and Formal Methods (SEFM 2003) was held at Brisbane, Australia in September 2003.[2] Submissions originated from 22 different countries. As well as IEEE-CS, supporters for SEFM 2003 included the Australian Computer Society (ACS), Boeing Australia, and the Italian Embassy in Canberra.

The proceedings for the conference are published by Springer in the Lecture Notes in Computer Science (LNCS) series since 2011.[3] Previously, the proceedings were published by IEEE.[4]

Aims

SEFM aims to bring together practitioners and researchers from academia, industry, and government, to advance the state of the art in formal methods, to help in their large-scale application in the software industry, and to encourage their integration with other practical software engineering methods. The conferences are often held in the Asia and Pacific regions and specifically in developing countries. The SEFM conferences aim to encourage research cooperation between developing countries and industrialized countries. SEFM 2010 was in Pisa, Italy.[5] SEFM 2013 was in Madrid, Spain.[6] SEFM 2014 took place in Grenoble, France.[7] More recently, SEFM 2024 took place in Aveiro, Portugal.[8] SEFM 2025 is in Madrid, Spain.[9]

تُدرج سلسلة مؤتمرات SEFM في قاعدة بيانات DBLP للمنشورات الإلكترونية. [ 10 ] كما تُدرج في قاعدة بيانات VIAF . [ 11 ] وتظهر أحيانًا أوراق مختارة منقحة في أعداد خاصة من المجلات. [ 12 ] ويُغطى المؤتمر أيضًا في تقارير خارجية. [ 13 ] وتُفهرس وقائع المؤتمر من قِبل جمعية آلات الحوسبة (ACM). [ 14 ]

مراجع

  1. ↑ تاريخ SEFM مؤرشف في 2010-06-12 في Wayback Machine ، UNU-IIST ، جامعة الأمم المتحدة ، ماكاو.
  2. ↑ SEFM 2003 مؤرشف في 2010-06-12 في Wayback Machine ، بريسبان، أستراليا، 2003.
  3. ↑ "وقائع المؤتمر: هندسة البرمجيات والأساليب الرسمية" . SpringerLink . Springer Science+Business Media . تم الاطلاع عليه بتاريخ 26 مارس 2025 .
  4. ↑ "المؤتمر الدولي الثالث لهندسة البرمجيات والأساليب الرسمية (SEFM'05)، 7-9 سبتمبر 2005" . IEEE Xplore . IEEE . 2005. doi : 10.1109/SEFM10602.2005 . تاريخ الاسترجاع: 26 مارس 2025 .
  5. ↑ SEFM 2010 ، CNR ، إيطاليا.
  6. ^ "SEFM 2013" . مدريد، إسبانيا: جامعة كومبلوتنسي . تم الاسترجاع 4 مارس 2013 .
  7. ↑ "SEFM 2014" . تم الاطلاع عليه بتاريخ 15 يناير 2014 .
  8. ↑ ماديرا، ألكسندر؛ كناب، ألكسندر (محرران). هندسة البرمجيات والأساليب الرسمية، المؤتمر الدولي الثاني والعشرون، SEFM 2024، أفيرو، البرتغال، 6-8 نوفمبر 2024، وقائع المؤتمر . سلسلة محاضرات في علوم الحاسوب (LNCS). المجلد 15280. سبرينغر . doi : 10.1007/978-3-031-47115-5 . ISBN  978-3-031-47115-5.
  9. ↑ "المؤتمر الدولي الثالث والعشرون لهندسة البرمجيات والأساليب الرسمية، 10-14 نوفمبر 2025" . sefm-conference.github.io . GitHub . 2025. تم الاطلاع عليه بتاريخ 25 مارس 2025 .
  10. ↑ "المؤتمر الدولي لهندسة البرمجيات والأساليب الرسمية (SEFM) التابع لمعهد مهندسي الكهرباء والإلكترونيات" . DBLP . تم الاطلاع عليه بتاريخ 25 مارس 2025 .
  11. ↑ "المؤتمر الدولي لهندسة البرمجيات والأساليب الرسمية التابع لمعهد مهندسي الكهرباء والإلكترونيات" . VIAF . تم الاطلاع عليه بتاريخ 25 مارس 2025 .
  12. ↑ بوين، جوناثان ب .؛ بتلر، مايكل ؛ ريفز، ستيف ؛ هينشي، مايك (2013). "افتتاحية" . الجوانب الرسمية للحوسبة . 5 (3): 343. doi : 10.1007/s00165-013-0281-8 .
  13. ↑ "تقرير مؤتمر SEFM 2021". FACS FACTS . 2022 (1). الجمعية البريطانية للحاسبات : 44-48 . 2022.
  14. ↑ "هندسة البرمجيات والأساليب الرسمية: المؤتمر الدولي التاسع عشر، SEFM 2021، حدث افتراضي، 6-10 ديسمبر 2021، وقائع المؤتمر" . رابطة آلات الحوسبة . 6 ديسمبر 2021. doi : 10.1007/978-3-030-92124-8 . تاريخ الاسترجاع: 26 مارس 2025 .