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

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

Объем

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

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

История

В декабре 1968 года рабочая группа 2.1 ИФИП приняла предложение Аада ван Вейнгаардена в качестве преемника Алгола 60 (в конечном итоге приведшего к Алголу 68 ). Группа членов WG2.1 выступила против этого и подготовила отчет меньшинства. Группа также считала, что нужен не просто язык программирования, а форум для обсуждения общих проблем программирования. Еще одним толчком к созданию группы стали выводы первой конференции НАТО по разработке программного обеспечения , состоявшейся в 1968 году, на которой говорилось о « кризисе программного обеспечения », который тогда считался захватывающим компьютерный мир.

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

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

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

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

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

В конце 1970-х годов считалось, что WG2.3 должна более широко освещать природу о своей работе и о том, что было достигнуто. Соответственно, книга «Методология программирования: сборник статей членов IFIP WG2.3» был опубликован.

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

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

В РГ 2.3 есть и было много членов. Некоторые из них являются предметом статей в Википедии.

• Жан-Раймон Абриаль, почетный
• Ральф-Йохан Бэк
• Динес Бьорнер Почетный
• Пер Бринч Хансен (ум. 2007 г.)
• Манфред Брой
• Род Берстолл Почетный
• Майкл Батлер
• Уильям Р. Кук (ум. 2022 г.)
• Патрик Кузо
• Оле-Йохан Даль (ум. 2002 г.)
• Эдсгер В. Дейкстра (ум. 2002 г.)
• София Дроссопулу
• Дэвид Грис, почетный
• Джон Гуттаг, почетный
• Эрик Ч.Р. Хенер, почетный
• Тони Хоар
• Джим Хорнинг (ум. 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 г.

Источник:

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

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