|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Барри У. Бэм Телеграмма, Э. Хоар->А.П. Ершов, 16.01.1975 Сообщает о получении рукописи.
Письмо, Э. Хоар->А.П. Ершов..., 09.07.1974Программный комитет конференции по надежности программного обеспечения приглашает А.П. Ершова принять участие в панельной дискуссии на тему "Как подготовить людей, умеющих создавать надежное программное обеспечение?".
Письмо, Э. Хоар->А.П. Ершов..., 09.07.1974Программный комитет конференции по надежности программного обеспечения просит А.П. Ершова выступить с докладом, а также быть ведущим на одном из заседаний конференции. Темой его доклада могут быть, например, "Практические аспекты в надежности программного обеспечения", однако конкретизация темы остается за ним. Также обсуждаются финансовая сторона приезда А. П. Ершова. /Дан перевод письма на русский язык./
Письмо, 09.09.1974Описание процедуры отбора статей на конференцию по надежности программного обеспечения (по хронологии и персоналиям).
Сопроводительное письмо, Э. Хоар->А.П. Ершов..., 23.12.1974(?)к информационным материалам для авторов приглашенных докладов на конференцию по надежности программного обеспечения.
Копия письма, Б. У. Бэм->М. Б. Игнатьев, 06.02.1975Благодарит за присланную статью. К сожалению, она пришла слишком поздно и не может быть включена в основную часть конференции. Сообщает о дополнительных заседаниях, на одном из которых можно будет заслушать адресата.
Письмо, Э. Хоар->А.П. Ершов..., 18.02.1974Приглашают на заседание программного комитета международной конференции по надежному программному обспечению. Перечислены обязанности членов программного комитета.
Телеграмма, А.П. Ершов->Б. У. Бэм, 08.04.1974о согласии участвовать.
Телетайпограмма, Л. Лёфгрен->Б. У. Бэм, 19.08.1974с резюме статьи "Data Structure Analysis as a Means for Reliable Real Time Systems Design".
Письмо с приложением, Б. У. Бэм->А.П. Ершов, 26.02.1975Сообщает необходимую информацию для участников конференции, прилагает ее краткую программу.
Письмо с приложением, Р. Дж. Адамс->Б. У. Бэм, 10.07.1974Сопроводительное письмо к резюме статьи "Reliable FORTRAN Common Interface Construction and Maintenance Using Data Base Concepts" и само это резюме.
Письмо, А.П. Ершов->Б. У. Бэм, 09.08.1973Сообщает о своей поездке в США. Будет рад повидаться с адресатам и другими коллегами. Высоко оценивает анализ ситуации с софтвером, сделанный адресатом.
Письмо, А.П. Ершов->Б. У. Бэм, 18.09.1973(?)Сожалеет, что не смог встретиться с адресатом в США, надеется на его приезд в Новосибирск.
Письмо, Б. У. Бэм->А.П. Ершов, 28.03.1975Сообщает об изменении в программе конференции.
Письмо, Б. У. Бэм->А.П. Ершов, 16.04.1973Посылает свою статью "Software and its Impact: A Quantitative Assessment". Просит прислать обзоры о программном обеспечении и статьи на подобные темы советских ученых. Рассказывает о своей предполагаемой поездке в СССР в октябре 1973 года, надеется побывать в Новосибирске и встретиться с адресатом.
Сопроводительное письмо, Б. У. Бэм->А.П. Ершов, 01.04.1975к статьям, принятым для издания в Трудах конференции.
Телеграмма, А.П. Ершов->Б. У. Бэм, 26.12.1974Сообщает, что текст доклада выслан Э. Хоару для редактирования перевода 26 декабря.
Письмо, Э. Хоар->А.П. Ершов..., 09.07.1974Приглашают адресата участвовать на Конгрессе ИФИП-75 в панельной дискуссии на тему "Как подготовить людей, умеющих создавать надежное программное обеспечение".
Письмо с приложением, Э. Хоар->А.П. Ершов..., 03.07.1974Сообщение о заседании программного комитета ИФИП-74. Приложена предварительная программа международной конференции по надежности математического обеспечения.
Сопроводительное письмо, Б. У. Бэм->А.П. Ершов, 15.11.1979к экземплярам доклада Б. Бэма.
1 2 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
