소프트웨어 엔지니어링 및 형식 방법에 관한 국제 회의

International Conference on Software Engineering and Formal Methods

SEFM(International Conference on Software Engineering and Formal Methods, SEFM)은 소프트웨어 엔지니어링 분야의 국제 학술 회의다.[1]

역사

2002년까지 SEFM은 워크샵이었다. 그리고 나서 완전한 국제 회의가 되었다. IEEE 컴퓨터 협회가 후원한다. 제1회 소프트웨어 엔지니어링 및 공식 방법에 관한 IEEE 국제 회의(SEFM 2003)가 2003년 9월 호주 브리즈번에서 개최되었다.[2] 제출은 22개국에서 시작되었다. IEEE-CS뿐만 아니라 SEFM 2003의 지지자들에는 호주 컴퓨터 협회(ACS), 보잉 오스트레일리아, 캔버라 주재 이탈리아 대사관 등이 포함되어 있었다.

컨퍼런스 진행은 2011년부터 Springer Science+Business Media가 LNCS에 게재하고 있다.[3] 이전에, 그 절차는 IEEE에 의해 출판되었다.[4]

목표

SEFM은 학계, 산업계, 정부의 실무자와 연구자를 한자리에 모아 형식적인 방법으로 예술의 상태를 발전시키고, 소프트웨어 산업에 대규모로 응용하는 것을 돕고, 다른 실용적인 소프트웨어 엔지니어링 방법과의 통합을 장려하는 것을 목표로 한다.

이 회의는 종종 아시아와 태평양 지역, 특히 개발도상국에서 열린다. SEFM 컨퍼런스의 중요한 목적은 개발도상국과 선진국의 연구 협력을 장려하는 것이다. SEFM 2010은 이탈리아의 피사에 있었다.[5] SEFM 2013은 스페인 마드리드에서 열렸다.[6] SEFM 2014는 프랑스 그르노블에서 열린다.

SEFM 컨퍼런스 시리즈는 DBLP 온라인 출판물 데이터베이스에 포함되어 있다.[8] 수정된 선별된 논문들은 때때로 특별한 저널 이슈로 나타난다.[9]

참조

  1. ^ SEFM 역사 2010-06-12, UNU-IIST, Wayback Machine, UNU-IIST, 마카오에 보관.
  2. ^ SEFM 2003 호주 브리즈번 웨이백 머신에 2010-06-12 보관.
  3. ^ SpringerLink, 2005년 SEFM Procedures.
  4. ^ SEFM 2005 Procedures, IEEE Xplore, 2005.
  5. ^ SEFM 2010, 이탈리아 CNR.
  6. ^ "SEFM 2013". Madrid, Spain: Universidad Complutense. Retrieved 4 March 2013.
  7. ^ "SEFM 2014". Retrieved 15 January 2014.
  8. ^ 소프트웨어 엔지니어링 및 공식 방법 회의(SEFM), DBLP.
  9. ^ Bowen, Jonathan P.; Butler, Michael; Reeves, Steve; Hinchey, Mike (2013). "Editorial". Formal Aspects of Computing. 5 (3): 343. doi:10.1007/s00165-013-0281-8.

외부 링크


Stub icon

이 형식적인 방법 관련 기사는 단조롭다. 위키피디아를 확장하여 도울 수 있다.