Grupo de Trabajo 2.3 de la IFIP

El Grupo de Trabajo 2.3 de la IFIP sobre Metodología de la Programación es un grupo de trabajo de la Federación Internacional para el Procesamiento de la Información (IFIP). Su objetivo principal es mejorar la capacidad de los programadores para componer programas. Para ello, el Grupo de Trabajo 2.3 ofrece un foro internacional para el debate y el intercambio de ideas entre investigadores en metodología de la programación y campos afines. Generalmente, los miembros informan sobre el trabajo en curso y esperan sugerencias y consejos. Los debates suelen ampliarse invitando a observadores a las reuniones como participantes de pleno derecho, algunos de los cuales posteriormente se convierten en miembros.

Alcance

Este alcance de trabajo en el WG2.3 fue presentado por Edsger W. Dijkstra en la reunión 0 (Oslo, Noruega, julio de 1969). ^{[ 1 ]}

Identificación de las fuentes de las dificultades que se presentan en la programación actual;
La interdependencia entre la formulación de problemas y la formulación de programas, y el mapeo de las relaciones existentes en el mundo de los problemas a las relaciones entre los programas y sus componentes;
Disciplinas intelectuales y técnicas de resolución de problemas que pueden ayudar a los programadores en la composición de programas;
El problema de lograr la fiabilidad del programa;
Las consecuencias de los requisitos de adaptabilidad del programa;
El problema de la demostrabilidad de la corrección de los programas y su influencia en la estructura de los programas y en el proceso de su composición;
Directrices para la partición de grandes tareas de programación y la definición de las interfaces entre las partes;
Software para asistencia mecanizada en la composición de programas.

Historia

En diciembre de 1968, el Grupo de Trabajo 2.1 de la IFIP adoptó la propuesta de Aad van Wijngaarden como sucesor de Algol 60 (que finalmente dio lugar a ALGOL 68 ). Un grupo de miembros del Grupo de Trabajo 2.1 se opuso y elaboró un informe minoritario. ^{[ 2 ]} El grupo también consideró que, más allá de los lenguajes de programación, se necesitaba un foro para debatir el problema general de la programación. Otro impulso para la creación del grupo fueron las conclusiones de la primera Conferencia de Ingeniería de Software de la OTAN , celebrada en 1968, que hablaba de la « crisis del software » que entonces se percibía como una crisis que afectaba al mundo de la informática. ^{[ 3 ]}

El comité matriz TC2 de IFIP aprobó la formación de un nuevo Grupo de Trabajo, WG2.3, para este propósito. Mike Woodger aceptó presidirlo. Se celebró una reunión organizativa en Oslo, del 20 al 22 de julio de 1969, con la asistencia de Ole-Johan Dahl , Edsger W. Dijkstra , Douglas McIlroy , Brian Randell , Gerhard Seegmueller, Wlad Turski, Mike Woodger y Manfred Paul (presidente de WG2.1). Doug Ross también fue miembro fundador. Brian Randell sugirió el título Metodología de Programación . ^{[ 4 ]}

Los miembros fundadores eran predominantemente académicos, y se hizo un esfuerzo deliberado por incorporar miembros de la industria y el comercio, así como de Asia y la URSS. El Grupo de Trabajo 2.3 se reúne generalmente una o dos veces al año durante cinco días. Hasta 1976, todas las reuniones se celebraron en Europa, pero a partir de entonces, las reuniones a menudo se alternaron entre Europa y Norteamérica. Varias reuniones se han celebrado en Australia.

La primera reunión tuvo lugar en Copenhague, Dinamarca, en 1970. Asistieron Ole-Johan Dahl , Edsger W. Dijkstra , Per Brinch Hansen , Tony Hoare , MM Lehman, J. Madey, Doug McIlroy , George Radin , Brian Randell , John Reynolds , Doug Ross , Christopher Strachey y Warren Teitelman .

Para obtener más información sobre la historia del WG2.3, lea el artículo de Mike Woodger titulado " Una historia del IFIP WG2.3" . ^{[ 4 ]}

En sus primeros años, el WG2.3 no elaboró informes de sus reuniones. Estas se centraban en la presentación y el debate de las investigaciones en curso, lo que permitía a los miembros recibir críticas constructivas de sus colegas mucho antes de lo habitual. De este modo, el WG2.3 se convirtió en un foro productivo donde investigadores como Dijkstra pudieron desarrollar muchas de las ideas que posteriormente plasmaron en artículos publicados. ^{[ 3 ]} Algunas ideas de los miembros del WG2.3 se incorporaron a al menos un libro bien valorado, escrito a mediados de la década de 1970. ^{[ 5 ]}

A finales de la década de 1970, se consideró que el Grupo de Trabajo 2.3 debía dar a conocer más públicamente la naturaleza de su trabajo y sus logros. En consecuencia, se publicó el libro Metodología de Programación: Una colección de artículos de miembros del Grupo de Trabajo 2.3 de la IFIP ^{[ 6 ] .}

En 2003, se publicó un segundo libro de artículos , Metodología de Programación ^{[ 7 ]} . Algunos ensayos contenían material nuevo, mientras que otros tenían como objetivo revisar o evaluar un área o esbozar problemas para una investigación más profunda.

Miembros en Wikipedia, antiguos y actuales.

El WG 2.3 tiene, y ha tenido, muchos miembros. ^{[ 8 ]} Algunos son el tema de artículos de Wikipedia.

Jean-Raymond Abrial (fallecido en 2025)
Ralph-Johan Back
Dines Bjørner Emérito
Por Brinch Hansen (fallecido en 2007)
Manfred Broy
Rod Burstall (fallecido en 2025)
Michael Butler
William R. Cook (fallecido en 2022)
Patrick Cousot
Ole-Johan Dahl (fallecido en 2002)
Edsger W. Dijkstra (fallecido en 2002)
Sofía Drossopoulou
David Gries Emérito
Juan Guttag Emérito
Eric CR Hehner Emérito
Tony Hoare (fallecido en 2026)
Jim Horning (fallecido en 2013)
Daniel Jackson
Michael Jackson
Cliff Jones
Shriram Krishnamurthi Emérito
Butler W. Lampson Emérito
Gary T. Leavens
Doug McIlroy Emérito
Annabelle K McIver
George H. Mealy (fallecido en 2010)
Bertrand Meyer
Jayadev Misra
Carroll Morgan
Peter Naur (fallecido en 2016)
Greg Nelson (fallecido en 2015)
Susan Owicki Emérita
David Lorge Parnas Emérito
Benjamin C. Pierce Emérito
George Radin (fallecido en 2013)
Brian Randell Emérito
John C. Reynolds (fallecido en 2013)
Douglas T. Ross (fallecido en 2007)
Fred B. Schneider Emérito
Natarajan Shankar
Michel Sintzoff (fallecido en 2010)
Jan LA van de Snepscheut (f. 1994)
Christopher Strachey (fallecido en 1975)
Warren Teitelman Emérito
Emina Torlak
Jim Woodcock
Niklaus Wirth (fallecido en 2023)
Mike Woodger Emérito
Pamela Zave

Reuniones

Reunión del Grupo de Trabajo 2.3 en Atenas, Grecia, del 19 al 23 de mayo de 2025.
...
"Reunión 62, Los Altos, CA, EE. UU., 28 de octubre - 1 de noviembre de 2019" . Archivado del original el 27 de septiembre de 2022. Consultado el 29 de septiembre de 2022 .
"Reunión 61, York, Reino Unido, 4-8 de febrero de 2019" . Archivado del original el 27 de septiembre de 2022. Consultado el 29 de septiembre de 2022 .
"Reunión 60, Providence, RI, EE. UU., 7-11 de mayo de 2018" . Archivado del original el 27 de septiembre de 2022. Consultado el 29 de septiembre de 2022 .
"Reunión 59, Mooloolaba, Australia, 17-21 de julio de 2017" . Archivado del original el 29 de septiembre de 2022. Consultado el 29 de septiembre de 2022 .
"Reunión 58, Villebrumier, Francia, 3-7 de octubre de 2016" . Archivado del original el 29 de septiembre de 2022. Consultado el 29 de septiembre de 2022 .
"Reunión 57, Pasadena, California, EE. UU., 11-15 de marzo de 2016" . Archivado del original el 29 de septiembre de 2022. Consultado el 29 de septiembre de 2022 .
"Reunión 56, Estambul, Turquía, 23-27 de marzo de 2015" . Archivado del original el 29 de septiembre de 2022. Consultado el 29 de septiembre de 2022 .
"Reunión 55, Orlando, Florida, EE. UU., 19-23 de mayo de 2014" . Archivado del original el 29 de septiembre de 2022. Consultado el 29 de septiembre de 2022 .
"Reunión 54, San Petersburgo, Rusia, 3-7 de junio de 2013" . Archivado del original el 29 de septiembre de 2022. Consultado el 29 de septiembre de 2022 .
"Reunión 53, Kirkland, WA, EE. UU., 16-20 de julio de 2012" . Archivado del original el 29 de septiembre de 2022. Consultado el 29 de septiembre de 2022 .
"Reunión 52, Winchester, Reino Unido, 19-23 de septiembre de 2011" . Archivado del original el 28 de septiembre de 2022. Consultado el 29 de septiembre de 2022 .
"Reunión 51, Santa Bárbara, CA, 17-21 de enero de 2011" . Archivado del original el 29 de septiembre de 2022. Consultado el 29 de septiembre de 2022 .
"Encuentro 50, Lachen, Suiza, 1-5 de marzo de 2010" . Archivado del original el 29 de septiembre de 2022. Consultado el 29 de septiembre de 2022 .
"Reunión 49, MIT, Boston, MA, EE. UU., 8-12 de junio de 2009" . Archivado del original el 29 de septiembre de 2022. Consultado el 29 de septiembre de 2022 .
"Reunión 48, Cambridge, Inglaterra, 21-25 de julio de 2008" . Archivado del original el 28 de septiembre de 2022. Consultado el 29 de septiembre de 2022 .
"Reunión 47, Santa Fe, NM, EE. UU., 8-12 de octubre de 2007" . Archivado del original el 29 de septiembre de 2022. Consultado el 29 de septiembre de 2022 .
"Reunión 46, Sídney, Australia, 8-12 de enero de 2007" . Archivado del original el 29 de septiembre de 2022. Consultado el 29 de septiembre de 2022 .
"Reunión 45, Brujas, Bélgica, 13-17 de marzo de 2006" . Archivado del original el 28 de septiembre de 2022. Consultado el 29 de septiembre de 2022 .
"Reunión 44, Cataratas del Niágara, Ontario, Canadá, 6-10 de junio de 2005" . Archivado del original el 29 de septiembre de 2022. Consultado el 29 de septiembre de 2022 .
"Reunión 43, Prato, Italia, 6-10 de septiembre de 2004" . Archivado del original el 29 de septiembre de 2022. Consultado el 29 de septiembre de 2022 .
"Reunión 42, Filadelfia, Pensilvania, EE. UU., 5-9 de enero de 2004" . Archivado del original el 29 de septiembre de 2022. Consultado el 29 de septiembre de 2022 .
Reunión 41, Biarritz, Francia, 24-28 de marzo de 2003
Reunión número 40, Turku, Finlandia, del 12 al 16 de agosto de 2002.
Reunión 39, Hanover, Nuevo Hampshire, EE. UU., 2-6 de octubre de 2001
Reunión número 38, Santa Cruz, California, EE. UU., del 8 al 12 de enero de 2001
Reunión número 37, Longhorseley, Reino Unido, del 3 al 7 de abril de 2000.
Reunión número 36, Múnich, Alemania, del 21 al 25 de junio de 1999.
Reunión número 35, Bloomington, Indiana, EE. UU., del 1 al 5 de junio de 1998.
Reunión 34, Alsacia, Francia, septiembre de 1997
Reunión número 33, Valle de Napa, California, enero de 1997.
Reunión 32, Han-sur-Lesse, Bélgica, abril de 1996
Reunión número 31, Ithaca, Nueva York, EE. UU., julio de 1995
Reunión 30, Ispra, Italia, junio de 1994
Reunión número 29, Lago Simcoe, Ontario, Canadá, mayo de 1993.
Reunión número 28, New Forest, julio de 1992.
Reunión 27, Pouilly-en-Auxois, Francia, septiembre de 1991.
Reunión número 26, Isla Santa Catalina, California, EE. UU., diciembre de 1990.
Reunión número 25, Múnich, Alemania, marzo de 1990
Reunión 24, Zaborów, Polonia, junio de 1989
Reunión número 23, Pittsburgh, Pensilvania, EE. UU., agosto de 1988
Reunión número 22, Habay-la-Neuve, Bélgica, noviembre de 1987.
Reunión número 21, Manchester, Reino Unido, abril de 1985
Reunión número 20, Victoria, Columbia Británica, Canadá, julio de 1984
Reunión 19, Pont-à-Mousson, Francia, septiembre de 1983
Reunión número 18, New Paltz, Nueva York, EE. UU., septiembre de 1982
Reunión 17, Sintra, Portugal, octubre de 1981
Reunión 16, Han-sur-Lesse, Bélgica, enero de 1981
Reunión 15, Kazimierz Dolny, Polonia, abril de 1980
Reunión 14, Santa Cruz, California, EE. UU., agosto de 1979
Reunión 13, Warwick, Reino Unido, abril de 1978
Reunión 12, Niagara-on-the-Lake, Ontario, Canadá, agosto de 1977
Reunión 11, St. Pierre de Chartruese, Francia, diciembre de 1976
Reunión 10, Cazenovia, Illinois, EE. UU., julio de 1976
Reunión 9, Baden bei Wien, Austria, septiembre de 1975
Reunión 8, Múnich, Alemania, diciembre de 1974
Reunión 7, Boldern, Suiza, abril de 1974
Reunión 6, Blanchland, Reino Unido, octubre de 1973
Reunión 5, Múnich, Alemania, abril de 1973
Cuarta reunión, Varsovia, Polonia, septiembre de 1972
Reunión 3, Bristol, Reino Unido, enero de 1972
Reunión 2, Warwick, Reino Unido, abril de 1971
Reunión 1, Copenhague, Dinamarca, marzo de 1970
Reunión 0, Oslo, Noruega, julio de 1969

Fuente: ^{[ 9 ]}

Referencias

↑ Comunicación personal de Doug McIlroy , miembro fundador del WG2.3.
↑ "Informe de la minoría" . Boletín ALGOL (31): 7. Marzo de 1970.
1 2 Randell, Brian (2022). «Edsger Dijkstra: algunos recuerdos» . En Apt, Krzysztof R .; Hoare, Tony (eds.). Edsger Wybe Dijkstra: su vida, obra y legado . Morgan & Claypool . págs. 423–444 . doi : 10.1145/3544585.3544613 . ISBN 978-1-4503-9773-5. S2CID 250497012 . En la página 437.
1 2 Woodger, Mike (1978). "Historia del IFIP WG2.3 (Metodología de la programación)". En Gries, David (ed.). Metodología de la programación . Textos y monografías en ciencias de la computación. Nueva York: Springer-Verlag . doi : 10.1007/978-1-4612-6315-9 . ISBN 978-1-4612-6317-3. S2CID 29484154 .
↑ Wasserman, Anthony I. (abril de 1978). "Turski, WM, Metodología de programación informática " . ACM SIGSOFT Software Engineering Notes . 3 (2): 20– 21. doi : 10.1145/1005888.1005894 .
↑ Gries, David , ed. (1978). Metodología de la programación . Textos y monografías en ciencias de la computación. Nueva York: Springer-Verlag . doi : 10.1007/978-1-4612-6315-9 . ISBN 978-1-4612-6317-3. S2CID 29484154 .
↑ McIver, Annabelle ; Morgan, Carroll , eds. (2003). Metodología de la programación . Monografías en Ciencias de la Computación. Nueva York: Springer-Verlag . doi : 10.1007/978-0-387-21798-7 . ISBN 978-0-387-21798-7. S2CID 32720698 .
↑ "MIEMBROS DEL IFIP WG2.3" . IFIP WG2.3 . Archivado del original el 23/10/2022 . Consultado el 23/10/2022 .
↑ "Reuniones" . IFIP WG 2.3 . Instituto Ruhr de Tecnología de Software. Archivado del original el 3 de octubre de 2022. Consultado el 2 de octubre de 2022 .

Enlaces externos

Grupo de trabajo 2.3 de IFIP sobre metodología de programación

[1] Comunicación personal de Doug McIlroy , miembro fundador del WG2.3.

[2] "Informe de la minoría" . Boletín ALGOL (31): 7. Marzo de 1970.

[ewd-randell-3] 1 2 Randell, Brian (2022). «Edsger Dijkstra: algunos recuerdos» . En Apt, Krzysztof R .; Hoare, Tony (eds.). Edsger Wybe Dijkstra: su vida, obra y legado . Morgan & Claypool . págs. 423–444 . doi : 10.1145/3544585.3544613 . ISBN 978-1-4503-9773-5. S2CID 250497012 . En la página 437.

[WoodgerChapter-4] 1 2 Woodger, Mike (1978). "Historia del IFIP WG2.3 (Metodología de la programación)". En Gries, David (ed.). Metodología de la programación . Textos y monografías en ciencias de la computación. Nueva York: Springer-Verlag . doi : 10.1007/978-1-4612-6315-9 . ISBN 978-1-4612-6317-3. S2CID 29484154 .

[5] Wasserman, Anthony I. (abril de 1978). "Turski, WM, Metodología de programación informática " . ACM SIGSOFT Software Engineering Notes . 3 (2): 20– 21. doi : 10.1145/1005888.1005894 .

[WG23ProgMeth-6] Gries, David , ed. (1978). Metodología de la programación . Textos y monografías en ciencias de la computación. Nueva York: Springer-Verlag . doi : 10.1007/978-1-4612-6315-9 . ISBN 978-1-4612-6317-3. S2CID 29484154 .

[WG23ProgMeth2003-7] McIver, Annabelle ; Morgan, Carroll , eds. (2003). Metodología de la programación . Monografías en Ciencias de la Computación. Nueva York: Springer-Verlag . doi : 10.1007/978-0-387-21798-7 . ISBN 978-0-387-21798-7. S2CID 32720698 .

[8] "MIEMBROS DEL IFIP WG2.3" . IFIP WG2.3 . Archivado del original el 23/10/2022 . Consultado el 23/10/2022 .

[9] "Reuniones" . IFIP WG 2.3 . Instituto Ruhr de Tecnología de Software. Archivado del original el 3 de octubre de 2022. Consultado el 2 de octubre de 2022 .

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ] .

[ 7 ]

[ 8 ]

[ 9 ]