| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
Adding graphics and animation to Estelle
|
New, D
|
|
1990
|
32 |
2 |
p. 149-161
13 p.
|
article
|
| 2 |
Aspects of distributed computer systems (2nd edition)
|
Hutchison, D
|
|
1990
|
32 |
2 |
p. 165-166
2 p.
|
article
|
| 3 |
Calendar
|
|
|
1990
|
32 |
2 |
p. 168-
1 p.
|
article
|
| 4 |
Concurrent programming
|
Bassiouni, M
|
|
1990
|
32 |
2 |
p. 164-
1 p.
|
article
|
| 5 |
Conference on software maintenance—1989 (CSM-89) Miami, FL, USA 16–19 October 1989
|
|
|
1990
|
32 |
2 |
p. 163-
1 p.
|
article
|
| 6 |
Evaluating software tools for systems analysis and design
|
Rolland, C
|
|
1990
|
32 |
2 |
p. 165-
1 p.
|
article
|
| 7 |
Functional programming
|
Joosten, S
|
|
1990
|
32 |
2 |
p. 166-
1 p.
|
article
|
| 8 |
Handbook of human-computer interaction
|
|
|
1990
|
32 |
2 |
p. 167-
1 p.
|
article
|
| 9 |
Knowledge-base programming in high-level languages
|
Al-Attar, A
|
|
1990
|
32 |
2 |
p. 127-132
6 p.
|
article
|
| 10 |
LISP: from foundations to applications
|
|
|
1990
|
32 |
2 |
p. 166-167
2 p.
|
article
|
| 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.
|
article
|
| 12 |
Predictive metric for likely feasibility of program paths
|
Malevris, N
|
|
1990
|
32 |
2 |
p. 115-118
4 p.
|
article
|
| 13 |
Prototyping: alternative systems development methodology
|
Carey, J.M.
|
|
1990
|
32 |
2 |
p. 119-126
8 p.
|
article
|
| 14 |
Regression modelling of software quality: empirical investigation
|
Munson, J.C.
|
|
1990
|
32 |
2 |
p. 106-114
9 p.
|
article
|
| 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.
|
article
|
| 16 |
SSADM developer's handbook
|
Edwards, H
|
|
1990
|
32 |
2 |
p. 164-165
2 p.
|
article
|
Journal description