nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Adding graphics and animation to Estelle
|
New, D |
|
1990 |
32 |
2 |
p. 149-161 13 p. |
artikel |
2 |
Aspects of distributed computer systems (2nd edition)
|
Hutchison, D |
|
1990 |
32 |
2 |
p. 165-166 2 p. |
artikel |
3 |
Calendar
|
|
|
1990 |
32 |
2 |
p. 168- 1 p. |
artikel |
4 |
Concurrent programming
|
Bassiouni, M |
|
1990 |
32 |
2 |
p. 164- 1 p. |
artikel |
5 |
Conference on software maintenance—1989 (CSM-89) Miami, FL, USA 16–19 October 1989
|
|
|
1990 |
32 |
2 |
p. 163- 1 p. |
artikel |
6 |
Evaluating software tools for systems analysis and design
|
Rolland, C |
|
1990 |
32 |
2 |
p. 165- 1 p. |
artikel |
7 |
Functional programming
|
Joosten, S |
|
1990 |
32 |
2 |
p. 166- 1 p. |
artikel |
8 |
Handbook of human-computer interaction
|
|
|
1990 |
32 |
2 |
p. 167- 1 p. |
artikel |
9 |
Knowledge-base programming in high-level languages
|
Al-Attar, A |
|
1990 |
32 |
2 |
p. 127-132 6 p. |
artikel |
10 |
LISP: from foundations to applications
|
|
|
1990 |
32 |
2 |
p. 166-167 2 p. |
artikel |
11 |
Modular verification of correctness properties in environment for concurrent systems specifications: deadlock case
|
De Francesco, N |
|
1990 |
32 |
2 |
p. 133-148 16 p. |
artikel |
12 |
Predictive metric for likely feasibility of program paths
|
Malevris, N |
|
1990 |
32 |
2 |
p. 115-118 4 p. |
artikel |
13 |
Prototyping: alternative systems development methodology
|
Carey, J.M. |
|
1990 |
32 |
2 |
p. 119-126 8 p. |
artikel |
14 |
Regression modelling of software quality: empirical investigation
|
Munson, J.C. |
|
1990 |
32 |
2 |
p. 106-114 9 p. |
artikel |
15 |
Sixth international conference on testing computer software crystal gateway Marriott, Washington, DC, USA 22–25 May 1989
|
|
|
1990 |
32 |
2 |
p. 162-163 2 p. |
artikel |
16 |
SSADM developer's handbook
|
Edwards, H |
|
1990 |
32 |
2 |
p. 164-165 2 p. |
artikel |