Mezinárodní konference o softwarovém inženýrství a formálních metodách - International Conference on Software Engineering and Formal Methods

The Mezinárodní konference o softwarovém inženýrství a formálních metodách (SEFM) je mezinárodní akademická konference v oboru softwarové inženýrství.[1]

Dějiny

Do roku 2002 byl SEFM workshopem; poté se stala plnou mezinárodní konferencí. Sponzoruje jej IEEE Computer Society. The 1. mezinárodní konference IEEE o softwarovém inženýrství a formálních metodách (SEFM 2003) se konalo v Brisbane, Austrálie v září 2003.[2] Přihlášky pocházely z 22 různých zemí. Kromě IEEE-CS zahrnovali příznivci SEFM 2003 i Australská počítačová společnost (ACS), Boeing Austrálie a italština Velvyslanectví v Canberra.

Sborník z konference zveřejňuje Springer Science + Business Media v LNCS od roku 2011.[3] Dříve byly sborníky zveřejněny autorem IEEE.[4]

Cíle

Cílem SEFM je spojit odborníky z praxe a výzkumné pracovníky z akademické sféry, průmyslu a vlády s cílem podpořit současný stav formální metody, aby pomohli s jejich rozsáhlou aplikací v softwarovém průmyslu a podpořili jejich integraci s jinými praktickými softwarové inženýrství metody.

Konference se často konají v EU Asie a Pacifik regionech a konkrétně v rozvojových zemích. Důležitým cílem konferencí SEFM je podpora výzkumné spolupráce mezi rozvojovými a průmyslovými zeměmi. SEFM 2010 byl v Pisa, Itálie.[5] SEFM 2013 byl v Madrid, Španělsko.[6] SEFM 2014 se koná ve francouzském Grenoblu [7]

Série konferencí SEFM je součástí DBLP online databáze publikací.[8] Upravené vybrané články se někdy objevují jako speciální čísla časopisů.[9]

Reference

  1. ^ Historie SEFM Archivováno 12. 06. 2010 na Wayback Machine, UNU-IIST, Univerzita OSN, Macao.
  2. ^ SEFM 2003 Archivováno 12. 06. 2010 na Wayback Machine, Brisbane, Austrálie, 2003.
  3. ^ Řízení SEFM, SpringerLink, 2005.
  4. ^ Sborník SEFM 2005, IEEE Xplore, 2005.
  5. ^ SEFM 2010, CNR, Itálie.
  6. ^ „SEFM 2013“. Madrid, Španělsko: Universidad Complutense. Citováno 4. března 2013.
  7. ^ „SEFM 2014“. Citováno 15. ledna 2014.
  8. ^ Konference o softwarovém inženýrství a formálních metodách (SEFM), DBLP.
  9. ^ Bowen, Jonathan P.; Butler, Michael; Reeves, Steve; Hinchey, Mike (2013). "Redakční". Formální aspekty práce na počítači. 5 (3): 343. doi:10.1007 / s00165-013-0281-8.

externí odkazy