Архив
Материалы по вычислительной технике и программному обеспечению ЭВМ
Технология программирования
Статьи по технологии программирования
Аннотация
"Создание и внедрение прогрессивной технологии автоматизированного проектирования программ для специализированных, встраиваемых мини и микро-ЭВМ и обеспечивающего ее комплекса настраиваемых инструментальных средств на базе универсальных ЭВМ". (Прометей-технология).
Буклет, 21.12.1984
"Создание и внедрение прогрессивной технологии автоматизированного проектирования программ для специализированных, встраиваемых, мини- и микро-ЭВМ и обеспечивающего ее комплекса настраиваемых инструментальных средств на базе универсальных ЭВМ. ПРОМЕТЕЙ-технология".
Журнал, 02.10.1986
"AT&T Technical Journal. Quality: Theory and Practice", v.65, is.2.
Информационный бюллетень, 07.04.1987
газеты технического комитета программной инженерии. ("Software Engineering Technical Committee").
Копия статьи, 11.10.1985
"Re-tooling the dp factory" из журнала "Computing the Magazine" за январь 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 г.
Копия статьи, 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 г.
Копия статьи, 08.10.1986
"Reuse of Software Through Generation of Partial Systems", автор - F.J.Polster, из журнала "IEEE Transaction of Software Engineering" за март 1986 г.

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

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