| Титульная страница и резюме статьи, 15.07.1974(?) "Design of FADAC System for Validation of Tactical Software" (авторы J. Bell и H. Brodkin).
Резюме статьи, 15.07.1974(?)"Database Validation" (автор A. Marmorstein).
Резюме статьи, 15.07.1974(?)"The Design and Use of a Portable System for Testing the Arithmetic Behavior of Mathematical Software" (авторы M. Ginsberg и D. Frailey).
Резюме статьи, 15.07.1974(?)"The Analysis of Data Flow in FORTRAN Programs".
Резюме статьи, 15.07.1974(?)"COBOL Source Analyzer Tool" (автор W. Kearney).
Резюме статьи, 15.07.1974(?)"An ALGOL 60 Program Testing Facility" (автор R.E. Fairley).
Резюме статьи, 15.07.1974(?)"Pattern-Directed Protection Debugging".
Титульная страница и резюме статьи, 15.07.1974"A Tool for Debugging FORTRAN Programs" (авторы M. Lemoine и J.-Y. Rousselot).
Резюме статьи, 15.07.1974(?)"A Practical Procedure for Structured Program Testing" (автор D.M. Sherr).
Резюме статьи, 15.07.1974(?)"An Automatic Specification Reconstruction".
Резюме статьи, 15.07.1974(?)"Toward an Automated Software Testing with Instrumentation".
Резюме статьи, 15.07.1974(?)"Reliable Testing During Software Evaluation" (авторы A. Cicu и др.).
Резюме статьи, 15.07.1974"A method for test-case generation" (автор J.C. Huang).
Резюме статей, 15.07.1974(?)"A Stochastic Input Simulator: an Aid in Software Checkout" и "A FORTRAN SPELLER: an Algorithm for the Connection of Misspelled FORTRAN Programs" (автор Sz. Szillard).
Резюме статьи, 15.07.1974(?)"Structured Programming and Automated Validation Tools".
Резюме и оглавление статьи, 15.07.1974(?)"Use of the Connectivity Matrix for Software Network Representation" (авторы R.F. Hoffman и K.W. Krause).
Титульная страница и резюме статьи, 15.07.1974(?)"An Error Diagnostics Systems for IBM/370 - OS/MVT Program Interrupts" (авторы B.M. Kirsch и R.F. Mathis).
Список, 22.04.1975(?)статей по тематической области № 13.
Резюме статьи, 15.07.1974"Program Behavior Dependent Definition for Software Reliability". Приложены краткие сведения об авторе.
Резюме статьи, 15.07.1974(?)"Theoretical Restrictions on Reliability Claims for Systems" (автор W.G. Wilson).
1
2
3
4
5
6
7
8
9
По порядку | По алфавиту | По дате |
