Документы, связанные с Рэймонд Т. Йе

  • Резюме статьи Р. Йе 15.07.1974
    "Program Verification by Predicate Transformation".
  • Письмо с приложением Р. Йе -> А.П. Ершов 03.09.1974
    Автор с удовольствием вспоминает встречу с адресатом на Конгрессе ИФИП и надеется увидеться на конференции по надежному софтверу. Предлагает написать статью в один из томов планируемой к выпуску книги "Современные направления в методологии программирования". Посылает предполагаемые оглавления трех томов.
  • Письмо Р. Йе -> А.П. Ершов 08.10.1974
    Сообщает о новом журнале "IEEE Transactions on Software Engineering" и приглашает адресата войти в редколлегию этого журнала.
  • Письмо Р. Йе -> А.П. Ершов 23.01.1975
    Просит помочь определить сумму оплаты дорожных расходов для приглашенных докладчиков на конференцию.
  • Письмо с приложением Р. Йе -> Э. Хоар 04.03.1975
    о компенсации дорожных расходов для участников конференции. Приложен дорожный ваучер.
  • Информационное письмо Р. Йе -> А.П. Ершов 07.03.1975
    для потенциальных членов Технического комитета по конструированию программного обеспечения вычислительного общества "Ай-И-И-И".
  • Сопроводительная записка Р. Йе -> Б. Рэнделл 26.05.1975
    Просит заполнить и прислать приложенную форму для возмещения дорожных расходов на конференцию по надежности софтвера.
  • Письмо Р. Йе -> А.П. Ершов 16.04.1976
    Повторное предложение войти в состав редколлегии журнала "IEEE Transactions on Software Engineering" на трехлетний срок; один из аргументов - количество статей из СССР и стран Восточной Европы может увеличиться. /Дан перевод на русский язык./
  • Телеграмма Р. Йе -> А.П. Ершов 25.10.1976
    Просит адресата сообщить, намерен ли он работать в 1977 году в редакции журнала.
  • Сопроводительное письмо Р. Йе -> А.П. Ершов 10.11.1976
    к Трудам Второй международной конференции по программному обеспечению, состоявшейся в октябре в Сан-Франциско. Они посланы в знак благодарности за работу в Оргкомитете.
  • Письмо Р. Йе -> А.П. Ершов 05.01.1977
    Автор очень доволен тем, что Андрей Петрович принял предложение работать в редакции журнала, и просит его прислать краткую биографию.
  • Телеграмма Р. Йе -> А.П. Ершов 26.01.1977
    с просьбой прислать биографию адресата.
  • Письмо Р. Йе -> А.П. Ершов 22.02.1977
    Сообщает о своих контактах с двумя членами редакции, которые предложили провести опрос читателей журнала, чтобы определить его дальнейшее развитие и найти способы привлечения практикующих программистов для написания статей.
  • Письмо с приложением Р. Йе -> А.П. Ершов 27.03.1977
    Посылает план секции программных средств журнала и просит сообщить свои комментарии. План приложен.
  • Письмо Р. Йе -> А.П. Ершов 24.05.1977
    Рассказывает о новой политике журнала отностительно статей, представленных на конференции, и о разработке анкеты для опроса читателей.
  • Письмо Р. Йе -> А.П. Ершов 28.07.1977
    Автор надеется, что АН СССР разрешит А.П. Ершову работать в редакции журнала. Просит прислать библиографию его трудов.
  • Письмо с приложением Р. Йе -> А.П. Ершов 17.08.1977
    Посылает анкету для опроса читателей, разработанную Д. Парнасом. Просит присылать свои комментарии.
  • Письмо Р. Йе -> А.П. Ершов 21.09.1977
    Просит подтвердить имена рецензентов, которые привлекались к работе в этом году.
  • Письмо Р. Йе -> А.П. Ершов 11.10.1977
    Еще раз просит как можно скорее прислать список рецензентов.
  • Меморандум Р. Йе -> А.П. Ершов 23.11.1977
    по поводу подготовки анкеты для опроса читателей. Вариант, составленный Д. Праттом, не получил одобрения редакционной коллегии.
Назад