| 379 | -- | 380 | Innes Jelly, Ian Gorton, Jonathan Gray. Special issue on software engineering for parallel systems |
| 381 | -- | 396 | Innes Jelly, Ian Gorton. Software engineering for parallel systems |
| 397 | -- | 404 | Chris Knowles, Peter Collingwood. Parallel software development using an object-oriented modelling technique |
| 405 | -- | 411 | Guido Wirtz. Graph-based software construction for parallel message-passing programs |
| 413 | -- | 417 | Gordon A. Manson, Shahrin Sahib, Chandran Elamvazuthi. Design and code derivation in the PCSC methodology |
| 419 | -- | 425 | Stephen A. Hellberg, Ed Zaluska. A portable parallel programming environment based around PCTE |
| 427 | -- | 433 | Karim Foughali, Bertil Folliot. TOPIC-SE: a tool-based open platform for integration of control in software environments |
| 435 | -- | 441 | Monika Heiner, Giorgio Ventre, Dietmar Wikarski. A Petri net based methodology to integrate qualitative and quantitative analysis |
| 443 | -- | 448 | Susanna Donatelli, Giuliana Franceschinis, Marina Ribaudo, Stefano Russo. Use of GSPNs for concurrent software validation in EPOCA |
| 449 | -- | 456 | Carl I. Birkinshaw, Peter R. Croll, Derek G. Marriott, Patrick Nixon. Engineering safety-related parallel systems |
| 457 | -- | 464 | Joao Paulo Kitajima, Brigitte Plateau. Modelling parallel program behaviour in ALPES |
| 465 | -- | 470 | Serge Chaumette. Neutral debugging using grafts |