nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A formal approach to software error removal
|
Dyer, Michael |
|
1987 |
7 |
2 |
p. 109-114 6 p. |
artikel |
2 |
A method for test data selection
|
Velasco, F.R.D. |
|
1987 |
7 |
2 |
p. 89-97 9 p. |
artikel |
3 |
A model for software sizing
|
Verner, June M. |
|
1987 |
7 |
2 |
p. 173-177 5 p. |
artikel |
4 |
A software development productivity model for MIS environments
|
Jeffery, D.R. |
|
1987 |
7 |
2 |
p. 115-125 11 p. |
artikel |
5 |
A taxonomy for programming languages with multisequential processes
|
Thomsen, Kristine Stougaard |
|
1987 |
7 |
2 |
p. 127-140 14 p. |
artikel |
6 |
Biographies
|
|
|
1987 |
7 |
2 |
p. 179- 1 p. |
artikel |
7 |
Checksum methodology as a configuration management tool
|
Brown, Bradley J. |
|
1987 |
7 |
2 |
p. 141-143 3 p. |
artikel |
8 |
DRAT: A program for maintaining listings
|
Lamb, David Alex |
|
1987 |
7 |
2 |
p. 163-171 9 p. |
artikel |
9 |
Language definition-based compiler development
|
Rosselet, A. |
|
1987 |
7 |
2 |
p. 145-161 17 p. |
artikel |
10 |
On the development of reliable large software
|
Di Felice, Paolino |
|
1987 |
7 |
2 |
p. 99-107 9 p. |
artikel |
11 |
Standards and enforcers: Do they really help achieve software quality?
|
|
|
1987 |
7 |
2 |
p. 87-88 2 p. |
artikel |