Hispanopedia Wiki
Articulo de referencia

Conferencia Internacional sobre Ingeniería de Software y Métodos Formales

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 con una...

Hispanopedia WikiContenido en espanolLectura gratuita

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 con una especialización en métodos formales . [ 1 ]

Historia

Hasta 2002, SEFM era un taller; luego se convirtió en una conferencia internacional completa. Está patrocinada por la IEEE Computer Society . La 1.ª 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 procedían de 22 países diferentes. Además de IEEE-CS, entre los patrocinadores de SEFM 2003 se encontraban la Australian Computer Society (ACS), Boeing Australia y la Embajada de Italia en Canberra .

Las actas de la conferencia son publicadas por Springer en la serie Lecture Notes in Computer Science (LNCS) desde 2011. [ 3 ] Anteriormente, las actas eran 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 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. Las conferencias SEFM buscan fomentar la cooperación en investigación entre países en desarrollo y países industrializados. SEFM 2010 se celebró en Pisa , Italia . [ 5 ] SEFM 2013 se celebró en Madrid , España . [ 6 ] SEFM 2014 tuvo lugar en Grenoble , Francia . [ 7 ] Más recientemente, SEFM 2024 tuvo lugar en Aveiro , Portugal . [ 8 ] SEFM 2025 se celebrará en Madrid , España . [ 9 ]

La serie de conferencias SEFM está incluida en la base de datos de publicaciones en línea DBLP . [ 10 ] Está incluida en la base de datos VIAF . [ 11 ] En ocasiones, se publican artículos seleccionados revisados ​​como números especiales de revistas. [ 12 ] La conferencia también se cubre en informes externos. [ 13 ] Las actas de la conferencia están indexadas por la Association for Computing Machinery (ACM). [ 14 ]

Referencias

  1. ↑ Historial de SEFM Archivado el 12/06/2010 en Wayback Machine , UNU-IIST , Universidad de las Naciones Unidas , Macao.
  2. ↑ SEFM 2003 Archivado el 12 de junio de 2010 en Wayback Machine , Brisbane, Australia, 2003.
  3. ↑ "Actas de la conferencia: Ingeniería de software y métodos formales" . SpringerLink . Springer Science+Business Media . Consultado el 26 de marzo de 2025 .
  4. ↑ "Tercera Conferencia Internacional IEEE sobre Ingeniería de Software y Métodos Formales (SEFM'05), 7-9 de septiembre de 2005" . IEEE Xplore . IEEE . 2005. doi : 10.1109/SEFM10602.2005 . Consultado el 26 de marzo de 2025 .
  5. ↑ SEFM 2010 , CNR , Italia.
  6. ↑ «SEFM 2013» . Madrid, España: Universidad Complutense . Consultado el 4 de marzo de 2013 .
  7. ↑ "SEFM 2014" . Consultado el 15 de enero de 2014 .
  8. ↑ Madeira, Alexandre; Knapp, Alexander (eds.). Ingeniería de software y métodos formales, 22.ª Conferencia Internacional, SEFM 2024, Aveiro, Portugal, 6-8 de noviembre de 2024, Actas . Lecture Notes in Computer Science (LNCS). Vol. 15280. Springer . doi : 10.1007/978-3-031-47115-5 . ISBN  978-3-031-47115-5.
  9. ↑ "23.ª Conferencia Internacional sobre Ingeniería de Software y Métodos Formales, 10-14 de noviembre de 2025" . sefm-conference.github.io . GitHub . 2025. Consultado el 25 de marzo de 2025 .
  10. ↑ "Conferencia Internacional IEEE sobre Ingeniería de Software y Métodos Formales (SEFM)" . DBLP . Consultado el 25 de marzo de 2025 .
  11. ↑ "Conferencia Internacional IEEE sobre Ingeniería de Software y Métodos Formales" . VIAF . Consultado el 25 de marzo de 2025 .
  12. ↑ Bowen, Jonathan P. ; Butler, Michael ; Reeves, Steve ; Hinchey, Mike (2013). "Editorial" . Aspectos formales de la computación . 5 (3): 343. doi : 10.1007/s00165-013-0281-8 .
  13. ↑ "Informe de la Conferencia SEFM 2021". FACS FACTS . 2022 (1). British Computer Society : 44–48 . 2022.
  14. ↑ "Ingeniería de software y métodos formales: 19.ª Conferencia Internacional, SEFM 2021, evento virtual, 6-10 de diciembre de 2021, Actas" . Association for Computing Machinery . 6 de diciembre de 2021. doi : 10.1007/978-3-030-92124-8 . Consultado el 26 de marzo de 2025 .
  • Sitio web de SEFM