| Титульный лист и содержание, 26.11.1987 книги "The correctness problem in computer science", выпущенной издательством "Academic Press" в 1981 г.
Статья, 26.11.1987"Using Symbolic Execution to Characterize Behavior". Авторы - D.Cohen. W.Swartout? R.Balzer.
Статья, 26.11.1987В Турского "Specification as a Theory with Models in the Computer World and in the Real World".
Статья, 10.06.1982Ф.Л.Бауэра "A Trend for the Next 10 Years of Software Engineering".
Статья, 01.06.1982Ф.Л.Бауэра "Programming as Fulfilment of a Contract".
Статья, 01.06.1982Ф.Л.Бауэра "New Aspects of, and New Aspects for a Software Engineer's Programming Methodology".
Статья, 01.09.1982А.Перлиса "Epigrams on Programming".
Статья, 26.11.1987Д.Уайла "Program Developments as Formal Objects".
Статья, 15.10.1982"Ada and Software Development Support: A New Concept in Language Design". Авторы - R.J.LeBlanc, J.J.Goda.
Статья, 07.06.1982группы авторов "LDM - a Logic Based Software Development Method".
Статья, 07.08.1982В Турского "A View of Current Concerns in Software Engineering".
Статья, 26.11.1987С.С.Лаврова "Синтез программ (в частности - в системе СПОРА)".
Препринт, 10.08.1982со статьей В.Турского "Design of Large Programs".
Отчет, В. М. Турский->А.П. Ершов, 08.03.1983М.М.Лемана, В.Стенинга и В.М.Турского "Another Look at Software Design Methotodology (Preliminary Version)". Предпослано сопроводительное письмо В.Турского, в котором он просит прокомментировать его содержание и проследить за распространением.
Статья, 05.08.1982В.А.Ведешенкова, Н.А.Власенко, А.М.Шевченко "Выбор архитектуры военных вычислительных машин".
Статья, 27.11.1987Дж.Гогена "Fuzzy Sets and the Social Nature of Truth".
Рефератстатьи "Program Developments as Formal Objects".
Резюмедоктора Грина.
Статья, 28.04.1982"The Future of Programming". Авторы - A. I. Wasserman, S. Gutz.
Статья, 01.07.1980группы авторов INRIA "Programming Environments based on Structured Editors: The MENTOR Experience".
1
2
По порядку | По алфавиту | По дате |
