| Резюме статьи, 15.07.1974(?) "Program Illustration Systems: New Tools for Computer Program Documentation" (авторы R. Baecker и E. Yarwood).
Резюме статьи, 15.07.1974(?)"Software Reliability: Philosophical Underpinings" (автор R.C. Gamill).
Список, 22.04.1975(?)статей по тематической области № 22.
Резюме статьи, 15.07.1974(?)"Constructing Correct and Efficient Concurrent Programs".
Титульная страница и резюме статьи, 08.07.1974"Current Research into the Production of Reliable Software: Defining Program "Qality" Attributes within Various Environments" (автор E.L. Schulman).
Список, 22.04.1975(?)статей по тематической области № 24.
Резюме статьи, 15.07.1974(?)"A Note on Recoverability of Modular Systems" (авторы Ph. M. Merlin и D.J. Farber).
Титульная страница и резюме статьи, 15.07.1974(?)"Program Fall-Back Method in On-Line Real-Time Systems" (авторы K. Hukuoka и Y. Kubo).
Резюме статьи, 15.07.1974(?)"A Practical Error Recovery Structure" (автор B. Lindsay).
Титульная страница и резюме статьи, 15.07.1974"Structuring of Programming Systems into Scopes for Recovery and Error Isolation" (автор H. Diel).
Титульная страница и резюме статьи, 15.07.1974"Optimal Save-points in Computer Programs in Data Base" (авторы K.P. Eswaran и Tz. Lee).
Резюме статьи, 15.07.1974"Failure Tolerancy Considerations for Present and Future Air Traffic Control Systems" (авторы R.M. Hill и L.L. Small).
Резюме статьи, 15.07.1974(?)"Distinct Software: An Approach to Reliable Computing" (авторы M.A. Fischler и др.).
Резюме статьи, 15.07.1974(?)"Speculations on Fault-Tolerant Software" (автор B.R. Borgerson).
Титульная страница и предварительное резюме статьи, 15.07.1974(?)"Provably Safe Programs" (автор T. Anderson).
Резюме статьи, 15.07.1974(?)"Fault-Tolerance and Fault-Intolerance: Two Approaches to the Design of Reliable Computers" (автор A. Avizienis).
Список, 22.04.1975(?)статей по тематической области № 25.
Развернутое резюме статьи, 15.07.1974(?)"Protection and Synchronization in Actor Systems".
Резюме статьи, 15.07.1974(?)"The Design of a Verifiable Protection System".
Резюме статьи, 15.07.1974(?)"A Software Synthesis Technique" (авторы D.E. Bell и E.L. Burke).
1
2
3
4
5
6
7
8
9
По порядку | По алфавиту | По дате |
