|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Джозеф Гоген Письмо, Дж. Гоген->А.П. Ершов, 28.04.1984 об издании трудов семинара.
Письмо, Дж. Гоген->А.П. Ершов, 23.10.1981Автор посылает список идей по разработке программного обеспечения, надеется обсудить их на семинаре на Капри.
Статья"A Practical Method for Testing Algebraic Specification". Авторы - J.Tardo, J.Goguen, N.Williamson".
Письмо, А.П. Ершов->Дж. Гоген, 04.05.1984В ответ на письмо от 28.03.84 - готов предоставить рукопись не позднее июля.
Рабочие записи, 10.07.1982-24.08.1982Работа с источниками. Конспекты статей различных ученых. Анализ выступлений на семинаре на Капри.
Письмо, Дж. Гоген->А.П. Ершов, 12.05.1983Приглашение на Третий международный семинар по технологии создания программного обеспечения во Флоренции 7-11.11.83 с обзорным докладом. /Приложен перевод на русский язык./
Письмо, 16.08.1984с напоминанием коллегам об участии в издании Трудов семинара.
Телеграмма, А.П. Ершов->Дж. Гоген, 27.06.1983Приглашение на семинар во Флоренцию принято. /Текст рукописный./
Статья"An informal introduction to specifications using Clear". Авторы - R.M.Burstall, J.A.Goguen.
Статья"On the Independence of Discourse Structure and Semantic Domain". Авторы - Ch.Linde, J.A.Goguen.
Статья, 27.11.1987Дж.Гогена "Fuzzy Sets and the Social Nature of Truth".
Телеграмма, А.П. Ершов->Дж. Гоген, 06.07.1983(?)С удовольствием принимает приглашение во Флоренцию. /Текст рукописный./
По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
