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]
Historia
Hasta 2002, SEFM fue un taller; luego se convirtió en una conferencia internacional completa. Está patrocinado por la IEEE Computer Society . Las primeras conferencias internacionales de IEEE sobre ingeniería de software y métodos formales (SEFM 2003) se llevaron a cabo en Brisbane , Australia en septiembre de 2003. [2] Las presentaciones se originaron en 22 países diferentes. Además de IEEE-CS, los partidarios de SEFM 2003 incluyeron la Sociedad Australiana de Computación (ACS), Boeing Australia y la Embajada de Italia en Canberra .
Las actas de la conferencia son publicadas por Springer Science + Business Media en LNCS desde 2011. [3] Anteriormente, las actas fueron publicadas por IEEE . [4]
Objetivos
SEFM tiene como objetivo reunir a profesionales e investigadores de la academia, la industria y el gobierno para avanzar en el estado del arte en métodos formales , ayudar en su aplicación a gran escala en la industria del software y fomentar su integración con otras ingenierías de software prácticas . métodos.
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 de la SEFM es fomentar la cooperación en investigación entre los países en desarrollo y los países industrializados. SEFM 2010 tuvo lugar en Pisa , Italia . [5] SEFM 2013 tuvo lugar en Madrid , España . [6] SEFM 2014 tiene lugar en Grenoble, Francia [7]
La serie de conferencias 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]
Referencias
- ^ Historia de SEFM Archivado el 12 de junio de 2010 en la Wayback Machine , UNU-IIST , Universidad de las Naciones Unidas , Macao.
- ^ SEFM 2003 Archivado el 12 de junio de 2010 en la Wayback Machine , Brisbane, Australia, 2003.
- ^ Procedimientos de SEFM , SpringerLink , 2005.
- ^ Actas de SEFM 2005 , IEEE Xplore , 2005.
- ^ SEFM 2010 , CNR , Italia.
- ^ "SEFM 2013" . Madrid, España: Universidad Complutense . Consultado el 4 de marzo de 2013 .
- ^ "SEFM 2014" . Consultado el 15 de enero de 2014 .
- ^ Conferencia sobre ingeniería de software y métodos formales (SEFM) , DBLP .
- ^ Bowen, Jonathan P .; Mayordomo, Michael ; Reeves, Steve ; Hinchey, Mike (2013). "Editorial" . Aspectos formales de la informática . 5 (3): 343. doi : 10.1007 / s00165-013-0281-8 .
enlaces externos
- Sitio web de SEFM