stringtranslate.com

Conferencias conjuntas europeas sobre teoría y práctica del software

Las Conferencias Conjuntas Europeas sobre Teoría y Práctica del Software (ETAPS) son una confederación de (actualmente) cuatro conferencias de informática que se llevan a cabo anualmente en un sitio de conferencias, generalmente a fines de marzo o abril. Tres de las cuatro conferencias (FoSSaCS, FASE, TACAS) están en el primer lugar en ingeniería de software [1] y una ( ESOP ) está en el primer lugar en lenguajes de programación . [2]

Constituir conferencias

ETAPS actualmente agrupa las siguientes conferencias:

De 1995 a 2015, la Conferencia Internacional sobre Construcción de Compiladores (CC) y de 2012 a 2019 los Principios de Seguridad y Confianza (POST) también fueron conferencias constitutivas.

TACAS

TACAS (Tools and Algorithms for the Construction and Analysis of Systems) es una conferencia que se centra en la aplicación y el soporte de herramientas para varios métodos formales . Es una de las conferencias de mayor prestigio en ingeniería de software . [1] Fue fundada por Bernhard Steffen , Rance Cleaveland, Ed Brinksma y Kim Larsen. La primera TACAS se celebró en 1995 en Aarhus , Dinamarca, seguida de las conferencias de 1996 en Passau , Alemania y 1997 en Enschede , Países Bajos . TACAS fue una de las primeras cinco conferencias constituyentes de ETAPS en 1998. [3]

ESOPO

ESOP (European Symposium on Programming) es una conferencia que se centra en cuestiones fundamentales de la especificación, el diseño, el análisis y la implementación de lenguajes y sistemas de programación. Es una de las conferencias de mayor prestigio sobre lenguajes de programación. La primera edición de ESOP se celebró en marzo de 1986 en Saarbrücken. [4]

FASE

FASE (Fundamental Approaches to Software Engineering) es una conferencia que se centra en los fundamentos sobre los que se construye la ingeniería de software. Reemplazó a la conferencia Formal Aspects/Approaches to Software Engineering, pero mantuvo su acrónimo. [5]

FossaCS

FoSSaCS (Conferencia Internacional sobre Fundamentos de la Ciencia del Software y Estructuras Computacionales) es una conferencia que se centra en la investigación fundamental en la ciencia del software, especialmente en las teorías y métodos para el análisis, la integración, la síntesis, la transformación y la verificación de programas y sistemas de software. Su primera edición se celebró como parte de la primera ETAPS en 1998. Puede considerarse como sucesora de la conferencia CAAP, Colloque sur les Arbres en Algèbre et en Programmation. [6]

Premio a la prueba del tiempo

El premio ETAPS Test of Time reconoce "artículos destacados publicados hace más de 10 años" en una de las conferencias constituyentes de ETAPS y el "impacto de los excelentes resultados de investigación" que se han publicado en ETAPS. [7]

Referencias

  1. ^ ab "Top conferences in software engineering" (Las mejores conferencias en ingeniería de software). Microsoft Academic Search . Consultado el 4 de junio de 2013 .[ enlace muerto permanente ]
  2. ^ "Top conferences on programming language" (Las mejores conferencias sobre lenguajes de programación). Microsoft Academic Search . Consultado el 4 de junio de 2013 .
  3. ↑ «ETAPS'98» . Consultado el 4 de junio de 2013 .
  4. ^ Robinet, Bernard; Wilhelm, Reinhard, eds. (1986). Esop 86. Apuntes de clase sobre informática. Vol. 213. doi :10.1007/3-540-16442-1. ISBN 978-3-540-16442-5. ISSN  0302-9743. S2CID  33668937.
  5. ^ Astesiano, Egidio, ed. (1998). Enfoques fundamentales de la ingeniería de software (PDF) . Apuntes de clase en informática. Vol. 1382. doi :10.1007/bfb0053578. ISBN. 978-3-540-64303-6. ISSN  0302-9743. S2CID  41737556.
  6. ^ Nivat, Maurice, ed. (1998). Fundamentos de la ciencia del software y estructuras computacionales (PDF) . Apuntes de clase en informática. Vol. 1378. doi :10.1007/bfb0053537. ISBN. 978-3-540-64300-5. ISSN  0302-9743. S2CID  35101695.
  7. ^ Premio a la prueba del tiempo

Enlaces externos


  • en
  • a
  • mi