Рабочая группа ИФИП 2.3

Рабочая группа IFIP 2.3 по методологии программирования является рабочей группой Международной федерации по обработке информации (IFIP). Ее главная цель — повысить способность программистов составлять программы. С этой целью WG2.3 предоставляет международный форум для обсуждения и взаимного обогащения идеями между исследователями в области методологии программирования и смежных областей. Как правило, члены отчитываются о ходе работы и ожидают предложений и советов. Дискуссии часто расширяются за счет приглашения «наблюдателей» на встречи в качестве полноправных участников, некоторые из которых в конечном итоге становятся членами.

Объем

Этот объем работ в WG2.3 был представлен Эдсгером В. Дейкстрой на заседании 0 (Осло, Норвегия, июль 1969 г.) ^{[1] .}

• Выявление источников трудностей, возникающих в современном программировании;
• Взаимозависимость между формулировкой проблем и формулировкой программ, а также отображение отношений, существующих в мире проблем, в отношения между программами и их компонентами;
• Интеллектуальные дисциплины и методы решения проблем, которые могут помочь программистам в составлении программ;
• Проблема достижения надежности программы;
• Последствия требований к адаптивности программ;
• Проблема доказуемости корректности программ и ее влияние на структуру программ и на процесс их составления;
• Рекомендации по разделению крупных задач программирования и определению интерфейсов между частями;
• Программное обеспечение для механизированной помощи в составлении программ.

История

В декабре 1968 года рабочая группа IFIP 2.1 приняла предложение Аада ван Вейнгаардена в качестве преемника Algol 60 (в конечном итоге приведшее к ALGOL 68 ). Группа членов WG2.1 выступила против него и подготовила отчет меньшинства. ^[2] Группа также считала, что необходим форум для обсуждения общих проблем программирования, а не только языков программирования. Другим стимулом для создания группы стали выводы первой конференции НАТО по программной инженерии , состоявшейся в 1968 году, в которой говорилось о « программном кризисе », который тогда рассматривался как охвативший мир вычислительной техники. ^[3]

Родительский комитет TC2 IFIP одобрил формирование новой рабочей группы, WG2.3, для этой цели. Майк Вуджер согласился возглавить ее. Организационное совещание состоялось в Осло 20–22 июля 1969 года, на нем присутствовали Оле-Йохан Даль , Эдсгер В. Дейкстра , Дуглас Макилрой , Брайан Рэнделл , Герхард Зегмюллер, Влад Турски, Майк Вуджер и Манфред Пол  [де] (председатель WG2.1). Дуг Росс также был одним из основателей. Брайан Рэнделл предложил название «Методология программирования» . ^[4]

Членами-основателями были преимущественно ученые, и была предпринята преднамеренная попытка привлечь членов из промышленности и торговли, а также из Азии и СССР. WG2.3 обычно собирается один или два раза в год по пять дней за раз. До 1976 года все встречи проводились в Европе, но после этого встречи часто чередовались между Европой и Северной Америкой. Несколько встреч проводились в Австралии.

Первая встреча состоялась в Копенгагене, Дания, в 1970 году. В ней приняли участие Оле-Йохан Даль , Эдсгер В. Дейкстра , Пер Бринч Хансен , Тони Хоар , М. М. Леман, Дж. Мадей, Дуг Макилрой , Джордж Радин , Брайан Рэнделл , Джон Рейнольдс , Дуг Росс , Кристофер Стрейчи и Уоррен Тейтельман .

Более подробную информацию об истории WG2.3 можно найти в книге Майка Вудгера «История IFIP WG2.3» . ^[4]

В первые годы своего существования WG2.3 не выпускала никаких отчетов о своих заседаниях. Заседания были сосредоточены на презентации и обсуждении текущих исследований, что означало, что члены могли получать конструктивную критику своих коллег на гораздо более ранней стадии, чем обычно. Таким образом, WG2.3 стала продуктивным собранием, на котором исследователи, такие как Дейкстра, могли разрабатывать многие идеи, которые они впоследствии выдвигали в опубликованных работах. ^[3] Идеи членов WG2.3 попали по крайней мере в одну хорошо рецензируемую книгу, написанную в середине 1970-х годов. ^[5]

В конце 1970-х годов было сочтено, что WG2.3 должна сделать более публичной суть своей работы и то, что было достигнуто. Соответственно, была опубликована книга Programming Methodology: A Collection of Articles by Members of IFIP WG2.3 ^{[6] .}

В 2003 году была опубликована вторая книга статей «Методология программирования» ^[7] . Некоторые эссе содержали новый материал, в то время как другие были направлены на обзор или оценку области или на определение проблем для дальнейшего исследования.

Участники Википедии, бывшие и нынешние

В состав WG 2.3 входило и входило много членов. ^[8] Некоторые из них являются предметом статей в Википедии.

• Жан-Раймон Абриаль, почетный
• Ральф-Йохан Бэк
• Динес Бьёрнер Эмеритус
• Пер Бринч Хансен (ум. 2007)
• Манфред Брой
• Род Берстолл Эмеритус
• Майкл Батлер
• Уильям Р. Кук (ум. 2022)
• Патрик Кусо
• Оле-Йохан Даль (ум. 2002)
• Эдсгер В. Дейкстра (ум. 2002)
• София Дроссопулу
• Дэвид Грайс Эмеритус
• Джон Гуттаг Эмеритус
• Эрик CR Хенер Эмеритус
• Тони Хоар
• Джим Хорнинг (ум. 2013)
• Дэниел Джексон
• Майкл Джексон
• Клифф Джонс
• Почетный Шрирам Кришнамурти
• Батлер У. Лэмпсон Эмеритус
• Гэри Т. Ливенс
• Почетный Дуг Макилрой
• Джордж Х. Мили (ум. 2010)
• Бертран Мейер
• Джаядев Мисра
• Кэрролл Морган
• Питер Наур (ум. 2016)
• Грег Нельсон (ум. 2015)
• Сьюзен Оуики Эмеритус
• Дэвид Лорге Парнас Эмеритус
• Бенджамин С. Пирс Эмерит
• Джордж Радин (ум. 2013)
• Брайан Рэнделл Эмеритус
• Джон К. Рейнольдс (ум. 2013)
• Дуглас Т. Росс (ум. 2007)
• Фред Б. Шнайдер Эмеритус
• Натараджан Шанкар
• Мишель Синцов (ум. 2010)
• Ян Л.А. ван де Снепшеут (ум. 1994)
• Кристофер Стрейчи (ум. 1975)
• Уоррен Тейтельман Эмерит
• Эмина Торлак
• Джим Вудкок
• Никлаус Вирт Эмеритус
• Майк Вуджер Эмеритус
• Памела Заве

Встречи

• «Встреча 62, Лос-Альтос, Калифорния, США, 28 октября – 1 ноября 2019 г.».
• «Встреча 61, Йорк, Великобритания, 4-8 февраля 2019 г.».
• «Встреча 60, Провиденс, Род-Айленд, США, 7-11 мая 2018 г.».
• «Встреча 59, Мулулаба, Австралия, 17–21 июля 2017 г.».
• «Встреча 58, Вильфрюмье, Франция, 3-7 октября 2016 г.».
• «Встреча 57, Пасадена, Калифорния, США, 11-15 марта 2016 г.».
• «Встреча 56, Стамбул, Турция, 23-27 марта 2015 г.».
• «Встреча 55, Орландо, Флорида, США, 19-23 мая 2014 г.».
• «Заседание 54, Санкт-Петербург, Россия, 3-7 июня 2013 г.».
• «Встреча 53, Киркланд, Вашингтон, США, 16–20 июля 2012 г.».
• «Встреча 52, Винчестер, Великобритания, 19-23 сентября 2011 г.».
• «Встреча 51, Санта-Барбара, Калифорния, 17-21 января 2011 г.».
• «Встреча 50, Лахен, Швейцария, 1-5 марта 2010 г.».
• «Встреча 49, Массачусетский технологический институт, Бостон, Массачусетс, США, 8–12 июня 2009 г.».
• «Встреча 48, Кембридж, Англия, 21-25 июля 2008 г.».
• «Встреча 47, Санта-Фе, Нью-Мексико, США, 8-12 октября 2007 г.».
• «Встреча 46, Сидней, Австралия, 8-12 января 2007 г.».
• «Встреча 45, Брюгге, Бельгия, 13-17 марта 2006 г.».
• «Встреча 44, Ниагарский водопад, Онтарио, Канада, 6-10 июня 2005 г.».
• «Встреча 43, Прато, Италия, 6-10 сентября 2004 г.».
• «Встреча 42, Филадельфия, Пенсильвания, США, 5-9 января 2004 г.».
• Встреча 41, Биарриц, Франция, 24–28 марта 2003 г.
• Встреча 40, Турку, Финляндия, 12–16 августа 2002 г.
• Встреча 39, Ганновер, Нью-Гемпшир, США, 2–6 октября 2001 г.
• Встреча 38, Санта-Круз, Калифорния, США, 8–12 января 2001 г.
• Встреча 37, Лонгхорсли, Великобритания, 3–7 апреля 2000 г.
• Встреча 36, Мюнхен, Германия, 21–25 июня 1999 г.
• Встреча 35, Блумингтон, Индиана, США, 1–5 июня 1998 г.
• Встреча 34, Эльзас, Франция, сентябрь 1997 г.
• Встреча 33, Долина Напа, Калифорния, январь 1997 г.
• Встреча 32, Ан-сюр-Лесс, Бельгия, апрель 1996 г.
• Встреча 31, Итака, Нью-Йорк, США, июль 1995 г.
• Встреча 30, Испра, Италия, июнь 1994 г.
• Встреча 29, озеро Симко, Онтарио, Канада, май 1993 г.
• Встреча 28, Нью-Форест, июль 1992 г.
• Встреча 27, Пуйи-ан-Осуа, Франция, сентябрь 1991 г.
• Встреча 26, остров Санта-Каталина, Калифорния, США, декабрь 1990 г.
• Встреча 25, Мюнхен, Германия, март 1990 г.
• Встреча 24, Заборов, Польша, июнь 1989 г.
• Встреча 23, Питтсбург, Пенсильвания, США, август 1988 г.
• Встреча 22, Абай-ля-Нёв, Бельгия, ноябрь 1987 г.
• Встреча 21, Манчестер, Великобритания, апрель 1985 г.
• Встреча 20, Виктория, Британская Колумбия, Канада, июль 1984 г.
• Встреча 19, Пон-а-Муссон, Франция, сентябрь 1983 г.
• Встреча 18, Нью-Палц, Нью-Йорк, США, сентябрь 1982 г.
• Встреча 17, Синтра, Португалия, октябрь 1981 г.
• Встреча 16, Ан-сюр-Лес, Бельгия, январь 1981 г.
• Встреча 15, Казимеж-Дольны, Польша, апрель 1980 г.
• Встреча 14, Санта-Круз, Калифорния, США, август 1979 г.
• Встреча 13, Уорик, Великобритания, апрель 1978 г.
• Встреча 12, Ниагара-он-те-Лейк, Онтарио, Канада, август 1977 г.
• Встреча 11, Сен-Пьер де Шартрез, Франция, декабрь 1976 г.
• Встреча 10, Казеновия, Иллинойс, США, июль 1976 г.
• Встреча 9, Баден-бай-Вена, Австрия, сентябрь 1975 г.
• Встреча 8, Мюнхен, Германия, декабрь 1974 г.
• Встреча 7, Больдерн, Швейцария, апрель 1974 г.
• Встреча 6, Бланчленд, Великобритания, октябрь 1973 г.
• Встреча 5, Мюнхен, Германия, апрель 1973 г.
• Встреча 4, Варшава, Польша, сентябрь 1972 г.
• Встреча 3, Бристоль, Великобритания, январь 1972 г.
• Встреча 2, Уорик, Великобритания, апрель 1971 г.
• Встреча 1, Копенгаген, Дания, март 1970 г.
• Встреча 0, Осло, Норвегия, июль 1969 г.

Источник: ^[9]

Ссылки

1. Личное сообщение от Дуга Макилроя , основателя WG2.3.
2. "Minority Report". ALGOL Bulletin (31): 7. Март 1970.
3. Randell, Brian (2022). «Эдсгер Дейкстра — некоторые воспоминания». В Apt, Krzysztof R. ; Hoare, Tony (ред.). Эдсгер Вайб Дейкстра: его жизнь, работа и наследие . Morgan & Claypool . стр. 423–444. doi : 10.1145/3544585.3544613. ISBN 978-1-4503-9773-5. S2CID  250497012.На стр. 437.
4. Woodger, Mike (1978). "История IFIP WG2.3 (методология программирования)". В Gries, David (ред.). Методология программирования . Тексты и монографии по информатике. Нью-Йорк: Springer-Verlag . doi :10.1007/978-1-4612-6315-9. ISBN 978-1-4612-6317-3. S2CID  29484154.
5. Вассерман, Энтони И. (апрель 1978 г.). «Турски, В. М., Методология компьютерного программирования». SIGSOFT Software Engineering Notes . 3 (2): 20–21. doi : 10.1145/1005888.1005894 .
6. Gries, David , ed. (1978). Методология программирования . Тексты и монографии по информатике. Нью-Йорк: Springer-Verlag . doi :10.1007/978-1-4612-6315-9. ISBN 978-1-4612-6317-3. S2CID  29484154.
7. Макайвер, Аннабель ; Морган, Кэрролл , ред. (2003). Методология программирования . Монографии по информатике. Нью-Йорк: Springer-Verlag . doi :10.1007/978-0-387-21798-7. ISBN 978-0-387-21798-7. S2CID  32720698.
8. "IFIP WG2.3 MEMBERS". IFIP WG2.3 . Получено 2022-10-23 .
9. "Meetings". IFIP WG 2.3 . Рурский институт программных технологий . Получено 2 октября 2022 г.

Внешние ссылки

• IFIP WG 2.3, Рабочая группа по методологии программирования