Архив
Материалы по вычислительной технике и программному обеспечению ЭВМ
Технология программирования
Статьи по технологии программирования
Буклет, 21.12.1984
"Создание и внедрение прогрессивной технологии автоматизированного проектирования программ для специализированных, встраиваемых, мини- и микро-ЭВМ и обеспечивающего ее комплекса настраиваемых инструментальных средств на базе универсальных ЭВМ. ПРОМЕТЕЙ-технология".
Статья, 25.03.1982
"Методология программирования".
Копия статьи, 11.10.1985
"Re-tooling the dp factory" из журнала "Computing the Magazine" за январь 1985 г.
Статья, 15.11.1985
А.В.Владыцкого "Единовременный учет программных средств для ЭВМ и систем обработки информации".
Копия статьи, 24.07.1986
"Toward High Confidence Software", автор - J.P.Covano из журнала "IEEE Transaction of Software Engineering" за декабрь 1985 г.
Копия статьи, 26.08.1986
"Functional Programming, Formal Specification, and Rapid Prototyping", автор - P.Henderson, из журнала "IEEE Transaction of Software Engineering" за февраль 1986 г.
Копия статьи, 26.08.1986
группы авторов "A Recommended Practice for Describing Software Designs: IEEE Standards Project 1016",из журнала "IEEE Transaction of Software Engineering" за февраль 1986 г.
Копия статьи, 26.08.1986
"Object-Oriented Development", автор - G.Booch, из журнала "IEEE Transaction of Software Engineering" за февраль 1986 г.
Копия статьи, 03.12.1986
"Whether Software Engineering Needs to Be Artificially Intelligent", автор - H.A.Simon, из журнала "IEEE Transaction of Software Engineering" за июль 1986 г.
Копия статьи, 03.12.1986
"Knowledge-Based Programming: A Survey of Program Design and Construction Techniques", автор - A.T.Goldberg, из журнала "IEEE Transaction of Software Engineering" за июль 1986 г.
Копия статьи, 03.12.1986
группы авторов "Experimentation in Software Engineering",из журнала "IEEE Transaction of Software Engineering" за июль 1986 г.
Копия статьи, 22.08.1986
"Certifying the Reliability of Software", авторы - P.A.Currit, M.Dyer, H.D.Millsиз журнала "IEEE Transaction of Software Engineering" за январь 1986 г.
Копия статьи, 26.08.1986
"Developing Interactive Information Systems with the User Software Engineering Methodology", авторы - A.I.Wasserman, P.A.Pircher, D.T.Shewmake, M.L.Kursten, из журнала "IEEE Transaction of Software Engineering" за февраль 1986 г.
Копия статьи, 26.08.1986
"A Metaprogramming Method and Its Economic Justification", автор - L.S.Levy, из журнала "IEEE Transaction of Software Engineering" за февраль 1986 г.
Статья, 08.06.1981
Копия статьи "The Technique of Software Automation" из журнала "Computers and People" за январь-февраль 1981 г.
Копия статьи, 26.08.1986
"Salient Features of an Executable Specification Language and Its Environment", авторы - P.Zave, W.Schell, из журнала "IEEE Transaction of Software Engineering" за февраль 1986 г.
Копия статьи, 26.08.1986
"An Overview of JSD", автор - J.R.Cameron, из журнала "IEEE Transaction of Software Engineering" за февраль 1986 г.
Копия статьи, 27.08.1986
В.В.Липаева, А.А.Бородина, А.И.Матросова "СТАРС: Развитие программного обеспечения для военных систем".
Копия статьи, 26.08.1986
"Data Structured Programming: Program Design without Arrays and Pointers", авторы - H.D.Mills, R.C.Linger, из журнала "IEEE Transaction of Software Engineering" за февраль 1986 г.
Рекламный лист, 19.06.1986
Аннотации новых книг из журнала "Computing" за июль 1986 г.

1 2 3
По порядку | По алфавиту | По дате

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016