| Резюме статьи, 15.07.1974(?) "Correctness of Axiomatic Definitions of Programming Language Semantics".
Резюме статьи, 07.07.1974"Representing Functional Specifications in Cause-Effect Graphs" (автор W.R. Elmendorf).
Резюме статьи, 15.07.1974(?)"Methods for Software Specification".
Резюме статьи, 15.07.1974(?)"Algebraic Problem Specification and the Enhancement of Reliability".
Предварительное резюме статьи, 15.07.1974(?)"State Transitions in Complex Software Systems" (автор D.R. Innes).
Резюме статьи, 15.07.1974(?)"Another axiomatization of PASCAL or Why axiomatize programming languages".
Резюме статьи, 15.07.1974(?)"Correctness-preserving Program Transformations".
Резюме статьи, 15.07.1974(?)"Toward a Theory of Test Data Selection".
Резюме статьи, 15.07.1974(?)"An Approach to the Design of Tests of Programs".
Резюме статьи, 15.07.1974(?)"Formal Top-Down Programming".
Резюме статьи, 15.07.1974(?)"A Design Expression and Software Construction Aid" (авторы L.C. Carpenter и L.L. Tripp).
Резюме статьи, 09.07.1974"Reliable Software through Reliable Interfaces" (автор S.A. Kurzban).
Резюме статьи, 15.07.1974(?)"Practical Aids for Software Development and Maintenance" (автор C. Luk).
Резюме статьи, 15.07.1974(?)"Software Reliability through Life Cycle Application of the Space Function Concept".
Резюме статьи, 15.07.1974(?)"A New Design Technique for Large Scale Software Development" (авторы T.P. Sleight и A. Kossiakoff).
Резюме статьи, 15.07.1974(?)"A Methodology for the construction of portable Data Banks" (автор M. Goldberg).
Резюме статьи, 15.07.1974(?)"Coherent Software Development Process" (автор G.M. Engel).
Резюме статьи, 15.07.1974(?)"PSL: a tool for the structured design of modular and reliable software systems" (авторы P. Ancilotti и др.).
Резюме статьи, 15.07.1974"Virtual Computers as an Approach to Software Design, Implementation, and Documentation" (автор T.W. Pratt).
Резюме статьи, 15.07.1974(?)"A Structured Hierarchical Operating Systems".
1
2
3
4
5
6
7
8
9
По порядку | По алфавиту | По дате |
