Отчет, В. М. Турский->А.П. Ершов, 08.03.1983 М.М.Лемана, В.Стенинга и В.М.Турского "Another Look at Software Design Methotodology (Preliminary Version)". Предпослано сопроводительное письмо В.Турского, в котором он просит прокомментировать его содержание и проследить за распространением.
Препринт, 10.08.1982со статьей В.Турского "Design of Large Programs".
Резюмедоктора Грина.
Рефератстатьи "Program Developments as Formal Objects".
Статья, 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С.С.Лаврова "Синтез программ (в частности - в системе СПОРА)".
Статья, 05.08.1982В.А.Ведешенкова, Н.А.Власенко, А.М.Шевченко "Выбор архитектуры военных вычислительных машин".
Статья, 27.11.1987Дж.Гогена "Fuzzy Sets and the Social Nature of Truth".
Статья, 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".
Статья, 01.04.1975группы авторов INRIA "A structure oriented program editor: a first step towards computer assisted programming".
1
2
По порядку | По алфавиту | По дате |