nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
An analysis of program execution on a recursive stream-oriented data flow architecture
|
Jennings, Steven F. |
|
1983 |
3 |
2 |
p. 147-154 8 p. |
artikel |
2 |
Behavior specification in a software design system
|
Wileden, Jack C. |
|
1983 |
3 |
2 |
p. 123-135 13 p. |
artikel |
3 |
Biographies
|
|
|
1983 |
3 |
2 |
p. 183-184 2 p. |
artikel |
4 |
Editor's introduction
|
Fairley, Richard E. |
|
1983 |
3 |
2 |
p. 105- 1 p. |
artikel |
5 |
Industrialization of weapon system software
|
Stuebing, H.G. |
|
1983 |
3 |
2 |
p. 163-171 9 p. |
artikel |
6 |
Language extensions for specifying program access control policies in programming languages
|
Claybrook, Billy G. |
|
1983 |
3 |
2 |
p. 155-162 8 p. |
artikel |
7 |
Modeling and projection in software development
|
Stavely, Allan M. |
|
1983 |
3 |
2 |
p. 137-146 10 p. |
artikel |
8 |
Software development for reliable software systems
|
Joshi, Ramchandra D. |
|
1983 |
3 |
2 |
p. 107-121 15 p. |
artikel |
9 |
Software fault tree analysis
|
Leveson, Nancy G. |
|
1983 |
3 |
2 |
p. 173-181 9 p. |
artikel |