| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A decentralized information and control system for blood management
|
Kendall, Kenneth E.
|
|
1979
|
1 |
C |
p. 299-306
8 p.
|
artikel
|
| 2 |
A mathematical model for the evolution of software
|
Woodside, C.M.
|
|
1979
|
1 |
C |
p. 337-345
9 p.
|
artikel
|
| 3 |
Analysis of the effects of programming factors on programming effort
|
Dunsmore, H.E.
|
|
1979
|
1 |
C |
p. 141-153
13 p.
|
artikel
|
| 4 |
Assertion techniques for dynamic monitoring of linear list data structures
|
Yau, Stephen S.
|
|
1979
|
1 |
C |
p. 319-336
18 p.
|
artikel
|
| 5 |
ASSET: A life cycle verification and visibility system
|
Osterweil, Leon J.
|
|
1979
|
1 |
C |
p. 77-86
10 p.
|
artikel
|
| 6 |
Author index
|
|
|
1979
|
1 |
C |
p. 349-
1 p.
|
artikel
|
| 7 |
Biography
|
|
|
1979
|
1 |
C |
p. 347-348
2 p.
|
artikel
|
| 8 |
Biography
|
|
|
1979
|
1 |
C |
p. 267-269
3 p.
|
artikel
|
| 9 |
Biography
|
|
|
1979
|
1 |
C |
p. 177-178
2 p.
|
artikel
|
| 10 |
Biography
|
|
|
1979
|
1 |
C |
p. 103-104
2 p.
|
artikel
|
| 11 |
Determining information requirements: A contingency method for selection of a requirements assurance strategy
|
Naumann, J.David
|
|
1979
|
1 |
C |
p. 273-281
9 p.
|
artikel
|
| 12 |
Directed flowgraphs: The basis of a specification and construction methodology for real-time systems
|
Rodriguez, Jorge E.
|
|
1979
|
1 |
C |
p. 19-27
9 p.
|
artikel
|
| 13 |
Editors' introduction
|
Manley, John H.
|
|
1979
|
1 |
C |
p. 1-
1 p.
|
artikel
|
| 14 |
Editor's introduction
|
Manley, John H.
|
|
1979
|
1 |
C |
p. 105-
1 p.
|
artikel
|
| 15 |
Editors introduction
|
Salisbury, Alan B.
|
|
1979
|
1 |
C |
p. 271-
1 p.
|
artikel
|
| 16 |
Evaluating software development by error analysis: The data from the Architecture Research Facility
|
Weiss, David M.
|
|
1979
|
1 |
C |
p. 57-70
14 p.
|
artikel
|
| 17 |
Evaluation of contemporary software engineering techniques for a large fortran simulation
|
Reynolds, John H.
|
|
1979
|
1 |
C |
p. 131-140
10 p.
|
artikel
|
| 18 |
Functional testing and design abstractions
|
Howden, William E.
|
|
1979
|
1 |
C |
p. 307-313
7 p.
|
artikel
|
| 19 |
Influence of U.S. Cryptologic Organizations on the digital computer industry
|
Snyder, Samuel S.
|
|
1979
|
1 |
C |
p. 87-102
16 p.
|
artikel
|
| 20 |
Introduction to the special issue on Software Life Cycle Management
|
Basili, Victor R.
|
|
1979
|
1 |
C |
p. 179-
1 p.
|
artikel
|
| 21 |
Life cycle phase interrelationships
|
Thibodeau, Robert
|
|
1979
|
1 |
C |
p. 203-211
9 p.
|
artikel
|
| 22 |
On understanding laws, evolution, and conservation in the large-program life cycle
|
Lehman, M.M.
|
|
1979
|
1 |
C |
p. 213-221
9 p.
|
artikel
|
| 23 |
Optimum release time for software systems based on reliability and cost criteria
|
Okumoto, Kazu
|
|
1979
|
1 |
C |
p. 315-318
4 p.
|
artikel
|
| 24 |
Organizational structures used in software development by the U.S. aerospace industry
|
Thayer, Richard H.
|
|
1979
|
1 |
C |
p. 283-297
15 p.
|
artikel
|
| 25 |
Partitioning considerations for complex computer based weapon systems
|
Giese, Clarence
|
|
1979
|
1 |
C |
p. 3-18
16 p.
|
artikel
|
| 26 |
Prediction of software failures
|
Lipow, Myron
|
|
1979
|
1 |
C |
p. 71-75
5 p.
|
artikel
|
| 27 |
Software cost modeling: Some lessons learned
|
Boehm, B.W.
|
|
1979
|
1 |
C |
p. 195-201
7 p.
|
artikel
|
| 28 |
Software error detection model with applications
|
Goel, Amrit L.
|
|
1979
|
1 |
C |
p. 243-249
7 p.
|
artikel
|
| 29 |
Software reliability measurement
|
Musa, John D.
|
|
1979
|
1 |
C |
p. 223-241
19 p.
|
artikel
|
| 30 |
Software technology and integration engineering
|
McHenry, Robert C.
|
|
1979
|
1 |
C |
p. 187-193
7 p.
|
artikel
|
| 31 |
Subject index
|
|
|
1979
|
1 |
C |
p. 351-
1 p.
|
artikel
|
| 32 |
TACFIRE: A case history of a weapon system software development
|
Salisbury, Alan B.
|
|
1979
|
1 |
C |
p. 155-175
21 p.
|
artikel
|
| 33 |
The development proposal: The first step in software system construction
|
von Staa, Arndt
|
|
1979
|
1 |
C |
p. 107-122
16 p.
|
artikel
|
| 34 |
The Littlewood-Verrall model for software reliability compared with some rivals
|
Littlewood, B.
|
|
1979
|
1 |
C |
p. 251-258
8 p.
|
artikel
|
| 35 |
The relationship between design and verification
|
Hamilton, M.
|
|
1979
|
1 |
C |
p. 29-56
28 p.
|
artikel
|
| 36 |
The work breakdown structure in software project management
|
Tausworthe, Robert C.
|
|
1979
|
1 |
C |
p. 181-186
6 p.
|
artikel
|
| 37 |
Transporting up: A case study
|
Basili, Victor R.
|
|
1979
|
1 |
C |
p. 123-129
7 p.
|
artikel
|
| 38 |
Use of a subjective prior distribution for the reliability of computer software
|
Schick, G.J.
|
|
1979
|
1 |
C |
p. 259-266
8 p.
|
artikel
|
Tijdschrift beschrijving