"Создание и внедрение прогрессивной технологии автоматизированного проектирования программ для специализированных, встраиваемых, мини- и микро-ЭВМ и обеспечивающего ее комплекса настраиваемых инструментальных средств на базе универсальных ЭВМ. ПРОМЕТЕЙ-технология".

"Методология программирования".

"Re-tooling the dp factory" из журнала "Computing the Magazine" за январь 1985 г.

А.В.Владыцкого "Единовременный учет программных средств для ЭВМ и систем обработки информации".

"Toward High Confidence Software", автор - J.P.Covano из журнала "IEEE Transaction of Software Engineering" за декабрь 1985 г.

"Functional Programming, Formal Specification, and Rapid Prototyping", автор - P.Henderson, из журнала "IEEE Transaction of Software Engineering" за февраль 1986 г.

группы авторов "A Recommended Practice for Describing Software Designs: IEEE Standards Project 1016",из журнала "IEEE Transaction of Software Engineering" за февраль 1986 г.

"Object-Oriented Development", автор - G.Booch, из журнала "IEEE Transaction of Software Engineering" за февраль 1986 г.

"Whether Software Engineering Needs to Be Artificially Intelligent", автор - H.A.Simon, из журнала "IEEE Transaction of Software Engineering" за июль 1986 г.

"Knowledge-Based Programming: A Survey of Program Design and Construction Techniques", автор - A.T.Goldberg, из журнала "IEEE Transaction of Software Engineering" за июль 1986 г.

группы авторов "Experimentation in Software Engineering",из журнала "IEEE Transaction of Software Engineering" за июль 1986 г.

"Certifying the Reliability of Software", авторы - P.A.Currit, M.Dyer, H.D.Millsиз журнала "IEEE Transaction of Software Engineering" за январь 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 г.

"A Metaprogramming Method and Its Economic Justification", автор - L.S.Levy, из журнала "IEEE Transaction of Software Engineering" за февраль 1986 г.

Копия статьи "The Technique of Software Automation" из журнала "Computers and People" за январь-февраль 1981 г.

"Salient Features of an Executable Specification Language and Its Environment", авторы - P.Zave, W.Schell, из журнала "IEEE Transaction of Software Engineering" за февраль 1986 г.

"An Overview of JSD", автор - J.R.Cameron, из журнала "IEEE Transaction of Software Engineering" за февраль 1986 г.

В.В.Липаева, А.А.Бородина, А.И.Матросова "СТАРС: Развитие программного обеспечения для военных систем".

"Data Structured Programming: Program Design without Arrays and Pointers", авторы - H.D.Mills, R.C.Linger, из журнала "IEEE Transaction of Software Engineering" за февраль 1986 г.

Аннотации новых книг из журнала "Computing" за июль 1986 г.