Academic journal
Formal Aspects of Computing ( FAC ) es unarevista de acceso abierto Gold revisada por pares publicada por la Association for Computing Machinery (ACM) y BCS (la British Computer Society , el Chartered Institute for IT). La revista está estrechamente asociada con Formal Methods Europe.
Orígenes
Un comentario de Christopher Strachey inspiró el diario:
"Gran parte del trabajo práctico que se hace en informática, tanto en el diseño de software como de hardware, podría ser mejor porque quienes lo hacen necesitan entender claramente los principios fundamentales de diseño de su trabajo. La mayor parte del trabajo matemático y teórico abstracto es estéril porque no tiene ningún punto de contacto con la informática real".
Strachey pidió poner fin a la separación artificial y perjudicial del trabajo práctico y teórico en la programación.
Historia
Formal Aspects of Computing fue fundada en 1989 por la BCS en una iniciativa liderada por John Cooke, Dan Simpson y Cliff Jones , todos ellos miembros del grupo de especialistas de Formal Aspects of Computing de la BCS. Cliff Jones fue el editor fundador y Springer fue el editor inicial. Cliff Jones fue editor jefe desde 1989 hasta 2007. Jim Woodcock es el actual EIC, habiendo asumido el cargo en 2007.
Contribuciones a la investigación
Formal Aspects of Computing publica contribuciones que se encuentran en la intersección de la teoría y la práctica. El objetivo principal de FAC es promover el crecimiento de la ciencia de la computación, mostrar su relación con la práctica y estimular las aplicaciones de formalismos apropiados a problemas prácticos. Un desafío importante es mostrar cómo se pueden relacionar entre sí diversos modelos formales. En particular, el alcance de Formal Aspects of Computing incluye:
- Notaciones bien fundamentadas para la descripción y especificación de sistemas.
- Métodos para el diseño de sistemas verificables.
- Elucidación de conceptos y modelos computacionales fundamentales.
- Enfoques para el diseño tolerante a fallos.
- Herramientas de verificación y demostración de teoremas.
- Herramientas de exploración de estados y verificación de modelos.
- Semántica formal para notaciones y métodos ampliamente utilizados.
- Enfoques formales para el análisis de requisitos.
Jim Woodcock es el actual editor en jefe . Según Journal Citation Reports , la revista tiene un factor de impacto de 1,4 en 2023.
Otras contribuciones
La revista acepta contribuciones además de artículos de investigación, entre los que se incluyen los siguientes:
- Números especiales La FAC acepta propuestas de números especiales presentadas por miembros destacados de la comunidad de métodos formales. Entre las propuestas adecuadas se incluyen:
- Congresos y talleres Colecciones revisadas de artículos.
- Los temas temáticos incluyen colecciones de artículos dedicados a temas de actualidad en métodos formales, generalmente con una convocatoria abierta de artículos.
- Informes de última generación Análisis académicos y en profundidad de áreas de investigación esenciales.
- Historia de las ideas La historia de las ideas rastrea el origen y desarrollo de los métodos formales y sus herramientas. Examina las diversas mecanizaciones, su relación, los recursos intelectuales utilizados y las ideas posteriores inspiradas por la obra.
- Reseñas de libros Esto incluye revisiones críticas de métodos formales, monografías de investigación y libros de texto de enseñanza.
- Obituarios Los obituarios suelen describir y celebrar las vidas de los investigadores más exitosos, en nuestro caso, a través de contribuciones fundamentales a los métodos formales. También alentamos a celebrar a las personas que han contribuido a nuestro tema de maneras más ordinarias, como a través de la enseñanza innovadora, la redacción de libros de texto, el desarrollo de herramientas de software, la búsqueda de la divulgación y la educación continua, y la aplicación de nuestras herramientas y técnicas en la industria.
Véase también
Referencias
Enlaces externos
- Sitio web oficial
- Página de inicio
- Carta (incluido el alcance de la revista)
- Envíos
- Pautas para los autores
- Consejo editorial
- Acceso abierto
- Factor de impacto e indexación
