La Conferencia Internacional sobre Ingeniería de Software y Métodos Formales ( SEFM ) es una conferencia académica internacional en el campo de la ingeniería de software . [1]
Hasta 2002, SEFM era un taller; luego se convirtió en una conferencia internacional completa. Está patrocinada por la IEEE Computer Society . La primera Conferencia Internacional IEEE sobre Ingeniería de Software y Métodos Formales (SEFM 2003) se celebró en Brisbane , Australia, en septiembre de 2003. [2] Las presentaciones se originaron en 22 países diferentes. Además de IEEE-CS, entre los patrocinadores de SEFM 2003 se incluyeron la Australian Computer Society (ACS), Boeing Australia y la Embajada de Italia en Canberra .
Las actas de la conferencia se publican en Springer Science+Business Media en LNCS desde 2011. [3] Anteriormente, las actas eran publicadas por IEEE . [4]
SEFM tiene como objetivo reunir a profesionales e investigadores del mundo académico, la industria y el gobierno para avanzar en el estado del arte de los métodos formales , ayudar en su aplicación a gran escala en la industria del software y fomentar su integración con otros métodos prácticos de ingeniería de software .
Las conferencias se celebran a menudo en las regiones de Asia y el Pacífico y, específicamente, en países en desarrollo. Un objetivo importante de las conferencias SEFM es fomentar la cooperación en materia de investigación entre los países en desarrollo y los países industrializados. SEFM 2010 se celebró en Pisa , Italia . [5] SEFM 2013 se celebró en Madrid , España . [6] SEFM 2014 se celebró en Grenoble, Francia . [7]
La serie de conferencias de SEFM está incluida en la base de datos de publicaciones en línea de DBLP . [8] Los artículos seleccionados revisados a veces aparecen como números especiales de revistas. [9]