nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Petri net based methodology to integrate qualitative and quantitative analysis
|
Heiner, Monika |
|
1994 |
36 |
7 |
p. 435-441 7 p. |
artikel |
2 |
A portable parallel programming environment based around PCTE
|
Hellberg, Stephen A |
|
1994 |
36 |
7 |
p. 419-425 7 p. |
artikel |
3 |
Calendar
|
|
|
1994 |
36 |
7 |
p. 471-472 2 p. |
artikel |
4 |
Design and code derivation in the PCSC methodology
|
Manson, Gordon A |
|
1994 |
36 |
7 |
p. 413-417 5 p. |
artikel |
5 |
Engineering safety-related parallel systems
|
Birkinshaw, CI |
|
1994 |
36 |
7 |
p. 449-456 8 p. |
artikel |
6 |
Graph-based software construction for parallel message-passing programs
|
Wirtz, Guido |
|
1994 |
36 |
7 |
p. 405-411 7 p. |
artikel |
7 |
Modelling parallel program behaviour in ALPES
|
Kitajima, João Paulo |
|
1994 |
36 |
7 |
p. 457-464 8 p. |
artikel |
8 |
Neutral debugging using grafts
|
Chaumette, Serge |
|
1994 |
36 |
7 |
p. 465-470 6 p. |
artikel |
9 |
Parallel software development using an object-oriented modelling technique
|
Knowles, Chris |
|
1994 |
36 |
7 |
p. 397-404 8 p. |
artikel |
10 |
Software engineering for parallel systems
|
Jelly, Innes |
|
1994 |
36 |
7 |
p. 381-396 16 p. |
artikel |
11 |
Special issue on software engineering for parallel systems
|
Jelly, Innes |
|
1994 |
36 |
7 |
p. 379-380 2 p. |
artikel |
12 |
TOPIC-SE: a tool-based open platform for integration of control in software environments
|
Foughali, Karim |
|
1994 |
36 |
7 |
p. 427-433 7 p. |
artikel |
13 |
Use of GSPNs for concurrent software validation in EPOCA
|
Donatelli, Susanna |
|
1994 |
36 |
7 |
p. 443-448 6 p. |
artikel |