Аннотация "Создание и внедрение прогрессивной технологии автоматизированного проектирования программ для специализированных, встраиваемых мини и микро-ЭВМ и обеспечивающего ее комплекса настраиваемых инструментальных средств на базе универсальных ЭВМ". (Прометей-технология).
СборникПодборка статей И.Э.Карася из различных журналов по теме "Промышленное производство программных систем".
СтатьяА.Х. Акопянца "TECNOL - дацзыбао о технологии программирования".
Предложенияминистерств, ведомств и отдельных организаций по комплексному развитию технологии программирования на 1988-1995 годы.
Статья, 08.06.1981Копия статьи "The Technique of Software Automation" из журнала "Computers and People" за январь-февраль 1981 г.
Статья, 25.03.1982"Методология программирования".
Буклет, 21.12.1984"Создание и внедрение прогрессивной технологии автоматизированного проектирования программ для специализированных, встраиваемых, мини- и микро-ЭВМ и обеспечивающего ее комплекса настраиваемых инструментальных средств на базе универсальных ЭВМ. ПРОМЕТЕЙ-технология".
Копия статьи, 11.10.1985"Re-tooling the dp factory" из журнала "Computing the Magazine" за январь 1985 г.
Статья, 15.11.1985А.В.Владыцкого "Единовременный учет программных средств для ЭВМ и систем обработки информации".
Копия статьи, 13.12.1985"Key Technologies for Computers: Limits". Авторы - F.G.Withington, A.D.Little из журнала "Computers and People" за июль-август 1985 г. (Возможно, А.П.Ершов использовал ее при работе над статьей "Integrated development of software-problem formulation").
Копия статьи, 23.03.1986"SODOS: A Software Documentation Support Environment - Its Use", авторы - E.Horowitz, R.C.Williamson, из журнала "IEEE Transaction of Software Engineering" за ноябрь 1986 г.
Рекламный лист, 19.06.1986Аннотации новых книг из журнала "Computing" за июль 1986 г.
Копия статьи, 10.07.1986"Very Large Projects", автор - D.S.Appleton из журнала "Datamation" за январь 1986 г.
Копия статьи, 10.07.1986"The Right Stuff", автор - J.S.Zimmerman из журнала "Datamation" за январь 1986 г.
Копия статьи, 24.07.1986"Toward High Confidence Software", автор - J.P.Covano из журнала "IEEE Transaction of Software Engineering" за декабрь 1985 г.
Копия статьи, 22.08.1986"Certifying the Reliability of Software", авторы - P.A.Currit, M.Dyer, H.D.Millsиз журнала "IEEE Transaction of Software Engineering" за январь 1986 г.
Копия статьи, 22.08.1986коллектива авторов "A High Level Language-Based Computing Environment to Support Production and Execution of Reliable Programs", из журнала "IEEE Transaction of Software Engineering" за февраль 1986 г.
Копия статьи, 22.08.1986"Experiments in Software Reliability: Life-Critical Applications", автор - J.R.Dunham, из журнала "IEEE Transaction of Software Engineering" за январь 1986 г.
Копия статьи, 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 г.
1
2
3
По порядку | По алфавиту | По дате |